Survey on Combinatorial Register Allocation and Instruction Scheduling

Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler. In the last three decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these two tasks. Combinatorial optimization approaches can deliver optimal solutions according to a model, can precisely capture trade-offs between conflicting decisions, and are more flexible at the expense of increased compilation time. This paper provides an exhaustive literature review and a classification of combinatorial optimization approaches to register allocation and instruction scheduling, with a focus on the techniques that are most applied in this context: integer programming, constraint programming, partitioned Boolean quadratic programming, and enumeration. Researchers in compilers and combinatorial optimization can benefit from identifying developments, trends, and challenges in the area; compiler practitioners may discern opportunities and grasp the potential benefit of applying combinatorial optimization

Computational Algorithms for Predicting Membrane Protein Assembly From Angstrom to Micron Scale

Biological barriers in the human body are one of the most crucial interfaces perfected through evolution for diverse and unique functions. Of the wide range of barriers, the paracellular protein interfaces of epithelial and endothelial cells called tight junctions with high molecular specificities are vital for homeostasis and to maintain proper health. While the breakdown of these barriers is associated with serious pathological consequences, their intact presence also poses a challenge to effective delivery of therapeutic drugs. Complimenting a rigorous combination of in vitro and in vivo approaches to establishing the fundamental biological construct, in addition to elucidating pathological implications and pharmaceutical interests, a systematic in silico approach is undertaken in this work in order to complete the molecular puzzle of the tight junctions. This work presents a bottom-up approach involving a careful consideration of protein interactions with Angstrom-level details integrated systematically, based on the principles of statistical thermodynamics and probabilities and designed using well-structured computational algorithms, up to micron-level molecular architecture of tight junctions, forming a robust prediction with molecular details packed for up to four orders of magnitude in length scale. This work is intended to bridge the gap between the computational nano-scale studies and the experimental micron-scale observations and provide a molecular explanation for cellular behaviors in the maintenance, and the adverse consequences of breakdown of these barriers. Furthermore, a comprehensive understanding of tight junctions shall enable development of safe strategies for enhanced delivery of therapeutics

A Co-Processor Approach for Efficient Java Execution in Embedded Systems

This thesis deals with a hardware accelerated Java virtual machine, named REALJava. The REALJava virtual machine is targeted for resource constrained embedded systems. The goal is to attain increased computational performance with reduced power consumption. While these objectives are often seen as trade-offs, in this context both of them can be attained simultaneously by using dedicated hardware. The target level of the computational performance of the REALJava virtual machine is initially set to be as fast as the currently available full custom ASIC Java processors. As a secondary goal all of the components of the virtual machine are designed so that the resulting system can be scaled to support multiple co-processor cores. The virtual machine is designed using the hardware/software co-design paradigm. The partitioning between the two domains is flexible, allowing customizations to the resulting system, for instance the floating point support can be omitted from the hardware in order to decrease the size of the co-processor core. The communication between the hardware and the software domains is encapsulated into modules. This allows the REALJava virtual machine to be easily integrated into any system, simply by redesigning the communication modules. Besides the virtual machine and the related co-processor architecture, several performance enhancing techniques are presented. These include techniques related to instruction folding, stack handling, method invocation, constant loading and control in time domain. The REALJava virtual machine is prototyped using three different FPGA platforms. The original pipeline structure is modified to suit the FPGA environment. The performance of the resulting Java virtual machine is evaluated against existing Java solutions in the embedded systems field. The results show that the goals are attained, both in terms of computational performance and power consumption. Especially the computational performance is evaluated thoroughly, and the results show that the REALJava is more than twice as fast as the fastest full custom ASIC Java processor. In addition to standard Java virtual machine benchmarks, several new Java applications are designed to both verify the results and broaden the spectrum of the tests.Siirretty Doriast

Constraint analysis for DSP code generation

+113hlm.;24c

Sensing and Regulation from Nucleic Acid Devices

abstract: The highly predictable structural and thermodynamic behavior of deoxynucleic acid (DNA) and ribonucleic acid (RNA) have made them versatile tools for creating artificial nanostructures over broad range. Moreover, DNA and RNA are able to interact with biological ligand as either synthetic aptamers or natural components, conferring direct biological functions to the nucleic acid devices. The applications of nucleic acids greatly relies on the bio-reactivity and specificity when applied to highly complexed biological systems. This dissertation aims to 1) develop new strategy to identify high affinity nucleic acid aptamers against biological ligand; and 2) explore highly orthogonal RNA riboregulators in vivo for constructing multi-input gene circuits with NOT logic. With the aid of a DNA nanoscaffold, pairs of hetero-bivalent aptamers for human alpha thrombin were identified with ultra-high binding affinity in femtomolar range with displaying potent biological modulations for the enzyme activity. The newly identified bivalent aptamers enriched the aptamer tool box for future therapeutic applications in hemostasis, and also the strategy can be potentially developed for other target molecules. Secondly, by employing a three-way junction structure in the riboregulator structure through de-novo design, we identified a family of high-performance RNA-sensing translational repressors that down-regulates gene translation in response to cognate RNAs with remarkable dynamic range and orthogonality. Harnessing the 3WJ repressors as modular parts, we integrate them into biological circuits that execute universal NAND and NOR logic with up to four independent RNA inputs in Escherichia coli.Dissertation/ThesisDoctoral Dissertation Biochemistry 201

Computational Methods for Comparative Non-coding RNA Analysis: from Secondary Structures to Tertiary Structures

Unlike message RNAs (mRNAs) whose information is encoded in the primary sequences, the cellular roles of non-coding RNAs (ncRNAs) originate from the structures. Therefore studying the structural conservation in ncRNAs is important to yield an in-depth understanding of their functionalities. In the past years, many computational methods have been proposed to analyze the common structural patterns in ncRNAs using comparative methods. However, the RNA structural comparison is not a trivial task, and the existing approaches still have numerous issues in efficiency and accuracy. In this dissertation, we will introduce a suite of novel computational tools that extend the classic models for ncRNA secondary and tertiary structure comparisons. For RNA secondary structure analysis, we first developed a computational tool, named PhyloRNAalifold, to integrate the phylogenetic information into the consensus structural folding. The underlying idea of this algorithm is that the importance of a co-varying mutation should be determined by its position on the phylogenetic tree. By assigning high scores to the critical covariances, the prediction of RNA secondary structure can be more accurate. Besides structure prediction, we also developed a computational tool, named ProbeAlign, to improve the efficiency of genome-wide ncRNA screening by using high-throughput RNA structural probing data. It treats the chemical reactivities embedded in the probing information as pairing attributes of the searching targets. This approach can avoid the time-consuming base pair matching in the secondary structure alignment. The application of ProbeAlign to the FragSeq datasets shows its capability of genome-wide ncRNAs analysis. For RNA tertiary structure analysis, we first developed a computational tool, named STAR3D, to find the global conservation in RNA 3D structures. STAR3D aims at finding the consensus of stacks by using 2D topology and 3D geometry together. Then, the loop regions can be ordered and aligned according to their relative positions in the consensus. This stack-guided alignment method adopts the divide-and-conquer strategy into RNA 3D structural alignment, which has improved its efficiency dramatically. Furthermore, we also have clustered all loop regions in non-redundant RNA 3D structures to de novo detect plausible RNA structural motifs. The computational pipeline, named RNAMSC, was extended to handle large-scale PDB datasets, and solid downstream analysis was performed to ensure the clustering results are valid and easily to be applied to further research. The final results contain many interesting variations of known motifs, such as GNAA tetraloop, kink-turn, sarcin-ricin and t-loops. We also discovered novel functional motifs that conserved in a wide range of ncRNAs, including ribosomal RNA, sgRNA, SRP RNA, GlmS riboswitch and twister ribozyme