8719 search results - page 164 / 1744 » A Categorical Approach to Simulations |
106
click to vote
WSC
2008
15 years 4 months ago
2008
Efficiency is a big concern when using simulation to estimate rare-event probabilities, since a huge number of simulation replications may be needed in order to obtain a reasonabl...
AUSAI
2005
Springer
15 years 7 months ago
2005
Springer
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
ICCAD
1997
IEEE
15 years 5 months ago
1997
IEEE
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
112
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
106
Voted
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Modeling and simulating pipelined processors in procedural languages such as C/C++ requires lots of cost in handling concurrent events, which hinders fast simulation. A number of ...