3108 search results - page 30 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
FAC
2008
13 years 8 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
IDEAS
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper is concerned with a transformation-based approach to update propagation in an extended version of Codd’s relational algebra which allows for defining derived relatio...
CODES
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...