Sciweavers

29172 search results - page 158 / 5835
» Modeling Systems in CLP
Sort
View
DATE
2005
IEEE
155views Hardware» more  DATE 2005»
14 years 3 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 ...
UML
2005
Springer
14 years 3 months ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...
ICRA
2003
IEEE
101views Robotics» more  ICRA 2003»
14 years 3 months ago
Modeling and control of a monopropellant-based pneumatic actuation system
This work describes the modeling and control of a proposed actuation system that is capable of pressurizing a chamber volume via the catalytic decomposition of a liquid monopropel...
Eric J. Barth, Michael A. Gogola, Michael Goldfarb
APNOMS
2006
Springer
14 years 2 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
RIVF
2003
13 years 11 months ago
Overview of Game Theory and Using to model the Knowledge of multi-agent system
— Game theory models and analyzes the situations of conflict and cooperation among independent decision-makers. We can view the runs of a multi-agent system as a game where the ...
Thuy Lien Pham, Marc Bui, Michel Lamure