Advanced search
Showing result 1 - 5 of 78 swedish dissertations matching the above criteria.
-
1. Concurrency Bugs : Characterization, Debugging and Runtime Verification
Abstract : Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. READ MORE
-
2. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring
Abstract : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). READ MORE
-
3. Concurrency Aware Shared Memory Data Structures
Abstract : .... READ MORE
-
4. Capability-Based Type Systems for Concurrency Control
Abstract : Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware vendors have had to turn to multi-core computers. Today, parallel hardware is everywhere, from massive server halls to the phones in our pockets. However, this parallelism does not come for free. READ MORE
-
5. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results
Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE