3613708

Mechanical verification of hypercube algorithms

E. Gascard;L. Pierre

Universite de Provence

2002

6/24/1905 12:00:00 AM

"Hypercubes","Parallel algorithms","Formal verification","Signal processing algorithms","Image processing","Concurrent computing","Multiprocessor interconnection networks","Libraries","Computer vision","Application software"

ieee

Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM

0-7695-1573-8

conf

10.1109/IPDPS.2002.1016621

1016621