Sciweavers

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