385 search results - page 18 / 77 » Verified Code Generation for Embedded Systems |
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
101
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
120
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
ATS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...
131
Voted
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...