Sciweavers

2366 search results - page 121 / 474
» Pfaffian Hybrid Systems
Sort
View
ATVA
2008
Springer
78views Hardware» more  ATVA 2008»
15 years 8 months ago
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Andreas Eggers, Martin Fränzle, Christian Her...
AINTEC
2006
Springer
15 years 8 months ago
On Scalability of DHT-DNS Hybrid Naming System
Yusuke Doi, Shirou Wakayama, Masahiro Ishiyama, Sa...
IPCV
2007
15 years 7 months ago
A Hybrid System for Information Fusion with Application to Passive Ranging
Chaitanya Raju, Sakina Zabuawala, Sreekar Krishna,...
DAGSTUHL
2004
15 years 7 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner