-
“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 →
Formal Verification of Programs That Use MPI One-Sided Communication
S. Pervez, G. Gopalakrishnan, R. M. Kirby, R. Thakur, and W. Gropp,
“Formal Verification of Programs That Use MPI One-Sided
Communication,” in Proc. of the 13th European PVM/MPI Users’ Group
Meeting (Euro PVM/MPI 2006), September 2006,
pp. 30-39. (pdf)
(selected as 1 of 3 outstanding papers at the
conference)