218 search results - page 41 / 44 » Dynamic Scheduling and Clustering in Symbolic Image Computat... |
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
A scene can be defined as one of the subdivisions of a play in which the setting is fixed, or when it presents continuous action in one place. We propose a novel two-pass algorith...
HPDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Since the advent of electronic computing, the processors’ clock speed has risen tremendously. Now that energy efficiency requirements have stopped that trend, the number of proc...
129
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
108
click to vote
PC
2007
14 years 12 months ago
2007
Parallel volume rendering is one of the most efficient techniques to achieve real time visualization of large datasets by distributing the data and the rendering process over a c...