11112 search results - page 1947 / 2223 » Computing Stuttering Simulations |
143
click to vote
AAAI
2000
15 years 5 months ago
2000
Spatio-temporal data sets arise when time-varying physical fields are discretized for simulation or analysis. Examples of time-varying fields are isothermal regions in the sea or ...
135
click to vote
AAAI
2000
15 years 5 months ago
2000
We consider the use of multi-agent systems to control network routing. Conventional approaches to this task are based on Ideal Shortest Path routing Algorithm (ISPA), under which ...
137
click to vote
VMV
2003
15 years 5 months ago
2003
Many industrial flow simulations calculated in the car development process are defined on unstructured grids. However, visualization of unstructured grids is computationally exp...
143
click to vote
WORM
2003
15 years 5 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
138
click to vote
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...