Sciweavers

88 search results - page 14 / 18
» Highly concurrent multi-word synchronization
Sort
View
RULES
1993
Springer
133views Database» more  RULES 1993»
13 years 11 months ago
Activities in Object Bases
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
Peter C. Lockemann, Hans-Dirk Walter
SIAMCOMP
1998
117views more  SIAMCOMP 1998»
13 years 6 months ago
The Queue-Read Queue-Write PRAM Model: Accounting for Contention in Parallel Algorithms
This paper introduces the queue-read, queue-write (qrqw) parallel random access machine (pram) model, which permits concurrent reading and writing to shared memory locations, but ...
Phillip B. Gibbons, Yossi Matias, Vijaya Ramachand...
OOPSLA
2010
Springer
13 years 5 months ago
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
Michal Wegiel, Chandra Krintz
VLSID
2005
IEEE
87views VLSI» more  VLSID 2005»
14 years 7 months ago
Synthesis of Asynchronous Circuits Using Early Data Validity
Interest in asynchronous circuit design is increasing due to its promise of efficient designs. The quiescent nature of asynchronous circuits allows them to remain in a stable stat...
Nitin Gupta, Doug A. Edwards
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
14 years 3 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...