Sciweavers

6437 search results - page 25 / 1288
» Parallel Algorithms for Arrangements
Sort
View
91
Voted
IPPS
2002
IEEE
15 years 7 months ago
Mechanical Verification of Hypercube Algorithms
Eric Gascard, Laurence Pierre