Search for dissertations about: "Konstantinos Sagonas"

Found 5 swedish dissertations containing the words Konstantinos Sagonas.

  2. 1. Effective Techniques for Stateless Model Checking

    Author : Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

    Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE

  4. 2. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

    Author : Stefan Bygde; Björn Lisper; Andreas Ermedahl; Jan Gustafsson; Konstantinos Sagonas; Ulf Nilsson; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; parametric WCET analysis; program analysis; abstract interpretation; Computer science; Datalogi; Computer Science; datavetenskap;

    Abstract : In a real-time system, it is crucial to ensure that all tasks of the system holdtheir deadlines. A missed deadline in a real-time system means that the systemhas not been able to function correctly. If the system is safety critical, this canlead to disaster. READ MORE

  5. 3. Targeted Property-Based Testing with Applications in Sensor Networks

    Author : Andreas Löscher; Konstantinos Sagonas; Thiemo Voigt; John Hughes; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Testing; Search-Based Software Testing; Property-Based Testing; Datavetenskap; Computer Science;

    Abstract : Testing is a fundamental part of modern software development, as it unveils bugs in the system under test and gives confidence in their correctness. Testing is often a laborious task as it typically requires to write by hand a plethora of test cases to test a system thoroughly. READ MORE

  6. 4. Efficient memory management for message-passing concurrency, Part I : Single-threaded execution

    Author : Jesper Wilhelmsson; Konstantinos Sagonas; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Manual memory management is error prone. Some of the errors it causes, in particular memory leaks and dangling pointers, are hard to find. Manual memory management becomes even harder when concurrency enters the picture. READ MORE

  7. 5. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures

    Author : Kjell Winblad; Konstantinos Sagonas; Erez Petrank; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; concurrent data structures; contention adapting; range queries; lock-freedom; adaptivity; linearizability; ordered sets; maps; key-value stores; concurrent priority queues; relaxed concurrent data structures; locks; delegation locking; Computer Science; Datavetenskap;

    Abstract : The multicore revolution means that programmers have many cores at their disposal in everything from phones to large server systems. Concurrent data structures are needed to make good use of all the cores. Designing a concurrent data structure that performs well across many different scenarios is a difficult task. READ MORE