5239 search results - page 583 / 1048 » Model-Integrated Embedded Systems |
215
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
186
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...
168
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
This paper2 presents a new approach for the secure and robust copyright protection of digital images. A system for generating digital watermarks and for trading watermarked images ...
169
click to vote
RTCSA
1997
IEEE
15 years 11 months ago
1997
IEEE
Emphasis of our research lies on the application of realtime multimedia technology: tele-teaching. teleconferencing arid collaborative work. To support this research we need a rea...
219
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...