-
“The Oscars of Invention” – The Chicago Tribune For 45 years, the prestigious R&D 100 Awards have been helping companies provide the important initial push a new product needs to compete successfully in the marketplace. The winning of an R&D 100 Award provides a mark of excellence known to industry, government, and academia as proof that the product is one of the most innovative ideas of the year.Continue reading →
Practical Model Checking Method for Verifying Correctness of MPI Programs
S. Pervez, G. Gopalakrishnan, R. M. Kirby, R. Palmer, R. Thakur, and
W. Gropp, “Practical Model Checking Method for Verifying Correctness
of MPI Programs,”
Proc. of the 14th European PVM/MPI Users’ Group Meeting (Euro
PVM/MPI 2007), September 2007, pp. 344-353.
(pdf)