Sökning: "compilers"

Visar resultat 1 - 5 av 48 avhandlingar innehållade ordet compilers.

  1. 1. Universal Instruction Selection

    Författare :Gabriel Hjort Blindell; Christian Schulte; Peter van Beek; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; instruction selection; code generation; compilers; constraint programming; combinatorial optimization; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : In code generation, instruction selection chooses instructions to implement a given program under compilation, global code motion moves computations from one part of the program to another, and block ordering places program blocks in a consecutive sequence. Local instruction selection chooses instructions one program block at a time while global instruction selection does so for the entire function. LÄS MER

  3. 2. Efficient Software Implementation of Stream Programs

    Författare :Gustav Cedersjö; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stream programs; dataflow with firing; Kahn processes; compilers; actor machine;

    Sammanfattning : The way we use computers and mobile phones today requires large amounts of processing of data streams. Examples include digital signal processing for wireless transmission, audio and video coding for recording and watching videos, and noise reduction for the phone calls. LÄS MER

  4. 3. Integrated Software Pipelining

    Författare :Mattias Eriksson; Christoph Kessler; Sid Ahmed Ali Touati; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Code generation; compilers; instruction scheduling; register allocation; spill code generation; modulo scheduling; integer linear programming; genetic programming.; Computer science; Datavetenskap;

    Sammanfattning : In this thesis we address the problem of integrated software pipelining for clustered VLIW architectures. The phases that are integrated and solved as one combined problem are: cluster assignment, instruction selection, scheduling, register allocation and spilling. LÄS MER

  5. 4. The Hole Story: Type-Directed Synthesis and Repair

    Författare :Matthías Páll Gissurarson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

    Sammanfattning : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. LÄS MER

  7. 5. Choreographies and Cost Semantics for Reliable Communicating Systems

    Författare :Alejandro Gómez Londoño; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Programming; theorem provers; Compilers; Program Verification; Concurrency;

    Sammanfattning : Communicating systems have become ubiquitous in today's society. Unfortunately, the complexity of their interactions makes them particularly prone to failures such as deadlocked states caused by misbehaving components, or memory exhaustion due to a surge in message traffic (malicious or not). LÄS MER