3387 search results - page 257 / 678 » Model-Checking for Real-Time Systems |
186
click to vote
ICEIS
2005
IEEE
16 years 22 days ago
2005
IEEE
: The CEDRIC and the IRCAM conduct since 2002 a project entitled "distributed orchestra" which proposes to coordinate on a network the actors of a musical orchestra (musi...
211
click to vote
RTAS
2003
IEEE
16 years 11 days 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...
186
Voted
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
231
click to vote
WSC
2007
15 years 9 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
192
click to vote
IJCV
2002
15 years 6 months ago
2002
The analysis of the depth coordinates of objects in a visual scene is of vital importance for animals as well as in technological applications like autonomous robot navigation or p...