2523 search results - page 201 / 505 » Correct Development of Embedded Systems |
122
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
174
click to vote
MMSEC
2006
ACM
15 years 9 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
109
click to vote
ICPPW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
149
click to vote
JDCTA
2008
15 years 3 months ago
2008
Due to the ever-growing usage of the computer, it has led to a rapid increment in the data that is being exchanged, published and stored in an assortment of digital form. This phe...
105
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...