1005 search results - page 58 / 201 » Agile Methods for Embedded Systems |
ATC
2008
Springer
13 years 12 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
WORDS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
Projection technology typically places several constraints on the geometric relationship between the projector and the projection surface to obtain an undistorted, properly sized ...
CVPR
2010
IEEE
14 years 11 days ago
2010
IEEE
The 3D reconstruction of a face from a single frontal image is an ill-posed problem. This is further accentuated when the face image is captured under different poses and/or compl...