Sökning: "Jacob Lidman"

Hittade 2 avhandlingar innehållade orden Jacob Lidman.

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

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