Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 13 of 13 for “"Compilation techniques"”.
-
Compilation Techniques for Explicitly Parallel Programs
… commonly used classical compiler optimization techniques to parallel program using those intermediate representations. By doing this, we guarantee the correctness (sequential consistency) of the optimized program and maintain single processor performance in a multiprocessor environment. We also …
-
Compilation techniques for short-vector instructions
… performance. This thesis develops compiler techniques to target short-vector instructions automatically and efficiently. One important aspect of compilation is the effective management of memory alignment. As with scalar loads and stores, vector references are typically more efficient when …
-
Compilation Techniques for Reconfigurable Analog Devices
… quantization error. In this thesis, I present compilation techniques for automatically configuring such devices to execute dynamical systems and present the first compiler that automatically targets a physical dynamical system-solving reconfigurable analog device of this class. The presented …
-
Compilation techniques and language support to facilitate dependence-driven computation
… It addresses these challenges by providing new compilation techniques for high-level programming languages that conform to commonly-accepted paradigms in order to leverage these emerging runtime systems and architectures. In particular, this dissertation makes several contributions to these …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
… is the development and improvement of advanced techniques for compilation of Prolog, orthogonal to many extensions such as constraint logic programming [JM87], Prolog with tabling [War92], CHR over Prolog [SF08]. The main contributions presented in this thesis can be summarized as: An optimizing …
-
Eliminating Dynamic Computation Redundancy
… and investigates four key architectural and compilation techniques that eliminate dynamic redundancy to improve the resource utilization and performance. The Reusable Computation Region Framework (RCRF) provides a compilation framework to accurately determine the regions, called Reusable …
-
Designing a Programmable Hardware Accelerator for Fully Homomorphic Encryption
… F1 uses an exposed ISA, requiring novel compilation techniques to statically schedule all compute and data movement. We design a compiler that efficiently maps FHE programs onto F1 hardware and maximizes reuse of on-chip data, helping to reduce data movement bottlenecks. The compiler …
-
Computing explanations for interactive constraint-based systems
… consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from …
-
Novel Approaches to Automatic Hardware Acceleration of High-Level Software
… unrealised. This thesis explores two major techniques to address this gap. The first technique is the seamless integration of dedicated hardware data structures within existing software applications, an area which has received very little attention. Implementing data structures in hardware …
-
JAVA VIRTUAL MACHINE DESIGN FOR EMBEDDED SYSTEMS: ENERGY, TIME PREDICTABILITY AND PERFORMANCE
… this model to study how to improve the dynamic compilation and optimization in Jikes RVM in terms of energy consumption. In order to further reduce the energy dissipation of JVM on embedded systems, we study adaptive drowsy cache control for Java applications, where JVM can be used to make …
-
From TPU to QPU: Bridging Fidelity Gaps Across Next-Generation Computing Systems
… circuits, enabling practitioners to trade compilation latency for fidelity gains according to application demands. We show that our approach delivers improved performance in circuit output fidelity and overall reduction in gate count compared to the state-of-the-art optimization techniques …
-
Development of global inter-country inter-industry system for various policy perspectives
… this dissertation detail the methodology for the compilation techniques used to develop the various types of international input-output (IIO) models to analyze the different policy areas described in Chapter 1. The second chapter describes the estimation procedure for developing a spatially …
-
Βελτιστοποίηση και αυτοματοποίηση τεχνικών μεταγλώττισης μέσω μοντελοποίησης σε επαναπροσδιοριζόμενα συστήματα
Το αντικείμενο που πραγματεύεται η παρούσα διδακτορική διατριβή σχετίζεται με την ανάπτυξη βελτιστοποιητικών τεχνικών μεταγλώττισης για επαναπροσδιοριζόμενα ολοκληρωμένα συστήματα γενικού και ειδικού σκοπού. Στόχος είναι η βελτιστοποίηση της εκτέλεσης των εφαρμογών ως προς την ταχύτητα, την …