Decomposing Partial Order Execution Graphs to Improve Message Race Detection

Basile Schaeli, Sebastian Gerlach, Roger D. Hersch. Decomposing Partial Order Execution Graphs to Improve Message Race Detection. In 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA. pages 1-8, IEEE, 2007. [doi]

Authors

Basile Schaeli

This author has not been identified. Look up 'Basile Schaeli' in Google

Sebastian Gerlach

This author has not been identified. Look up 'Sebastian Gerlach' in Google

Roger D. Hersch

This author has not been identified. Look up 'Roger D. Hersch' in Google