Formal Specification of Parallel SIMD Execution.
Craig A. FarrellDorota H. KieronskaPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- formal specification
- parallel processing
- massively parallel
- parallel implementation
- object oriented design
- specification languages
- parallel execution
- model checking
- specification language
- code generation
- process algebra
- reverse engineering
- processor array
- single instruction multiple data
- parallel algorithm
- formal methods
- parallel architectures
- concurrent systems
- data abstraction
- shared memory
- array processor
- parallel computing
- parallel programming
- databases
- software components
- access control
- open source
- response time
- cooperative