Sciweavers

4385 search results - page 29 / 877
» Abstraction for Concurrent Objects
Sort
View
35
Voted
CORR
2010
Springer
52views Education» more  CORR 2010»
15 years 7 days ago
Automating Fine Concurrency Control in Object-Oriented Databases
Carmelo Malta, José Martinez
FORTE
2009
14 years 10 months ago
Dynamic Symbolic Execution of Distributed Concurrent Objects
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
112
Voted
CSSE
2008
IEEE
15 years 7 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
84
Voted
DATE
2006
IEEE
106views Hardware» more  DATE 2006»
15 years 6 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
87
Voted
ADAEUROPE
2005
Springer
15 years 6 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