Derivation and Verification of Parallel Components for the Needs of an HPC Cloud.
Thiago Braga MarcilonFrancisco Heron de Carvalho JuniorPublished in: SBMF (2013)
Keyphrases
- high performance computing
- parallel processing
- computing infrastructure
- cloud computing
- model checking
- parallel programming
- massively parallel
- shared memory
- learning algorithm
- computer architecture
- parallel implementation
- virtual machine
- message passing
- artificial intelligence
- design patterns
- fault tolerance
- load balancing
- building blocks
- software development
- real time