Sciweavers

6897 search results - page 44 / 1380
» Parallelization of Modular Algorithms
Sort
View
107
Voted
IPPS
2002
IEEE
15 years 9 months ago
Mechanical Verification of Hypercube Algorithms
Eric Gascard, Laurence Pierre