Sciweavers

5672 search results - page 322 / 1135
» Design techniques for low-power systems
Sort
View
209
Voted
EMSOFT
2005
Springer
16 years 10 days ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
ICFEM
2009
Springer
15 years 4 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
IPPS
2007
IEEE
16 years 1 months ago
Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
Florian Dittmann, Marcelo Götz, Achim Rettber...
KBSE
2002
IEEE
15 years 11 months ago
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
Wamberto Weber Vasconcelos, Carles Sierra, Marc Es...
ER
2000
Springer
107views Database» more  ER 2000»
15 years 10 months ago
A Conceptual Model for Remote Data Acquisition Systems
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...
Txomin Nieva, Alain Wegmann