Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur. Dynamic Verification of Hybrid Programs. In Rainer Keller, Edgar Gabriel, Michael M. Resch, Jack Dongarra, editors, Recent Advances in the Message Passing Interface - 17th European MPI Users Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings. Volume 6305 of Lecture Notes in Computer Science, pages 298-301, Springer, 2010. [doi]
Abstract is missing.