Formal analysis of MPI-based parallel programs.
Ganesh GopalakrishnanRobert M. KirbyStephen F. SiegelRajeev ThakurWilliam GroppEwing L. LuskBronis R. de SupinskiMartin SchulzGreg BronevetskyPublished in: Commun. ACM (2011)
Keyphrases
- formal analysis
- parallel implementation
- shared memory
- message passing interface
- parallelization strategy
- parallel programming
- distributed memory
- parallel computing
- parallel algorithm
- massively parallel
- parallel computation
- formal methods
- high performance computing
- parallel architecture
- parallel computers
- programming environment
- agent model
- message passing
- parallel processing
- general purpose
- sorting algorithms
- databases
- ban logic
- machine learning
- processing units
- development process
- case study