Sciweavers

13752 search results - page 337 / 2751
» Parallel and Distributed Haskells
Sort
View
94
Voted
IPPS
2009
IEEE
16 years 1 months ago
Efficient large-scale model checking
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Br...
IPPS
2009
IEEE
16 years 1 months ago
Implementing a portable Multi-threaded Graph Library: The MTGL on Qthreads
Brian W. Barrett, Jonathan W. Berry, Richard C. Mu...
IPPS
2009
IEEE
16 years 1 months ago
Uniform scattering of autonomous mobile robots in a grid
Lali Barrière, Paola Flocchini, Eduardo Mes...