1271 search results - page 116 / 255 » On Simulation-Checking with Sequential Systems |
95
Voted
MASCOTS
2003
15 years 1 months ago
2003
All enterprise storage systems depend on disk arrays to satisfy their capacity, reliability, and availability requirements. Performance models of disk arrays are useful in underst...
93
Voted
AAAI
2000
15 years 1 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
80
Voted
WSC
1998
15 years 1 months ago
1998
Parallel discrete event simulation (PDES) decreases a simulation's runtime by splitting the simulation's work between multiple processors. Many users avoid PDES because ...
111
Voted
AMT
2010
Springer
15 years 21 days ago
2010
Springer
One of the fundamental challenges in designing an image retrieval system is choosing a method by which the images that match a given query are presented to the searcher. Traditiona...
98
Voted
ICASSP
2010
IEEE
15 years 21 days ago
2010
IEEE
Localization of simultaneous sound sources in natural environments with only two microphones is a challenging problem. Reverberation degrades performance of localization based exc...