Specification and Verification of a MPI Implementation for a MP-SoC.

Umberto Souza da Costa, Ivan Soares de Medeiros Jnior, Marcel Vincius Medeiros Oliveira

Browse the full ICTAC paper archive.