854 search results - page 88 / 171 » Timing coverification of concurrent embedded real-time syste... |
139
click to vote
RTCSA
2008
IEEE
16 years 16 days ago
2008
IEEE
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...
197
click to vote
AVSS
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents the implementation of a video segmentation unit used for embedded automated video surveillance systems. Various aspects of the underlying segmentation algorith...
228
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
In applications such as web-applications, e-commerce, and engine control, the demand for real-time data services has increased. In these applications, requests have to be processe...
185
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
A reward-based task typically consists of a mandatory part that must be accomplished before the given deadline, and an optional part that is associated with rewards for partial co...
183
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...