4536 search results - page 631 / 908 » Contention-Sensitive Data Structures and Algorithms |
144
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
180
click to vote
SI3D
2006
ACM
16 years 19 days ago
2006
ACM
In this paper, we propose a new technique for hardware accelerated multi-resolution geometry synthesis. The level of detail for a given viewpoint is created on-the-fly, allowing f...
283
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
185
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we propose an original indexing by shape of image databases based on extended grid files. We first introduce a recently developed shape description method and tailo...
134
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
We present a priority system which is particularly suited for production rules coupled to databases. In this system, there are default priorities between all rules and overriding ...