Deriving efficient parallel programs by systemating coarsing specification parallelism
Sergei GorlatchPublished in: Forschungsberichte, TU Munich (1993)
Keyphrases
- parallel execution
- shared memory
- parallel processing
- parallel architectures
- massively parallel
- data parallelism
- high level programming language
- multicore processors
- parallel computing
- parallel computation
- parallel algorithm
- cost effective
- high level
- data sets
- computational power
- specification language
- formal specification
- computationally expensive
- provably correct
- lightweight
- satisfiability testing