3730 search results - page 5 / 746 » Robust design of embedded systems |
127
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
126
Voted
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
A vector enhancement of Said and Pearlman's Set Partitioning in Hierarchical Trees (SPIHT) methodology, named VSPIHT, has recently been proposed for embedded wavelet image co...
123
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
EMERALDS (Extensible Microkernel for Embedded, ReALtime, Distributed Systems) is a real-time microkernel designed for small-memory embedded applications. These applications must r...
141
Voted
HAPTICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Haptic interface serves as an ideal context and platform for teaching both system dynamics and embedded control. At The University of Michigan, a traditional undergraduate mechani...
107
Voted
SEUS
2009
IEEE
15 years 10 months ago
2009
IEEE