Grid Computing Simulation and Verification Based on pi Calculus.
Tao HuShaofan ChenWeibo LinPublished in: CONFENIS (2006)
Keyphrases
- grid computing
- distributed computing
- load balancing
- grid systems
- peer to peer
- computing resources
- computing environments
- resource sharing
- resource management
- data grids
- service oriented computing
- grid enabled
- data intensive
- high performance computing
- heterogeneous computing
- scheduling strategy
- resource discovery
- model checking
- resource utilization
- grid environment
- computing paradigm
- computational grids
- transparent access
- distributed environment
- distributed systems
- grid technology
- data mining
- multimedia
- databases