IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The grid: blueprint for a new computing infrastructure
The grid: blueprint for a new computing infrastructure
Workload Evolution on the Cornell Theory Center IBM SP2
IPPS '96 Proceedings of the Workshop on Job Scheduling Strategies for Parallel Processing
Predicting Application Run Times Using Historical Information
IPPS/SPDP '98 Proceedings of the Workshop on Job Scheduling Strategies for Parallel Processing
A Hyperheuristic Approach to Scheduling a Sales Summit
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Pace--A Toolset for the Performance Prediction of Parallel and Distributed Systems
International Journal of High Performance Computing Applications
GLARE: A Grid Activity Registration, Deployment and Provisioning Framework
SC '05 Proceedings of the 2005 ACM/IEEE conference on Supercomputing
Performance analysis of allocation policies for interGrid resource provisioning
Information and Software Technology
Time and cost trade-off management for scheduling parallel applications on Utility Grids
Future Generation Computer Systems
Future Generation Computer Systems
Computers & Mathematics with Applications
Ant algorithm for grid scheduling problem
LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing
End-to-end quality of service for high-end applications
Computer Communications
DRAGON: a framework for service provisioning in heterogeneous grid networks
IEEE Communications Magazine
Formal QoS Policy Based Grid Resource Provisioning Framework
Journal of Grid Computing
Hi-index | 0.00 |
As Grid computing has emerged as a technology for providing the computational resources to industries and scientific projects, new requirements arise. Nowadays, resource management has become an important research area in the Grid computing environment. To provision the appropriate resource to a corresponding application is a tedious task. So, it is important to check and verify the provisioning of the resource before the application's execution. In this paper, a resource provisioning framework has been presented that offers a resource provisioning policy, which caters to provisioned resource allocation and resource scheduling. The framework has been formally specified and verified. Formal specification and verification of the framework helps in predicting possible errors before the scheduling process itself, and thus results in efficient resource provisioning and scheduling of Grid resources.