6437 search results - page 641 / 1288 » Parallel Algorithms for Arrangements |
230
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
145
Voted
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
An algorithm for automatic estimation of 3D transformations between two objects is presented in this paper. Skeletons of the 3D objects are created with a fully parallel thinning ...
197
click to vote
ICPPW
2009
IEEE
16 years 2 months ago
2009
IEEE
—The increasing attention on global scheduling algorithms for identical multiprocessor platforms produced different, independently developed, schedulability tests. However, the e...
172
Voted
CONCUR
2009
Springer
16 years 2 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
218
click to vote
ASAP
2008
IEEE
16 years 2 months ago
2008
IEEE
RNA structure prediction, or folding, is a computeintensive task that lies at the core of several search applications in bioinformatics. We begin to address the need for high-thro...