Parallel assertions for debugging parallel programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik. Parallel assertions for debugging parallel programs. In Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt, editors, 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. pages 181-190, IEEE, 2011. [doi]

This author has not been identified. Look up 'Daniel Schwartz-Narbonne' in GoogleThis author has not been identified. Look up 'Feng Liu' in GoogleThis author has not been identified. Look up 'Tarun Pondicherry' in GoogleThis author has not been identified. Look up 'David I. August' in GoogleThis author has not been identified. Look up 'Sharad Malik' in Google

runs on WebDSL