Sciweavers

2306 search results - page 73 / 462
» Modeling issues in a shipping system
Sort
View
DSRT
2008
IEEE
14 years 3 months 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
14 years 2 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
14 years 1 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
14 years 2 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
13 years 10 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