Sciweavers

11215 search results - page 194 / 2243
» Skeleton - Easy Simulation System
Sort
View
IPPS
2003
IEEE
14 years 4 months ago
The CoGenT Project: Co-Generating Compilers and Simulators for Dynamically Compiled Languages
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
J. Eliot B. Moss, Charles C. Weems, Timothy Richar...
CAV
2003
Springer
166views Hardware» more  CAV 2003»
14 years 4 months ago
Bridging the Gap between Fair Simulation and Trace Inclusion
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
Yonit Kesten, Nir Piterman, Amir Pnueli
CODES
1998
IEEE
14 years 3 months ago
Software timing analysis using HW/SW cosimulation and instruction set simulator
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
Jie Liu, Marcello Lajolo, Alberto L. Sangiovanni-V...
WSC
2007
14 years 1 months ago
Merging six emergency departments into one: a simulation approach
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...
Martin J. Miller, David M. Ferrin, Marshall Ashby,...
SIMPRA
1998
99views more  SIMPRA 1998»
13 years 10 months ago
Rollback overhead reduction methods for time warp distributed simulation
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
Simonetta Balsamo, C. Manconi