Sciweavers

13752 search results - page 235 / 2751
» Parallel and Distributed Haskells
Sort
View
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...
148
Voted
CONCUR
2006
Springer
15 years 10 months ago
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
Orna Kupferman, Sarai Sheinvald-Faragy
FTDCS
2004
IEEE
15 years 10 months ago
Scalable, Structured Data Placement over P2P Storage Utilities
Zheng Zhang, Mallik Mahalingam, Zhichen Xu, Wentin...