10213 search results - page 186 / 2043 » An Experimental Analysis of Parallel |
115
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
124
Voted
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Discovery of sequential patterns is becoming increasingly useful and essential in many scienti c and commercial domains. Enormous sizes of available datasets and possibly large nu...
153
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Video parsing refers to the detection of scene changes and special e ects in the video stream and is used to extract key frames from a video stream. In this paper, we propose paral...
132
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...
172
Voted
HPDC
1994
IEEE
15 years 8 months ago
1994
IEEE
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...