7429 search results - page 599 / 1486 » Embedded System Update |
199
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
160
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
This paper proposes a motion-focusing method to extract key frames and generate summarization synchronously for surveillance videos. Within each pre-segmented video shot, the prop...
158
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
191
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Ad-hoc sensor networks provide a cheap and scalable technology for constructing pervasive learning assessment systems that are embedded in physical environments. This paper propos...
197
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...