27913 search results - page 180 / 5583 » Simulation |
114
click to vote
IANDC
2006
15 years 1 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
105
click to vote
JSA
2006
15 years 1 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
100
click to vote
CPHYSICS
2004
15 years 1 months ago
2004
There has been dramatic progress in the scope and power of plasma simulations in recent years; and because codes are generally cheaper to write, to run and to diagnose than experi...
105
click to vote
SIMULATION
2002
15 years 1 months ago
2002
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
140
Voted
SAMOS
2010
Springer
15 years 5 days ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...