Practical formal correctness checking of million-core problem solving environments for HPC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins. Practical formal correctness checking of million-core problem solving environments for HPC. In Jeffrey Carver, editor, Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, SE-CSE 2013, San Francisco, California, USA, May 18, 2013. pages 75-83, IEEE, 2013. [doi]

This author has not been identified. Look up 'Diego Caminha B. de Oliveira' in GoogleThis author has not been identified. Look up 'Zvonimir Rakamaric' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Alan Humphrey' in GoogleThis author has not been identified. Look up 'Qingyu Meng' in GoogleThis author has not been identified. Look up 'Martin Berzins' in Google

runs on WebDSL