4385 search results - page 29 / 877 » Abstraction for Concurrent Objects |
50
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
110
Voted
FORTE
2009
15 years 1 months ago
2009
135
click to vote
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
104
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
112
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...