823 search results - page 61 / 165 » Embedded Robustness Ips |
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. ...
105
click to vote
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...
109
click to vote
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
Graph matching is an important component in many object recognition algorithms. Although most graph matching algorithms seek a one-to-one correspondence between nodes, it is often...
108
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
Dirty paper trellis codes are a form of watermarking with side information. These codes have the advantage of being invariant to valumetric scaling of the cover Work. However, the...
100
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...