28821 search results - page 355 / 5765 » Distributed and parallel systems |
143
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
144
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Sort can be speeded up on parallel computers by dividing and computing data individually in parallel. Merge sort can be parallelized, however, the conventional algorithm implement...
140
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
176
click to vote
CNHPCA
2009
Springer
15 years 11 months ago
2009
Springer
This paper is a report on experiences in benchmarking I/O performance on leading computational facilities on the NSF TeraGrid network with a large scale scientific application. In...
141
Voted
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a parallel algorithm of the Level Set Method named the Parallel Fast Level Set Method, and its application for real-time 3D reconstruction of human shape an...