7271 search results - page 259 / 1455 » Fault-Tolerant Distributed Simulation |
104
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
119
Voted
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...
133
Voted
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Simulation studies of Grid scheduling strategies require representative workloads to produce dependable results. Real production Grid workloads have shown diverse correlation stru...
137
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...