Sciweavers

7429 search results - page 407 / 1486
» Embedded System Update
Sort
View
IFIPTCS
2000
15 years 10 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
ACMDIS
2010
ACM
15 years 7 months ago
Design from the everyday: continuously evolving, embedded exploratory prototypes
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
Clint Heyer, Margot Brereton
ESWS
2008
Springer
15 years 8 months ago
Microsearch: An Interface for Semantic Search
In this paper we discuss the potential for semantic search and focus on the most immediate problem toward its realization: the problem of the sparsity and relatively low quality of...
Peter Mika
ICIP
2005
IEEE
16 years 8 months ago
Error-resilient video transmission using multiple embedded Wyner-Ziv descriptions
This paper proposes systematic lossy error protection of video waveforms using multiple embedded Wyner-Ziv video descriptions. A video signal transmitted over an error-prone chann...
Shantanu Rane, Anne Aaron, Bernd Girod
CSREAESA
2004
15 years 8 months ago
An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha