Sciweavers

4385 search results - page 29 / 877
» Abstraction for Concurrent Objects
Sort
View
FORTE
2009
13 years 8 months ago
Dynamic Symbolic Execution of Distributed Concurrent Objects
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
CSSE
2008
IEEE
14 years 5 months ago
The Relation of Version Control to Concurrent Programming
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...
Annette Bieniusa, Peter Thiemann, Stefan Wehr
DATE
2006
IEEE
106views Hardware» more  DATE 2006»
14 years 5 months ago
Memory centric thread synchronization on platform FPGAs
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...
Chidamber Kulkarni, Gordon J. Brebner
ADAEUROPE
2005
Springer
14 years 4 months ago
Extending Ravenscar with CSP Channels
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...
Diyaa-Addein Atiya, Steve King