2523 search results - page 143 / 505 » Correct Development of Embedded Systems |
GRID
2007
Springer
14 years 10 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
EMSOFT
2007
Springer
15 years 1 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...