Sökning: "Redundant systems"

Visar resultat 16 - 20 av 82 avhandlingar innehållade orden Redundant systems.

  1. 16. 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. 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. Architectural Design Principles For Industrial Internet of Things

    Författare :Hasan Derhamy; Jens Eliasson; Jerker Delsing; Tapio Heikkilä; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial Electronics; Industriell elektronik;

    Sammanfattning : As society has progressed through periods of evolution and revolution, technology hasplayed a key role as an enabler. In the same manner that mechanical machines of the1800’s drove the industrial revolution, now digitalized machines are driving another one.With this recognition of a fourth industrial revolution, the Industry 4. LÄS MER

  5. 19. Complex Cavity Analysis : Analytical Fluid-Power Models Using CAD Information

    Författare :Magnus Sethson; Richard T. Burton; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis covers different methods of topology search for making time-domain simulation models based on geometric information. The application is in the field of fluid-power. Automatic methods for extracting simulation models from CAD data are presented. LÄS MER

  7. 20. Multi-Criteria Optimization of System Integration Testing

    Författare :Sahar Tahvili; Markus Bohlin; Franz Wotawa; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Testing; Optimization; Integration Testing; Decision Support System; Dependency; Test Scheduling; Requirement Coverage; Computer Science;

    Sammanfattning : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. LÄS MER