1361 search results - page 45 / 273 » Boolean Comparison by Simulation |
WSC
2004
13 years 9 months ago
2004
While the literature contains several adaptive sampling techniques for statistical comparison of competing simulated system configurations and for embedded statistical computation...
JSAC
2008
13 years 8 months ago
2008
In-situ measurements of the scattering function are used to drive a channel simulator developed in the context of underwater acoustic telemetry. Two operation modes of the simulato...
DATE
1999
IEEE
14 years 8 days ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
SPAA
2005
ACM
14 years 1 months ago
2005
ACM
We study the problem of asymptotically reducing the runtime of serial computations with circuits of polynomial size. We give an algorithmic size-depth tradeoff for parallelizing ...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...