10213 search results - page 186 / 2043 » An Experimental Analysis of Parallel |
KBSE
2003
IEEE
14 years 1 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...
EUROPAR
2001
Springer
14 years 14 days 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...
IPPS
2000
IEEE
14 years 11 days 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...
DAC
1996
ACM
14 years 4 days 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 ...
HPDC
1994
IEEE
14 years 3 days 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...