Workshop on Formal Methods for Parallel Programming (FMPPTA 2000).
Beverly A. SandersDominique MéryPublished in: IPDPS Workshops (2000)
Keyphrases
- formal methods
- parallel programming
- parallel algorithm
- cloud computing
- parallel computation
- parallel processing
- programming environment
- parallel computing
- shared memory
- model checking
- massively parallel
- artificial intelligence
- formal specification
- processing units
- knowledge based systems
- software engineering
- modeling language
- programming language
- design patterns
- data management
- development lifecycle
- petri net
- business processes
- multi agent systems
- case study
- real world