An Axiomatic Approach to the Specification of Distributed Computer Architectures.
Werner DammGert DöhmenPublished in: PARLE (1) (1987)
Keyphrases
- computer architecture
- distributed systems
- computer systems
- linear algebra
- boundary element
- parallel computing
- compute intensive
- distributed environment
- high performance computing
- computer science department
- databases
- multi threaded
- peer to peer
- computing systems
- formal specification
- fault tolerant
- parallel computers
- artificial intelligence