Sciweavers

12032 search results - page 138 / 2407
» Simulation of Manufacturing Systems
Sort
View
106
Voted
DATE
2005
IEEE
155views Hardware» more  DATE 2005»
15 years 9 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 ...
122
Voted
SEKE
2004
Springer
15 years 9 months ago
Mapping UML Diagrams to a Petri Net Notation for System Simulation
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
Zhaoxia Hu, Sol M. Shatz
106
Voted
DAC
1997
ACM
15 years 7 months ago
Dynamic Communication Models in Embedded System Co-Simulation
Many co-simulation techniques either suffer from poor performance when simulating communications intensive systems, or they represent communications with a uniformly low level of ...
Ken Hines, Gaetano Borriello
ENTCS
2008
98views more  ENTCS 2008»
15 years 3 months ago
An Intermediate Language for the Simulation of Biological Systems
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo...
108
Voted
AIED
2005
Springer
15 years 9 months ago
Generating Structured Explanations of System Behaviour Using Qualitative Simulations
This paper presents an approach to generate structured explanations of system behaviour based on qualitative simulations. This has been implemented in WiziGarp, a domain-independen...
Anders Bouwer, Bert Bredeweg