1784 search results - page 66 / 357 » Formal Models for Embedded System Design |
211
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
181
click to vote
ICECCS
2009
IEEE
16 years 25 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
193
click to vote
RSP
2006
IEEE
16 years 5 days ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
178
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
156
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...