Sciweavers

255 search results - page 23 / 51
» Conservative Simulation for Discrete Event Systems
Sort
View
WSC
2004
13 years 9 months ago
Modeling Time and Space Metering of Flights in the National Airspace System
Metering flights at key points such as sector crossings is an important operational procedure in mitigating National Airspace System (NAS) traffic congestion due to high demand or...
Paul T. R. Wang, Craig R. Wanke, Frederick P. Wiel...
WSC
2000
13 years 9 months ago
Soft-commissioning: hardware-in-the-loop-based verification of controller software
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
Harald Schludermann, Thomas Kirchmair, Markus Vord...
ICALT
2006
IEEE
14 years 1 months ago
Evaluation of a Queuing Theory and Systems Modeling Course Based on UML
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
Athanasios Perdos, Alexander Chatzigeorgiou, Georg...
WSC
1997
13 years 9 months ago
Simulation of Multiple Time-Pressured Agents
The paper describes a simulation substrate that allows thinking agents to interact with a world. The world is simulated by standard discrete event simulation, but the timing of an...
Scott D. Anderson
ICCAD
2001
IEEE
84views Hardware» more  ICCAD 2001»
14 years 4 months ago
Stars in VCC: Complementing Simulation with Worst-Case Analysis
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
Felice Balarin