Sciweavers

1287 search results - page 15 / 258
» Reduction of Timed Hybrid Systems
Sort
View
DAGSTUHL
2004
15 years 1 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner
TECS
2008
60views more  TECS 2008»
14 years 11 months ago
Verifying average dwell time of hybrid systems
Sayan Mitra, Daniel Liberzon, Nancy A. Lynch
CONCUR
2006
Springer
15 years 3 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
CJ
2004
119views more  CJ 2004»
14 years 11 months ago
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
Zhongqiang Chen, Alex Delis, Henry L. Bertoni