Search for dissertations about: "compiler technology"

Showing result 1 - 5 of 68 swedish dissertations containing the words compiler technology.

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. Compiler generation for parallel languages from denotational specifications

   Author : Johan Ringström; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : There exist several systems for the generation of compiler front-ends from formal semantics. Systems that generate entire compilers have also started to appear. Many of these use attribute grammars as the specification formalism, but there also are systems based on operational semantics or denotational semantics. READ MORE

5. 3. Programming Language Primitives and Tools for Integrated Real-Time Systems Development

   Author : Saranya Natarajan; David Broman; Haibo Zeng; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-Time System; Programming Language; Compiler; Informations- och kommunikationsteknik; Information and Communication Technology;

   Abstract : The correctness of real-time systems depends on both its logical and temporal correctness. Typically, real-time systems are developed in several steps. First, the application is divided into a number of recurrent tasks and implemented using a programming language. READ MORE

6. 4. NoGAP: Novel Generator of Accelerators and Processors

   Author : Per Axel Karlström; Dake Liu; Peter Marwedel; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; ADL; ESL; Processor; Accelerator; Compiler; Electrical engineering; Elektroteknik; Computer engineering; Datorteknik;

   Abstract : ASIPs are needed to handle the future demand of flexible yet highperformance embedded computing. The flexibility of ASIPs makes them preferable over fixed function ASICs. Also, a well designed ASIP, has a power consumption comparable to ASICs.  However the cost associated with ASIP design is a limiting factor for a more wide spread adoption. READ MORE

7. 5. 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