134 search results - page 1 / 27 » ProtEx: a toolkit for the analysis of distributed real-time ... |
RTCSA
2000
IEEE
13 years 9 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
NOSSDAV
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
FASE
2004
Springer
13 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
IPPS
1998
IEEE
13 years 8 months ago
1998
IEEE
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE