Fault-tolerant concurrent branch and bound algorithms derived from program verification.

Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin

Browse the full COMPSAC paper archive.