Sciweavers

4604 search results - page 149 / 921
» Concurrency in Synchronous Systems
Sort
View
181
Voted
RTS
2010
79views more  RTS 2010»
15 years 2 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
205
Voted
SMALLTALK
2007
Springer
15 years 10 months 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
104
Voted
EMSOFT
2009
Springer
15 years 10 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
101
Voted
MODELS
2009
Springer
15 years 10 months ago
Generating Synchronization Engines between Running Systems and Their Model-Based Views
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huan...