Search for dissertations about: "Compiler Technology"
Showing result 1 - 5 of 68 swedish dissertations containing the words Compiler Technology.
-
1. Compiler optimizations in the presence of uncertain semantics
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
-
2. Compiler generation for parallel languages from denotational specifications
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
-
3. Programming Language Primitives and Tools for Integrated Real-Time Systems Development
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
-
4. NoGAP: Novel Generator of Accelerators and Processors
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
-
5. Constraint-Based Register Allocation and Instruction Scheduling
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