Active-Passive Deterministic Parallel System Specification Using Z.
Tsai Chi HuangRoy W. MeltonPhilip R. BinghamLinda M. WillsCecil O. AlfordPublished in: PDPTA (1999)
Keyphrases
- database
- parallel implementation
- information systems
- parallel hardware
- learning algorithm
- artificial intelligence
- case study
- parallel computation
- formal specification
- specification language
- active databases
- distributed memory machines
- parallel execution
- distributed memory
- parallel computing
- shared memory
- object oriented
- high level
- data mining
- real time