471 search results - page 20 / 95 » Automatic Mutual Exclusion |
ENTCS
2006
13 years 8 months ago
2006
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
IGARSS
2010
13 years 6 months ago
2010
CCGRID
2007
IEEE
14 years 2 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
CONCURRENCY
2006
13 years 8 months ago
2006
er proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions
SIGOPS
2008
13 years 8 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...