A Theoretical Framework of Data Parallelism and Its Operational Semantics.
Philippe GernerEric ViolardPublished in: Euro-Par (2000)
Keyphrases
- theoretical framework
- operational semantics
- data parallelism
- combinatorial search
- parallel processing
- distributed computing
- distributed memory
- parallel programming
- formal semantics
- mental states
- data model
- shared memory
- parallel algorithm
- distributed systems
- search algorithm
- cloud computing
- theorem prover
- parallel computation
- query processing
- search space