Sciweavers

1015 search results - page 25 / 203
» Syntactic Control of Concurrency
Sort
View
COORDINATION
2006
Springer
15 years 8 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
113
Voted
PLDI
2009
ACM
15 years 11 months ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik
SIGMOD
1999
ACM
107views Database» more  SIGMOD 1999»
15 years 9 months ago
Efficient Concurrency Control for Broadcast Environments
A crucial consideration in environments where data is broadcast to clients is the low bandwidth available for clients to communicate with servers. Advanced applications in such en...
Jayavel Shanmugasundaram, Arvind Nithrakashyap, Ra...