443 search results - page 37 / 89 » Relations in Concurrency |
150
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
142
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
160
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
ct Job Provenance (JP) is a Grid service that keeps long-term trace on completed computations for further reference. It is a job-centric service, keeping records about job life cyc...
146
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
154
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...