Sciweavers

5186 search results - page 87 / 1038
» Embedded Systems
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 1 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
DSN
2004
IEEE
15 years 1 months ago
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
Jennifer Morris, Daniel Kroening, Philip Koopman
DAC
1998
ACM
15 years 11 months ago
A Case Study in Embedded System Design: An Engine Control Unit
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...
Alberto L. Sangiovanni-Vincentelli, Antonino Damia...
DAC
1999
ACM
15 years 11 months ago
Memory Exploration for Low Power, Embedded Systems
In embedded system design, the designer has to choose an onchip memory configuration that is suitable for a specific application. To aid in this design choice, we present a memory...
Wen-Tsong Shiue, Chaitali Chakrabarti
ICCAD
2002
IEEE
103views Hardware» more  ICCAD 2002»
15 years 6 months ago
Synthesis of customized loop caches for core-based embedded systems
Embedded system programs tend to spend much time in small loops. Introducing a very small loop cache into the instruction memory hierarchy has thus been shown to substantially red...
Susan Cotterell, Frank Vahid