Sökning: "Model Checking"

Visar resultat 16 - 20 av 142 avhandlingar innehållade orden Model Checking.

  1. 16. Caches, Transactions and Memories : Models, Coherence and Consistency

    Författare :Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Sammanfattning : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. LÄS MER

  3. 17. Expressing and recognizing intentions

    Författare :Michele Persiani; Thomas Hellström; Ola Ringdahl; Felipe Meneguzzi; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; agent; model; plan; action; human-robot interaction; robot; mirror agent model; intention; recognition; interpretable behavior; artificial intelligence; human-computer interaction; människa-datorinteraktion; Computer Science; datalogi;

    Sammanfattning : With the advancement of Artificial Intelligence, intelligent computer programs known as agents are coming increasingly close to the life of human beings. In an optimistic view, predictions tell us that agents will be governing many machines such as phones, robots and cars. LÄS MER

  4. 18. Enhancing Model-Based Development of Embedded Systems : Modeling, Simulation and Model-Transformation in an Auotmotive Context

    Författare :Tahir Naseer Qureshi; Martin Törngren; De-Jiu Chen; Ramin Tavakoli Kolagari; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The increased usage of embedded computer systems in products like automobiles has not only introduced new innovations, additional safety and comfort but also increased the product and development complexity. Several model-based development (MBD) approaches have been proposed to support the management of such complexity. LÄS MER

  5. 19. A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees

    Författare :Muhammad Usman Iftikhar; Danny Weyns; Flavio Oquendo; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Self-adaptive software systems; MAPE-K feedback loop; Statistical model checking; Analytical methods; Computer Science; Datavetenskap;

    Sammanfattning : Modern software systems are increasingly characterized by uncertainties in the operating context and user requirements. These uncertainties are difficult to predict at design time. Achieving the quality goals of such systems depends on the ability of the software to deal with these uncertainties at runtime. LÄS MER

  7. 20. Model Checking-Based Software Testing for Function-Block Diagrams

    Författare :Eduard Enoiu; Mohammad Reza Mousavi; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully exercise, or cover, the logic of the software. LÄS MER