Issues in the specification and design of parallel programs.
Robert G. Babb IIPublished in: IWSSD (1991)
Keyphrases
- parallel computation
- parallel implementation
- design issues
- control program
- high level
- automatic programming
- design principles
- key issues
- implementation issues
- case study
- tool suite
- design goals
- computer aided
- building blocks
- formal methods
- human factors
- engineering design
- design choices
- formal verification
- design guidelines
- design process
- design methodologies
- data sets