Sciweavers

12050 search results - page 387 / 2410
» Modeling and Simulation
Sort
View
DSRT
2002
IEEE
15 years 10 months ago
Enhancing the DiffServ Architecture of a Simulation Environment
Simulation has always been a valuable tool for experimentation and validation of models, architectures and mechanisms in the field of networking. In the case of the DiffServ frame...
Christos Bouras, Dimitris Primpas, Afrodite Sevast...
FDL
2003
IEEE
15 years 10 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
DATE
2002
IEEE
96views Hardware» more  DATE 2002»
15 years 10 months ago
A Linear-Centric Simulation Framework for Parametric Fluctuations
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
Emrah Acar, Sani R. Nassif, Lawrence T. Pileggi
PG
2000
IEEE
15 years 9 months ago
Interactive Simulation of Surgical Cuts
We present a framework for the interactive simulation of surgical cuts such as being practiced in surgical treatment. Unlike most existing methods our framework is based on tetrah...
Daniel Bielser, Markus H. Gross
IWEC
2008
15 years 6 months ago
Game-Based Simulation for the Evaluation of Threat Detection in a Seaport Environment
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
Allen Christiansen, Damian Johnson, Lawrence B. Ho...