Sciweavers

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