Sciweavers

575 search results - page 20 / 115
» Introducing Service-Orientation into System Analysis and Des...
Sort
View
EMSOFT
2005
Springer
14 years 1 months 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
EURODAC
1995
IEEE
117views VHDL» more  EURODAC 1995»
13 years 11 months ago
Performance-complexity analysis in hardware-software codesign for real-time systems
The paper presents an approach for performance and complexity analysis of hardware/software implementations for real-time systems on every stage of the partitioning. There are two...
Victor V. Toporkov
ISOLA
2010
Springer
13 years 6 months ago
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
Steffen Kollmann, Victor Pollex, Kilian Kempf, Fra...
CC
2001
Springer
103views System Software» more  CC 2001»
14 years 2 days ago
Design-Driven Compilation
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
Radu Rugina, Martin C. Rinard
HICSS
2005
IEEE
86views Biometrics» more  HICSS 2005»
14 years 1 months ago
Towards a Typology for Designing Inter-Organisational Controls for Network Organisations
In this paper a typology is introduced for interorganisational control mechanisms for network organisations. We also show how the design and analysis of such inter-organisational ...
Vera Kartseva, Yao-Hua Tan