3730 search results - page 5 / 746 » Robust design of embedded systems |
100
Voted
RTAS
2008
IEEE
15 years 6 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. ...
ISCAS
1999
IEEE
15 years 4 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...
RTCSA
1999
IEEE
15 years 4 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...
109
Voted
HAPTICS
2003
IEEE
15 years 5 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...
86
Voted
SEUS
2009
IEEE
15 years 7 months ago
2009
IEEE