1680 search results - page 166 / 336 » Automated Model Selection for Simulation |
SIGMETRICS
2004
ACM
14 years 1 months ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...
WSC
2004
13 years 9 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...
CAV
2001
Springer
14 years 18 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
ICIDS
2009
Springer
14 years 2 months ago
2009
Springer
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Emerging organic light-emitting diode (OLED)-based displays obviate external lighting; and consume drastically different power when displaying different colors, due to their emiss...