References

[1]

G. Akerholt, K. Hammond, S. Peyton-Jones, and P. Trinder. Processing transactions on GRIP, a parallel graph reducer. In A. Bode, M. Reeve, and G. Wolf, editors, PARLE'93, Parallel Architectures and Languages Europe, number 694 in Lecture Notes in Computer Science, Munich, June 1993. Springer.

[2]

Arvind and R. Nikhil. I-structures: Data structures for parallel computing. ACM Transactions on Programming Languages and Systems, 11(4), 1989.

[3]

O. Ballereau, F. Loulergue, and G. Hains. High-level BSP Programming: BSML and BSlambda. In G. Michaelson and Ph. Trinder, editors, Trends in Functional Programming, pages 29--38. Intellect Books, 2000.

[4]

M. Bamha, F. Bentayeb, and G. Hains. An efficient scalable parallel view maintenance algorithm for shared nothing multi-processor machines. In T. Bench-Capon, G. Soda, and A. Min Tjoa, editors, 10th International Conference on Database and Expert Systems Applications, DEXA'99, number 1677 in LNCS, pages 616--625. Springer-Verlag, August 30 -- September 3 1999.

[5]

R. H. Bisseling and W. F. McColl. Scientific computing on bulk synchronous parallel architectures. In B. Pehrson and I. Simon, editors, Technology and Foundations: Information Processing '94, Vol. I, volume 51 of IFIP Transactions A, pages 509--514. Elsevier Science Publishers, Amsterdam, 1994.

[6]

A. Braud and C. Vrain. A parallel genetic algorithm based on the BSP model. In Evolutionary Computation and Parallel Processing GECCO & AAAI Workshop, Orlando (Florida), USA, 1999.

[7]

M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989.

[8]

D. C. Dracopoulos and S. Kent. Speeding up genetic programming: A parallel BSP implementation. In First Annual Conference on Genetic Programming. MIT Press, July 1996.

[9]

F. Dehne (Guest Editor). Special issue on coarse-grained parallel algorithms. Algorithmica, 14:173--421, 1999.

[10]

C. Foisy and E. Chailloux. Caml Flight: a portable SPMD extension of ML for distributed memory multiprocessors. In A. W. Böhm and J. T. Feo, editors, Workshop on High Performance Functionnal Computing, Denver, Colorado, April 1995. Lawrence Livermore National Laboratory, USA.

[11]

F. Gava and F. Loulergue. Synthèse de types pour Bulk Synchronous Parallel ML. In Journées Francophones des Langages Applicatifs (JFLA 2003), january 2003.

[12]

Frédéric Gava. A Polymorphic Type System for BSML. Technical Report 2002-12, University of Paris Val-de-Marne, LACL, 2002.

[13]

L. Granvilliers, G. Hains, Q. Miller, and N. Romero. A system for the high-level parallelization and cooperation of constraint solvers. In Y. Pan, S. G. Akl, and K. Li, editors, Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), pages 596--601, Las Vegas, USA, 1998. IASTED/ACTA Press.

[14]

G. Hains and C. Foisy. The Data-Parallel Categorical Abstract Machine. In A. Bode, M. Reeve, and G. Wolf, editors, PARLE'93, number 694 in LNCS, pages 56--67. Springer, 1993.

[15]

G. Hains and F. Loulergue. Functional Bulk Synchronous Parallel Programming using the BSMLlib Library. In S. Gorlatch, editor, Second International Workshop on Constructive Methods for Parallel Programming (CMPP'2000), Research Report MIP-2000-07, June 2000.

[16]

G. Hains, F. Loulergue, and J. Mullins. Concrete data structures and functional parallel programming. Theoretical Computer Science, 258(1-2):233--267, 2001.

[17]

J.M.D. Hill, W.F. McColl, and al. BSPlib: The BSP Programming Library. Parallel Computing, 24:1947--1980, 1998.

[18]

C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

[19]

Guy Horvitz and Rob H. Bisseling. Designing a BSP version of ScaLAPACK. In Bruce Hendrickson et al., editor, Proceedings Ninth SIAM Conference on Parallel Processing for Scientific Computing. SIAM, Philadelphia, PA, 1999.

[20]

G. Jones. Programming in Occam. Prentice-Hall, 1987.

[21]

Xavier Leroy. The Objective Caml System 3.04, 2001. Web pages at http://www.caml.org.

[22]

F. Loulergue. BSlambda_p: Functional BSP Programs on Enumerated Vectors. In J. Kazuki, editor, International Symposium on High Performance Computing, number 1940 in Lecture Notes in Computer Science, pages 355--363. Springer, October 2000.

[23]

F. Loulergue. Distributed Evaluation of Functional BSP Programs. Parallel Processing Letters, (4):423--437, 2001.

[24]

F. Loulergue. Parallel Composition and Bulk Synchronous Parallel Functional Programming. In S. Gilmore, editor, Trends in Functional Programming, Volume 2, pages 77--88. Intellect Books, 2001.

[25]

F. Loulergue, G. Hains, and C. Foisy. A Calculus of Functional BSP Programs. Science of Computer Programming, 37(1-3):253--277, 2000.

[26]

W. F. McColl. Universal computing. In L. Bouge and al., editors, Proc. Euro-Par '96, volume 1123 of LNCS, pages 25--36. Springer-Verlag, 1996.

[27]

W.F. McColl. Scalable parallel programming. Course given in the Oxford IGDP (Integrated Graduate Development Programme in Software Engineering), 1996.

[28]

A. Merlin, G. Hains, and F. Loulergue. A SPMD Environment Machine for Functional BSP Programs. In Proceedings of the Third Scottish Functional Programming Workshop, august 2001.

[29]

P. Panangaden and J. Reppy. The essence of concurrent ML. In F. Nielson, editor, ML with Concurrency, Monographs in Computer Science. Springer, 1996.

[30]

S. Pelagatti. Structured Development of Parallel Programs. Taylor & Francis, 1998.

[31]

R. O. Rogers and D. B. Skillicorn. Using the BSP cost model to optimise parallel neural network training. Future Generation Computer Systems, 14(5-6):409--424, 1998.

[32]

D. B. Skillicorn. Multiprogramming BSP programs. Department of Computing and Information Science, Queen's University, Kingston, Canada, October 1996.

[33]

D. B. Skillicorn, J. M. D. Hill, and W. F. McColl. Questions and Answers about BSP. Scientific Programming, 6(3), 1997.

[34]

M. Snir and W. Gropp. MPI the Complete Reference. MIT Press, 1998.

[35]

Leslie G Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8):103, August 1990.