Using Symbolic Execution of Parallel Program to Estimate Its Scalability.

Victor Ivannikov, Serguei Gaissaryan, Arutyun Avetisyan, Vartan A. Padaryan

Browse the full PDPTA paper archive.