References

[1]

M. Arapinis, F. Loulergue, F. Gava, and F. Dabrowski. Semantics of Minimally Synchronous Parallel ML. In W. Dosch and R. Y. Lee, editors, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), pages 260--267. ACIS, 2003.

[2]

M. Bamha and G. Hains. Frequency-adaptive join for shared nothing machines. Parallel and Distributed Computing Practices, 2(3):333--345, 1999.

[3]

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.

[4]

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.

[5]

E. Chailloux, P. Manoury, and B. Pagano. Développement d'applications avec Objective Caml. O'Reilly France, 2000. freely available in english at http://caml.inria.fr/oreilly-book.

[6]

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

[7]

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.

[8]

F. Gava. Formal Proofs of Functional BSP Programs. Parallel Processing Letters, 13(3):365--376, 2003.

[9]

F. Gava and F. Loulergue. A Polymorphic Type System for Bulk Synchronous Parallel ML. In V. Malyshkin, editor, Seventh International Conference on Parallel Computing Technologies (PaCT 2003), number 2763 in LNCS, pages 215--229. Springer Verlag, 2003.

[10]

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.

[11]

J. M. D. Hill, P. I. Crumpton, and D. A. Burgess. Theory, practice, and a tool for BSP performance prediction. In L. Bougé, P. Fraigniaud, A. Mignotte, and Y. Robert, editors, Euro-Par'96. Parallel Processing, number 1123--1124 in Lecture Notes in Computer Science, Lyon, August 1996. LIP-ENSL, Springer.

[12]

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

[13]

Jonathan M. D. Hill and David Skillicorn. Lessons learned from implementing BSP. Journal of Future Generation Computer Systems, April 1998.

[14]

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.

[15]

S.A. Jarvis, J.M.D Hill, C.J. Siniolakis, and V.P. Vasilev. Portable and architecture independent parallel performance tuning using BSP. Parallel Computing, 28:1587--1609, 2002.

[16]

Y. Kee and S. Ha. An Efficient Implementation of the BSP Programming Library for VIA. Parallel Processing Letters, 12(1):65--77, 2002.

[17]

F. Loulergue. Implementation of a Functional Bulk Synchronous Parallel Programming Library. In 14th IASTED International Conference on Parallel and Distributed Computing Systems, pages 452--457. ACTA Press, 2002.

[18]

F. Loulergue. Parallel Juxtaposition for Bulk Synchronous Parallel ML. In H. Kosch, L. Boszorményi, and H. Hellwagner, editors, Euro-Par 2003, number 2790 in LNCS, pages 781--788. Springer Verlag, 2003.

[19]

F. Loulergue. Parallel Superposition for Bulk Synchronous Parallel ML. In Peter M. A. Sloot and al., editors, International Conference on Computational Science (ICCS 2003), Part III, number 2659 in LNCS, pages 223--232. Springer Verlag, june 2003.

[20]

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

[21]

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.

[22]

D. Rémy. Using, Understanding, and Unravellling the OCaml Language. In G. Barthe, P. Dyjber, L. Pinto, and J. Saraiva, editors, Applied Semantics, number 2395 in LNCS, pages 413--536. Springer, 2002.

[23]

J. L. Roda, C. Rodríguez, D. G. Morales, and F. Almeida. Predicting the execution time of message passing models. Concurrency: Practice and Experience, 11(9):461--477, 1999.

[24]

C. Rodriguez, J.L. Roda, F. Sande, D.G. Morales, and F. Almeida. A new parallel model for the analysis of asynchronous algorithms. Parallel Computing, 26:753--767, 2000.

[25]

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.

[26]

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

[27]

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