Sciweavers

263 search results - page 50 / 53
» The Conceptual Integration Modeling Framework: Abstracting f...
Sort
View
SAFECOMP
2007
Springer
14 years 1 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
SASO
2008
IEEE
14 years 1 months ago
Spatial Self-Organization of Heterogeneous, Modular Architectures
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
René Doursat
IJCIM
2002
99views more  IJCIM 2002»
13 years 7 months ago
A distributed, event-driven control architecture for flexibly automated manufacturing systems
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bod...
CASES
2004
ACM
14 years 24 days ago
High-level power analysis for on-chip networks
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
Noel Eisley, Li-Shiuan Peh
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
13 years 9 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert