Sciweavers

3864 search results - page 11 / 773
» time 2005
Sort
View
FOSSACS
2005
Springer
15 years 10 months ago
Alternating Timed Automata
Slawomir Lasota, Igor Walukiewicz
FSTTCS
2005
Springer
15 years 10 months ago
On Sampled Semantics of Timed Systems
Pavel Krcál, Radek Pelánek
ICALP
2005
Springer
15 years 10 months ago
On the Cover Time of Random Geometric Graphs
Chen Avin, Gunes Ercal
ISCIS
2005
Springer
15 years 10 months ago
Optimal Control for Real-Time Feedback Rate-Monotonic Schedulers
Tolga Ayav, Giancarlo Ferrari-Trecate