Sciweavers

4604 search results - page 149 / 921
» Concurrency in Synchronous Systems
Sort
View
RTS
2010
79views more  RTS 2010»
15 years 4 months ago
Spin-based reader-writer synchronization for multiprocessor real-time systems
Reader preference, writer preference, and task-fair reader-writer locks are shown to cause undue blocking in multiprocessor real-time systems. Phase-fair reader writer locks, a ne...
Björn B. Brandenburg, James H. Anderson
SMALLTALK
2007
Springer
16 years 19 days ago
Transactional memory for smalltalk
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
Lukas Renggli, Oscar Nierstrasz
EMSOFT
2009
Springer
16 years 1 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis