Distributed Verification: Exploring the Power of Raw Computing Power.
Lubos BrimPublished in: FMICS/PDMC (2006)
Keyphrases
- computing power
- computational power
- processing power
- storage capacity
- embedded systems
- real time
- model checking
- distributed systems
- high level
- power consumption
- raw data
- peer to peer
- distributed environment
- general purpose
- distributed data
- multi agent
- communication cost
- parallel processing
- signature verification
- functional verification
- computer networks
- mobile agents
- lightweight
- source code
- open source
- computational complexity
- cooperative
- artificial intelligence