164 search results - page 9 / 33 » Primitives for Contract-based Synchronization |
72
Voted
FGR
2004
IEEE
15 years 1 months ago
2004
IEEE
In these days, many important intangible cultural properties of the world are being lost because of the lack of successive performers. Digital archiving technology is one of the e...
80
Voted
OPODIS
2004
14 years 11 months ago
2004
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a scalable parallel marking technique for garbage collection that does not employ any synchronization operation. To achieve good scalability, two major design...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...