2746 search results - page 70 / 550 » Behavioral Simulations in MapReduce |
133
Voted
DAC
1990
ACM
15 years 8 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
121
click to vote
WSC
1998
15 years 5 months ago
1998
Simulation models are built with the intent of studying the behavior of the real system represented by the model. However, a simulation model generates random outputs; thus, the d...
120
click to vote
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...
129
click to vote
MASCOTS
2004
15 years 5 months ago
2004
The accurate and efficient modeling of Internet worms is a particularly challenging task for network simulation tools. The atypical and aggressive behavior of these worms can easi...
137
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...