Sciweavers

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