3 search results - page 1 / 1 » A Modular Scheme for Deadlock Prevention in an Object-Orient... |
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...