4541 search results - page 611 / 909 » Cache-Oblivious Algorithms and Data Structures |
198
click to vote
SI3D
2006
ACM
16 years 1 months 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...
304
click to vote
ISSTA
2004
ACM
16 years 19 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 ...
206
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...
146
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 ...
178
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...