Towards a Formal Specification of an Object-Oriented Architecture for Parallel Computing.
S. BavanEleni BerkiElli GeorgiadouM. Milankovic-AdkinsonM. J. WalkerPublished in: PDPTA (1997)
Keyphrases
- parallel computing
- formal specification
- processing units
- multithreading
- parallel computers
- object oriented design
- model checking
- massively parallel
- specification languages
- specification language
- object oriented
- computing systems
- parallel programming
- shared memory
- reverse engineering
- formal methods
- computer architecture
- process algebra
- parallel architectures
- commodity hardware
- concurrent systems
- protocol specification
- heterogeneous systems
- field programmable gate array
- artificial intelligence
- temporal logic
- software architecture
- information systems
- database