Login / Signup
Specification and Verification of a MPI Implementation for a MP-SoC.
Umberto Souza da Costa
Ivan Soares de Medeiros Júnior
Marcel Vinícius Medeiros Oliveira
Published in:
ICTAC (2010)
Keyphrases
</>
parallel implementation
formal verification
database
asynchronous circuits
specification language
protocol specification
formal methods
message passing
model checking
programming language
general purpose
case study
efficient implementation
parallel computing
reactive systems
message passing interface
databases