2067 search results - page 100 / 414 » Modeling and Simulation of Operating System Behavior |
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
WSC
2001
14 years 11 months ago
2001
The Advanced IRCM Assessment Model (AIRSAM) simulates an infrared (IR) guided missile engaging an aircraft equipped with infrared countermeasures (IRCM). Analysts currently use AI...