Search for dissertations about: "compiler optimization"

Showing result 1 - 5 of 25 swedish dissertations containing the words compiler optimization.

2. 1. Compiler optimizations in the presence of uncertain semantics

   Author : Jacob Lidman; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Compiler Technology; Compiler Optimization; Fault Tolerance; Program Analysis;

   Abstract : As transistors sizes shrink and architects put more and more cores on chip, computer systems become more susceptible to outside interference. This interference can cause faults that manifest as unexpected and uncontrolled state transitions, possibly leading to costly or harmful consequences. READ MORE

4. 2. Languages and Tools for Optimization of Large-Scale Systems

   Author : Johan Åkesson; Institutionen för reglerteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Paper Machine Modeling; Plate Reactor; Languages for Physical Modeling; Compiler Construction; Dynamic Optimization; Modelica; Optimica; Manual Control; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

   Abstract : Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and efficient software tools are available. In this thesis, an extension of Modelica, Optimica, targeted at dynamic optimization of Modelica models is proposed. READ MORE

5. 3. Constraint-Based Register Allocation and Instruction Scheduling

   Author : Roberto Castañeda Lozano; Christian Schulte; Ingo Sander; Mats Carlsson; Laurent Michel; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; constraint programming; combinatorial optimization; register allocation; instruction scheduling; compiler construction; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to improve latency or throughput) are central compiler problems. This dissertation proposes a combinatorial optimization approach to these problems that delivers optimal solutions according to a model, captures trade-offs between conflicting decisions, accommodates processor-specific features, and handles different optimization criteria. READ MORE

6. 4. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

   Author : Martin Sjölund; Peter Fritzson; Christoph Kessler; Walid Mohamed Taha; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Simulation; modeling; debugging; profiling; optimization; parallelism; Modelica;

   Abstract : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. READ MORE

7. 5. Sources of Variations in Error Sensitivity of Computer Systems

   Author : Fatemeh Ayatolahi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; error sensitivity; compiler optimization; transient fault; bit flipping; fault tolerance; fault injection;

   Abstract : Technology scaling is reducing the reliability of integrated circuits. This makes it important to provide computers with mechanisms that can detect and correct hardware errors. This thesis deals with the problem of assessing the hardware error sensitivity of computer systems. READ MORE