4155 search results - page 339 / 831 » External Memory Algorithms |
181
click to vote
CCGRID
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
174
click to vote
IEEEPACT
1998
IEEE
15 years 11 months ago
1998
IEEE
Determination of data dependences is a task typically performed with high-level language source code in today's optimizing and parallelizing compilers. Very little work has b...
175
click to vote
VLSID
1996
IEEE
15 years 11 months ago
1996
IEEE
Reduced Ordered Binary Decision Diagrams ROBDDs have traditionally been built in a bottom-up fashion. In this scheme, the intermediate peak memory utilization is often larger than...
197
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
182
click to vote
DSD
2004
IEEE
15 years 11 months ago
2004
IEEE
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...