Sciweavers

106 search results - page 1 / 22
» Computing Quantitative Characteristics of Finite-State Real-...
Sort
View
78
Voted
RTSS
1994
IEEE
15 years 1 months ago
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
LCTRTS
1995
Springer
15 years 1 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
88
Voted
IPPS
2005
IEEE
15 years 3 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
SIGGRAPH
1996
ACM
15 years 1 months ago
The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
Li-wei He, Michael F. Cohen, David Salesin
RTS
2000
71views more  RTS 2000»
14 years 9 months ago
Measuring the Performance of Real-Time Systems
So far, performance measures for real time systems did not receive much attention. An assessment of the few existing benchmarking methods for real time systems will reveal that the...
Wolfgang A. Halang, Roman Gumzej, Matjaz Colnaric,...