Search for dissertations about: "atomicity"
Found 4 swedish dissertations containing the word atomicity.
-
1. On Design and Applications of Practical Concurrent Data Structures
Abstract : The proliferation of multicore processors is having an enormous impact on software design and development. In order to exploit parallelism available in multicores, there is a need to design and implement abstractions that programmers can use for general purpose applications development. READ MORE
-
2. Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems
Abstract : Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain logical data consistency and temporal correctness of the computations, one solution is to model the latter as transactions and manage them using a Real-Time Database Management System (RTDBMS). READ MORE
-
3. Efficient symbolic state exploration of timed systems : Theory and implementation
Abstract : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. READ MORE
-
4. Augmenting Transactional Memory with the Future Abstraction
Abstract : The advent of multicore systems spurred great interest in Transactional Memory (TM). TM is a parallel programming paradigm that coordinates concurrent threads by incorporating transactions into programming languages. READ MORE