Sciweavers

13752 search results - page 248 / 2751
» Parallel and Distributed Haskells
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
Least Upper Bounds for Probability Measures and Their Applications to Abstractions
Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanath...
CONCUR
2008
Springer
15 years 8 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CONCUR
2008
Springer
15 years 8 months ago
Quasi-Static Scheduling of Communicating Tasks
Philippe Darondeau, Blaise Genest, P. S. Thiagaraj...
CONCUR
2008
Springer
15 years 8 months ago
Normed BPA vs. Normed BPP Revisited
Petr Jancar, Martin Kot, Zdenek Sawa