2523 search results - page 82 / 505 » Correct Development of Embedded Systems |
BIRTHDAY
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
MTDT
2003
IEEE
14 years 2 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
UIST
1997
ACM
14 years 1 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...