2 search results - page 1 / 1 » Fragmented Retrenchment, Concurrency and Fairness |
173
Voted
ICFEM
2000
Springer
15 years 10 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...
221
Voted
EUROSYS
2011
ACM
14 years 10 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...