Verification of the Burst Send Queuing System Model for Parallel Programs.

Basel A. Mahafzah, William A. Cohen

Browse the full PDPTA paper archive.