4536 search results - page 349 / 908 » Contention-Sensitive Data Structures and Algorithms |
180
Voted
SAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
159
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
176
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a surface compression method that stores surfaces as wavelet-compressed signed-distance volumes. Our approach enables the representation of surfaces with complex topolo...
183
click to vote
DASFAA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the recovery and the rollback problem in distributed collaborative transactions. We propose a solution to the problem in a generalized ARIES [9] framework. We...
202
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...