Sciweavers

2637 search results - page 6 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
WSC
1997
13 years 9 months ago
A Performance Monitoring Application for Distributed Interactive Simulations (DIS)
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
David B. Cavitt, C. Michael Overstreet, Kurt Maly
JTRES
2010
ACM
13 years 8 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
KBSE
2008
IEEE
14 years 2 months ago
Tool Support for Parametric Analysis of Large Software Simulation Systems
Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...
WSC
1997
13 years 9 months ago
A Demonstration of the Integrated Supportability Analysis and Cost System (ISACS+)
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
Helena L. Weaks, James D. Barrett
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
14 years 1 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer