Sciweavers

2306 search results - page 73 / 462
» Modeling issues in a shipping system
Sort
View
DSRT
2008
IEEE
16 years 25 days ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
HPDC
2005
IEEE
15 years 12 months ago
A model for cooperative federation of distributed clusters
Interest in Grid computing has grown significantly over the past five years. Management of distributed cluster resources is a key issue in Grid computing. Central to management ...
Rajiv Ranjan, Rajkumar Buyya, Aaron Harwood
RTSS
1999
IEEE
15 years 10 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
SAMOS
2005
Springer
15 years 12 months ago
Micro-architecture Performance Estimation by Formula
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
Lucanus J. Simonson, Lei He
WSC
2004
15 years 7 months ago
View From the Top: Military Challenges for the Simulation Community
The Department of Defense (DoD) has become increasingly reliant on models and in particular on simulation models. The military-defense establishment and its combat-preparation ori...
Gregory A. McIntyre, Raymond R. Hill