Sökning: "compiler analysis"

Visar resultat 1 - 5 av 32 avhandlingar innehållade orden compiler analysis.

1. 1. Extensible Compiler Construction

   Författare :Torbjörn Ekman; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; numerical analysis; Computer science; attribute grammars; extensible compilers; context-sensitive transformations; declarative object-oriented programming; kontroll; system; numerisk analys; Datalogi; control; systems;

   Sammanfattning : Processing of programs is a core area in computer science. A compiler that translates source text to machine language is the most well-known kind of tool in this area, but there are numerous other kinds of related applications: source-to-source translators, refactoring tools, reengineering tools, metrics tools, consistency checkers, etc. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

4. 3. Compiler-Based Approaches to Reduce Memory. Access Penalties in Cache Coherent Multiprocessors

   Författare :Jonas Skeppstedt; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; compiler analysis; hardware support; performance evaluation; memory access penalty; cache coherent multiprocessors;

   Sammanfattning : To reduce the average time needed to perform a read or a write access in a multiprocessor, a cache is associated with each processor. A hardware mechanism is used to ensure that the replicated cache copies are consistent. This mechanism employs a protocol which controls when a node may read and/or write a shared data item. LÄS MER

5. 4. Program Analysis for Performance and Reliability

   Författare :Jacob Lidman; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

   Sammanfattning : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. LÄS MER

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

   Författare :Saranya Natarajan; David Broman; Haibo Zeng; KTH; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER