Sciweavers

8492 search results - page 208 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
DATE
2005
IEEE
155views Hardware» more  DATE 2005»
15 years 10 months ago
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori ...
JTRES
2010
ACM
15 years 4 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
ECBS
1999
IEEE
92views Hardware» more  ECBS 1999»
15 years 8 months ago
A Seed for a STEP Application Protocol for Systems Engineering
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
Erik Herzog, Anders Törne
WSC
2008
15 years 6 months ago
Optimized maintenance design for manufacturing performance improvement using simulation
This research presents optimized maintenance design using simulation to analyze the capability of auto part manufacturing production system. The integration of simulation and opti...
Ahad Ali, Xiaohui Chen, Ziming Yang, Jay Lee, Jun ...
ICPADS
2002
IEEE
15 years 9 months ago
Design and Analysis of a Fault-Tolerant Mechanism for a Server-Less Video-On-Demand System
Video-on-demand (VoD) systems have traditionally been built on the client-server architecture, where a video server stores, retrieves, and transmits video data to video clients fo...
Jack Y. B. Lee, Raymond W. T. Leung