1715 search results - page 256 / 343 » Embedded Systems and Real-Time Programming |
148
click to vote
SIGOPSE
1998
ACM
15 years 9 months ago
1998
ACM
MMLite is a modular system architecture that is suitable for a wide variety of hardware and applications. The system provides a selection of object-based components that are dynam...
138
Voted
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
177
Voted
VLSID
2008
IEEE
15 years 11 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
130
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
151
Voted
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...