2042 search results - page 50 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Real-time resource scheduling is an important factor for improving the performance of cluster computing. In many distributed and parallel processing systems, particularly real-tim...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
IVA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a system which consists of a lifelike agent animated in real-time using video and audio analysis from the user. This kind of system could be used for Instant M...
ECRTS
2002
IEEE
14 years 18 days ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...