2470 search results - page 179 / 494 » Liveness-Preserving Simulation Relations |
106
click to vote
ANSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...
108
click to vote
HPCA
2006
IEEE
16 years 1 months ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
119
click to vote
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
133
click to vote
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
100
click to vote
ISLPED
1999
ACM
15 years 5 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...