Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.
Wolfgang SchreinerPublished in: PaCT (2001)
Keyphrases
- computer algebra
- parallel execution
- parallel computing
- data flow
- distributed environment
- theorem prover
- parallel processing
- multi agent
- cooperative
- commodity hardware
- distributed computing
- computer algebra systems
- neural network
- lightweight
- peer to peer
- distributed systems
- distributed data
- assembly line
- automated theorem provers
- design methodology
- computational power
- sensor networks
- resource manager
- management system
- training data