Sciweavers

16159 search results - page 371 / 3232
» Parallel computing with CUDA
Sort
View
121
Voted
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...
120
Voted
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