Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking.
Salman PervezGanesh GopalakrishnanRobert M. KirbyRajeev ThakurWilliam GroppPublished in: Softw. Pract. Exp. (2010)
Keyphrases
- high performance computing
- formal methods
- software design
- software engineering
- scientific computing
- computational science
- message passing interface
- parallel computing
- massively parallel
- grid computing
- knowledge based systems
- computing resources
- software development
- computing systems
- formal specification
- fault tolerance
- software systems
- knowledge representation
- model checking
- computing environments
- energy efficiency
- response time
- design patterns
- parallel algorithm