Sökning: "Compiler Optimization"

Visar resultat 16 - 20 av 25 avhandlingar innehållade orden Compiler Optimization.

  1. 16. Towards Accurate Estimation of Error Sensitivity in Computer Systems

    Författare :Fatemeh Ayatolahi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; silent data corruption; error sensitivity; fault injection; soft errors;

    Sammanfattning : Fault injection is an increasingly important method for assessing, measuringand observing the system-level impact of hardware and software faults in computer systems. This thesis presents the results of a series of experimental studies in which fault injection was used to investigate the impact of bit-flip errors on program execution. LÄS MER

  3. 17. 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

  4. 18. Efficient Implementation of Concurrent Programming Languages

    Författare :Erik Stenman; Simon Peyton Jones; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Datavetenskap; Computer Science;

    Sammanfattning : Dissertation in Computer Science to be publicly examined in Häggsalen, Ångströmlaboratoriet, Uppsala University, on Friday, November 1, 2002 at 1:00 pm for the degree of doctor of philosophy. The examination will be conducted in English. LÄS MER

  5. 19. A systematic approach to abstract interpretation of logic programs

    Författare :Ulf Nilsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The notion of abstract interpretation facilitates a formalized process of approximating meanings of programs. Such approximations provide a basis for inferring properties of programs. LÄS MER

  7. 20. Pattern-based Programming Abstractions for Heterogeneous Parallel Computing

    Författare :August Ernstsson; Christoph Kessler; José Daniel García Sánchez; Herbert Kuchen; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; High‐level parallel programming; Algorithmic skeletons; Heterogeneous systems; High‐performance computing;

    Sammanfattning : Contemporary computer architectures utilize wide multi-core processors, accelerators such as GPUs, and clustering of individual computers into complex large-scale systems. These hardware trends are prevalent across computers of all sizes, from the largest supercomputers down to the smallest mobile phones. LÄS MER