Sökning: "concurrency"
Visar resultat 1 - 5 av 79 avhandlingar innehållade ordet concurrency.
1. Concurrency Bugs : Characterization, Debugging and Runtime Verification
Sammanfattning : 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. LÄS MER
2. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring
Sammanfattning : 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). LÄS MER
3. Concurrency Aware Shared Memory Data Structures
Sammanfattning : .... LÄS MER
4. Capability-Based Type Systems for Concurrency Control
Sammanfattning : 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. LÄS MER
5. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results
Sammanfattning : 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. LÄS MER