Symbolic Executions of Symmetrical Parallel Programs.
Isabelle Vernier-MounierPublished in: PDP (1996)
Keyphrases
- high level programming language
- intermediate level
- database transactions
- parallel implementation
- parallel processing
- sorting algorithms
- information retrieval
- parallel hardware
- parallel computing
- massively parallel
- distributed memory
- automatic programming
- databases
- test cases
- high level
- evolutionary algorithm
- connectionist models
- low level
- parallel programming
- fixpoint
- computer architecture
- computer programs
- general purpose
- shared memory