scientific article; zbMATH DE number 5629953

MaRDI QIDQ3640414zbMATH OpenFDO

Authors Mingxue Liao, Zhihua Fan, Xiaoxin He

Publication date 11 November 2009

zbMATH Keywords

deadlock detectionratio equation group

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Deadlock detection in MPI programs
• A sound reduction of persistent-sets for deadlock detection in MPI applications
• State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
• Publication:4727428

Cited in

(1)

• Deadlock detection in MPI programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3640414)