7274 search results - page 183 / 1455 » Abstractions for network update |
136
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
153
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
176
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
146
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
161
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract Multiresolution models support the interactive visualization of large volumetric data through selective refinement, an operation which permits to focus resolution only on...