Complete sets of transformations for general E-unification
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
A calculus for overloaded functions with subtyping
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
An updated set of basic linear algebra subprograms (BLAS)
ACM Transactions on Mathematical Software (TOMS)
Overview of GridRPC: A Remote Procedure Call API for Grid Computing
GRID '02 Proceedings of the Third International Workshop on Grid Computing
Request Sequencing: Enabling Workflow for Efficient Problem Solving in GridSolve
GCC '08 Proceedings of the 2008 Seventh International Conference on Grid and Cooperative Computing
Advanced service trading for scientific computing over the grid
The Journal of Supercomputing
Enabling workflows in GridSolve: request sequencing and service trading
The Journal of Supercomputing
Hi-index | 0.00 |
One of the great benefits of computational grids is to provide access to a wide range of scientific software and a variety of different computational resources. It is then possible to choose from this large variety of available resources the one that solves a given problem, and even to combine these resources in order to obtain the best solution. Grid service trading (searching for the best combination of software and execution platform according to the user requirements) is thus a crucial issue. Trading relies on the description of available services and computers, on the current state of the grid, and on the user requirements. Given the large amount of services that may be deployed over a Grid, this description cannot be reduced to a simple service name. In this paper, a sophisticated service specification approach similar to algebraic data types is combined with a grid middleware. This leads to a transparent solution for users: they give a mathematical expression to be solved, and the appropriate grid services will be transparently located, composed and executed on their behalf.