Sciweavers

17582 search results - page 275 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
CONCUR
2004
Springer
15 years 10 months ago
Timed vs. Time-Triggered Automata
Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...
CONCUR
2006
Springer
15 years 10 months ago
Reachability in Recursive Markov Decision Processes
Tomás Brázdil, Václav Brozek,...
CONCUR
2006
Springer
15 years 10 months ago
Sortings for Reactive Systems
Lars Birkedal, Søren Debois, Thomas T. Hild...