1370 search results - page 57 / 274 » Synchronization Transformations for Parallel Computing |
EDOC
2004
IEEE
14 years 1 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
COORDINATION
2007
Springer
14 years 4 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
ICDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
We introduce obstruction-freedom, a new nonblocking property for shared data structure implementations. This property is strong enough to avoid the problems associated with locks,...
ISORC
2002
IEEE
14 years 2 months ago
2002
IEEE
Preemption threshold scheduling (PTS) provides prominent benefits for fixed priority scheduling such as increased schedulability, reduced context switches, and decreased memory re...
ICDCS
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe a novel scalable group membership algorithm designed for wide area networks WANs . Our membership service does not evolve from existing LAN-oriented membership servic...