2 search results - page 1 / 1 » Fragmented Retrenchment, Concurrency and Fairness |
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
EUROSYS
2011
ACM
12 years 8 months ago
2011
ACM
Symmetric multiprocessing (SMP) virtual machines (VMs) allow users to take advantage of a multiprocessor infrastructure. Despite the advantage, SMP VMs can cause synchronization l...