Sciweavers

20126 search results - page 336 / 4026
» Timed Transition Systems
Sort
View
158
Voted
HYBRID
1995
Springer
15 years 8 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
LCTRTS
1995
Springer
15 years 8 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
MCSS
2006
Springer
15 years 4 months ago
Optimal input sets for time minimality in quantized control systems
Abstract Limited capacity of communication channels has brought to the attention of many researchers the analysis of control systems subject to a quantized input set. In some funda...
Alessia Marigo
120
Voted
RTAS
2010
IEEE
15 years 3 months ago
Scalable Scheduling Policy Design for Open Soft Real-Time Systems
Robert Glaubius, Terry Tidwell, Braden Sidoti, Dav...
CVPR
2005
IEEE
16 years 7 months ago
A Projector-Camera System with Real-Time Photometric Adaptation for Dynamic Environments
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...
Kensaku Fujii, Michael D. Grossberg, Shree K. Naya...