2663 search results - page 185 / 533 » How to Choose a Timing Model |
136
click to vote
WSC
1998
15 years 6 months ago
1998
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...
149
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
135
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
We consider the following model for fire containment. We are given an undirected graph G = (V, E) with a source vertex s where the fire starts. At each time step, the firefighters...
125
click to vote
PATMOS
2004
Springer
15 years 10 months ago
2004
Springer
Synchronization between independently clocked regions in a high performance system is often subject to latencies of more than one clock cycle. We show how the latency can be reduce...
136
click to vote
JMLR
2010
15 years 3 months ago
2010
How can we generate realistic networks? In addition, how can we do so with a mathematically tractable model that allows for rigorous analysis of network properties? Real networks ...