Parallel Algorithms and Static Analysis of Parallel Programs.
Nikolay N. MirenkovPublished in: Parallel Algorithms and Architectures (1987)
Keyphrases
- parallel algorithm
- static analysis
- parallel programming
- symbolic execution
- shared memory
- parallel computation
- multicore processors
- parallel implementations
- pc cluster
- dynamic analysis
- parallel version
- cluster of workstations
- parallel computers
- source code
- processor array
- abstract interpretation
- message passing interface
- interconnection networks
- parallel computing
- distributed memory
- test generation
- regular expressions
- parallel implementation
- runtime environment
- parallel processing
- test suite
- reverse engineering
- inter processor communication
- high level
- message passing
- api calls
- cpu implementation
- discovery of association rules
- data exchange
- combinatorial search problems