Large-Scale Parallel Computing on Grids

Electronic Notes in Theoretical Computer Science

Volumn 220, Issue 2, 2008, Pages 3-17

  Bal, Henri ^a   Verstoep, Kees ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

distributed supercomputing; grids; Model checking; optical networks; retrograde analysis; search algorithms

Indexed keywords

APPLICATIONS; ARTS COMPUTING; COMPUTER NETWORKS; COMPUTER SYSTEMS; COMPUTERS; FIBER OPTIC NETWORKS; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; LEARNING ALGORITHMS; MODEL CHECKING; OPTICAL DATA PROCESSING; OPTICAL MATERIALS; PARALLEL PROCESSING SYSTEMS;

DISTRIBUTED SUPERCOMPUTING; GRIDS; OPTICAL NETWORKS; RETROGRADE ANALYSIS; SEARCH ALGORITHMS;

WIDE AREA NETWORKS;

EID: 56849089800     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.11.010     Document Type: Article

References (22)

1. Bal H.E., et al. The Distributed ASCI Supercomputer Project. ACM Special Interest Group Operating Systems Review 34 (2000) 76-96
2. Barnat J., Brim L., and Černá I. Cluster-Based LTL Model Checking of Large Systems. Proc. of Formal Methods for Components and Objects. LNCS 4111 (2006) 259-279
3. Barnat J., Brim L., Černá I., Moravec P., Ročkai P., and Šimeček P. DiVinE - A Tool for Distributed Verification. Computer Aided Verification. LNCS 4144 (2006) 278-281
4. Barnat, J., V. Forejt, M. Leucker and M. Weber, DivSPIN - a SPIN compatible distributed model checker, in: M. Leucker and J. van de Pol, editors, 4th Int. Workshop on Parallel and Distributed Methods in verifiCation (PDMC'05), Lisbon, Portugal, 2005, pp. 95-100
5. Cappello, F. and H. Bal, Towards an International "Computer Science Grid" (keynote paper), in: 7th IEEE Int. Symp. on Cluster Computing and the Grid (CCGRID'07), Rio de Janeiro, Brazil, 2007, pp. 230-237
6. Ciardo G., Gluckman J., and Nicol D. Distributed state-space generation of discrete-state stochastic models. INFORMS Journal on Comp. 10 (1998) 82-93
7. DeFanti T., de Laat C., Mambretti J., Neggers K., and Arnaud B.S. TransLight: A Global-Scale LambdaGrid for E-Science. Commun. ACM 46 (2003) 34-41
8. Graham, R.L., T.S. Woodall and J.M. Squyres, Open MPI: A flexible high performance MPI, in: Proc. 6th Ann. Int. Conf. on Parallel Processing and Applied Mathematics, Poznan, Poland, 2005, pp. 228-239
9. Hammer M., and Weber M. "To Store or Not To Store" reloaded: Reclaiming memory on demand. In: Brim L., Haverkort B., Leucker M., and van de Pol J. (Eds). Formal Methods: Applications and Technology. Lecture Notes in Computer Science 4346 (2006) 51-66
10. Holzmann G. The Model Checker Spin. IEEE Trans. on Software Engineering 23 (1997) 279-295
11. Kielmann, T., R.F.H. Hofman, H.E. Bal, A. Plaat and R.A.F. Bhoedjang, MagPIe: MPI's Collective Communication Operations for Clustered Wide Area Systems, in: Seventh ACM SIGPLAN Symp. on Princ. and Pract. of Parallel Programming (PPoPP'99), Atlanta, GA, 1999, pp. 131-140
12. Korf R.E. Depth-first Iterative Deepening: an Optimal Admissible Tree Search. Artif. Intell. 27 (1985) 97-109
13. Mohamed H.H., and Epema D.H. The Design and Implementation of the KOALA Co-Allocating Grid Scheduler. Advances in Grid Computing - European Grid Conf. 2005. LNCS 3470 (2005) 640-650
14. Pelánek R. BEEM: Benchmarks for Explicit Model Checkers. Proc. of SPIN Workshop. LNCS 4595 (2007) 263-267
15. Plaat, A., H.E. Bal and R.F. Hofman, Sensitivity of Parallel Applications to Large Differences in Bandwidth and Latency in Two-Layer Interconnects, in: Proc. of High Performance Computer Architecture (HPCA-5), Orlando, FL, 1999, pp. 244-253
16. Romein J.W., and Bal H.E. Solving the Game of Awari using Parallel Retrograde Analysis. IEEE Computer 38 (2003) 26-33
17. Romein J.W., Bal H.E., Schaeffer J., and Plaat A. A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search. IEEE Trans. on Parallel and Distributed Systems 13 (2002) 447-459
18. Romein, J.W., A. Plaat, H.E. Bal and J. Schaeffer, Transposition Driven Work Scheduling in Distributed Search, in: Proc. 16th AAAI National Conference, Orlando, FL, 1999, pp. 725-731
19. StarPlane project. http://www.starplane.org
20. Stern U., and Dill D.L. Parallelizing the Murφ{symbol} verifier. In: Grumberg O. (Ed). 9th Int. Conf. Computer-Aided Verification. LNCS 1254 (1997) 256-267
21. van Nieuwpoort R.V., Maassen J., Wrzesinska G., Hofman R., Jacobs C., Kielmann T., and Bal H.E. Ibis: a Flexible and Efficient Java-based Grid Programming Environment. Concurrency & Computation: Practice & Experience 17 (2005) 1079-1107
22. Verstoep, K., J. Maassen, H.E. Bal and J.W. Romein, Experiences with Fine-grained Distributed Supercomputing on a 10G Testbed, in: Proc. 8th IEEE Int. Symp. on Cluster Computing and the Grid (CCGRID'08), Lyon, France, 2008, pp. 376-383