Sciweavers

11603 search results - page 145 / 2321
» Securing Embedded Systems
Sort
View
CODES
1998
IEEE
15 years 6 months ago
Energy-conscious HW/SW-partitioning of embedded systems: a case study on an MPEG-2 encoder
Energy dissipationis a hot topic in the design of
Jörg Henkel, Yanbing Li
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 6 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
CSREAESA
2009
15 years 3 months ago
Application of Embedded Systems in Low Earth Orbit for Measurement of Ionospheric Anomalies
: Space is a hazardous environment for both man and machine and to explore such a terrain a rugged, yet easily implementable, platform is needed. Low-cost, low-power embedded syste...
George J. Starr, J. M. Wersinger, Richard Chapman,...
COMPUTER
2007
153views more  COMPUTER 2007»
15 years 2 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
DFT
2003
IEEE
154views VLSI» more  DFT 2003»
15 years 7 months ago
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
Ying Zhang, Krishnendu Chakrabarty