Sciweavers

12131 search results - page 331 / 2427
» Introduction to Modeling and Simulation
Sort
View
IPPS
2007
IEEE
15 years 10 months ago
A General Purpose Partially Reconfigurable Processor Simulator (PReProS)
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
Alisson Vasconcelos De Brito, Matthias Kühnle...
FDL
2003
IEEE
15 years 9 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 ...
WSC
2007
15 years 6 months ago
Allocation of resources for hospital evacuations via simulation
Department of Health and Environmental Control (DHEC) issued an order recently requiring that all hospitals have an evacuation plan with the following components: sheltering plan,...
Esengul Tayfur, Kevin Taaffe
WSC
2007
15 years 6 months ago
Agent-based simulations of service policy decisions
During service engagements, project managers frequently encounter resource constraint issues. For each resource shortfall encountered, a project manager must decide among a narrow...
Richard B. Lam
WSC
2007
15 years 6 months ago
Bi-criteria evaluation of an outpatient procedure center via simulation
Surgical services require the coordination of many activities, including patient check-in and surgical preparation, surgery, and recovery after surgery. Each of these activities r...
Todd R. Huschka, Brian T. Denton, Serhat Gul, John...