Timing-Sequence Testing of Parallel Programs.
Liang YuLi ShuHui ZhangChengde HanPublished in: J. Comput. Sci. Technol. (2000)
Keyphrases
- parallel processing
- symbolic execution
- parallel programming
- high level programming language
- sorting algorithms
- program execution
- automatic programming
- computer programs
- parallel implementation
- massively parallel
- event sequences
- genetic algorithm
- sequence analysis
- parallel computing
- multi threaded
- asynchronous circuits
- shared memory
- test cases
- parallel hardware
- multicore processors
- input data