13041 search results - page 173 / 2609 » Simulating space and time |
110
click to vote
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
We show1 that non-deterministic time NTIME(n) is not contained in deterministic time n 2and polylogarithmic space, for any > 0. This implies that (infinitely often) satisfiabi...
117
click to vote
JCP
2007
15 years 4 months ago
2007
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
139
Voted
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
128
click to vote
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...
112
click to vote
WSC
2004
15 years 6 months ago
2004
This paper explores the application of Base Object Models (BOMs), an emerging XML standard, for rapidly composing simulations and simulation environments. We examine how pattern c...