A formal framework for defining grid systems

2nd IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGrid 2002

Volumn , Issue , 2002, Pages 202-211

  Nemeth, Zsolt Németh ^a   Sunderam, Vaidy ^b  

^a INSTITUTE FOR COMPUTER SCIENCE AND CONTROL   (Hungary)

^b EMORY UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE;

COMPARATIVE ANALYSIS; DISTRIBUTED SYSTEMS; FORMAL APPROACH; FORMAL FRAMEWORK; GRID SYSTEMS; WORKING MODELS;

CLUSTER COMPUTING;

EID: 84887861052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCGRID.2002.1017128     Document Type: Conference Paper

References (18)

1. E.Borger: High Lev el System Design and Analysis using Abstract State Machines.In: D.Hutter et al.eds., Current Trends in Applied Formal Methods (FMT rends 98), LNCS 1641, Springer, 1999, pp.1-43
2. E.Borger and U.Glasser: Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras.In Y.Gurevich and E.Borger, "Evolving Algebras Mini-Course", T echnical Report BRICS-NS-95-4, University of Aarhus, July 1995.http://www.eecs.umich.edu/gasm/papers/pvm.html
3. S.J.Chapin, D.Karmatos, J.Karpovich, A.Grimshaw: The Legion Resource Management System.Proc.of the 5th Workshop on Job Scheduling Strategies for P arallel Processing (JSSPP '99), in conjunction witthhe International Parallel and Distributed Processing Symposium (IPDPS '99), April 1999
4. K.Czajkowski, I.Foster, N.Karonis, C.Kesselman, S.Martin, W.Smith, S.Tuec ke: A Resource Management Architecture for Metacomputing Systems.Proc.IPPS/SPDP '98 Workshop on Job Scheduling Strategies for P arallel Processing, 1998
5. K.Czajkowski, S.Fitzgerald, I.Foster, C.Kesselman: Grid Information Services for Distributed Resource Sharing.Proc.10th IEEE International Symposium on High-Performance Distributed Computing (HPDC-10), IEEE Press, 2001
6. I.Foster, C.Kesselman, G.Tsudik, S.Tuec ke:A Security Architecture for Computational Grids.In Proc.of the 5th ACM Conference on Computer and Communication Security, November 1998
7. I.Foster, C.Kesselman, S.Tuec ke: The Anatomy of the Grid.International Journal of Supercomputer Applications, 15(3), 2001
8. I.Foster, C.Kesselman: The Grid: Blueprint for a New Computing Infrastructure.Morgan Kaufmann Publishers, 1999
9. I.Foster, C.Kesselman: The Globus Toolkit.In [8] pp.259-278
10. A.Geist, A.Beguelin, J.Dongarra, W.Jiang, B.Manchek, V.Sunderam: PVM: Parallel Virtual Machine-A User's Guide and Tutorial for Network Parallel Computing.MIT Press, Cambridge, MA, 1994
11. A.S.Grimshaw, W.A.Wulf, J.C.French, A.C.Weaver, P.F.Reynolds: Legion: The Next Logical Step T ow ard a Nationwide Virtual Computer.Technical report No.CS-94-21.June, 1994
12. A.S.Grimshaw, W.A.Wulf: Legion-A View From 50,000 Feet.Proceedings of the Fifth IEEE International Symposium on High P erformance Distributed Computing, IEEE Computer Society Press, Los Alamitos, California, August 1996
13. W.Gropp and E.Lusk and N.Doss and A.Skjellum: A high-performance, portable implementation of the MPI message passing interface standard.P arallel Computing, Vol.22 No.6, 1996, pp.789-828
14. Y.Gurevich: Evolving Algebras 1993: Lipari Guide.In: Specification and V aldationMethods, Ed.E.Borger, Oxford University Press, 1995.pp 9-36
15. Y.Gurevich: Evolving Algebras: An Attempt to Discover Semantics.In: Current T rends in Theoretical Computer Science.Eds.G.Rozenberg, A.Salomaa, World Scientific, 1993.pp.266-292
16. Y.Gurevich: May 1997 Draft of the ASM Guide.http://www.eecs.umich.edu/ gasm/papers/guide97.html
17. M.Humprey, F.Knabbe, A.Ferrari, A.Grimshaw: Accountabilit y and Control of Process Creation in the Legion Metasystem.Proc.of the 2000 Netw ork and Distributed System Security Symposium NDSS2000, San Diego, California, February 2000
18. G.Lindahl, A.Grimshaw, A.Ferrari, K.Holcomb: Metacomputing-What's in it for me.White paper.http://legion.virginia.edu/papers.html