1271 search results - page 116 / 255 » On Simulation-Checking with Sequential Systems |
MASCOTS
2003
13 years 11 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...
AAAI
2000
13 years 11 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...
WSC
1998
13 years 11 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 ...
AMT
2010
Springer
13 years 10 months 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...
ICASSP
2010
IEEE
13 years 10 months 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...