I. La-définition-du-contrat, il faut définir les objets composant l'application à l'aide d 'une méthodologie orientée objet (e .g. OMT ou l'UML [OMG 95]). Cette modélisation est ensuite traduite sous la forme de contrats IDL

E. Sqalli, J. Dillon, and . Guyard, Experimentation and Extension of a Specification Language of the Communications for Distributed Computation, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073235

D. , M. Nevada, U. , E. Dillon, and J. Guyard, Las Vegas Using MeDLey to Resolve the Vlasov Equation Amsterdam, The Netherlands, proceedings of PDPTA'99 (International Conference on Parallel and Distributed Pro cessing Techniques and Applications) proceedings of HPCN (international Conference on High Performance Computing and Networking), 1999.

E. Sqalli, E. Fleury, J. Dillon, and . Guyard, Message-passing specification in a CORBA environment, proceedings of Euro-Par'99 (European conference on parallel computing), 1999.

E. Sqalli, E. Fleury, J. Dillon, and . Guyard, Spécification des communications pOUl' le calwl M-SPMD dans un environnement CORBA, proceedings of RenPar 'll (Rencontres Francophones du Parallélisme), 1999.

]. T. Es-sqalli-ooa, E. Es-sqalli, E. Fleury, J. Dillon, and . Guyard, M eDLey: From Point-to- Point to Co llective Communications, proceedings of HPCASIA '2000 (IEEE International Conference on High Performance Computing in Asia), 2000.

]. T. Es-sqalli-oob, E. Es-sqalli, J. Fleury, and . Guyard, A BToadcast M ess age Passing Protocol Based on CORBA Event S ervice, proceedings of PDPTA'2000 (International Conference on P arallel and Distribu ted Processing Techniques and Applications), 2000.

]. T. Es-sqalli-ooc, E. Es-sqalli, J. Fleury, and . Guyard, MPC: a n ew M essage Passing Library in COTba, proceedings of MSA'2000 (IEEE International Workshop on Metacomputing Systems and Applications), 2000.

E. Sqalli, J. Fleury, S. Guyard, and . Bhiri, Evaluating the Performance of CORBA for D7:stTibuted and Grid Computing Applications. To appear in proceedings of CC-GRID, IEEE/ ACM International Symposium on Cluster Computing and the Grid, 2001.

E. Sonnendrucker, A. Ghizzo, E. Dillon, T. Es-sqalli, P. Bertrand et al., Coulaud Parallelization of Semi-Lagrangian Vlasov Codes, proceedings of 16th International Conference on the Numerical Simulation of Plasmas, 1998.

T. E. Anderson, D. E. Culler, and D. A. , A case for now (networks of workstations), IEEE Mi cro, vol.15, issue.1, 1993.

J. Antoine and P. Chatonnay, Corba : un environnemt d'exécution pour now 7 RENPAR10, pp.149-152, 1998.

P. Beaugendre, T. Priol, and G. Alléon, A client/server approach for hp c applications within a networking environment, Proceeding of HP CN '98, pp.518-525, 1998.

D. Boden, N. Cohen, R. Felderman, A. Kulawik, C. Seitz et al., Myrinet a gigabit p er-second local-area network

. Brugeas, Utilisation de mpi en décomposition de domaine, IDRIS, 1996.

C. Cap and V. Strumpen, Efficient parallel computing in distributed workstation environments, Parallel Computing, vol.19, issue.11, 1993.
DOI : 10.1016/0167-8191(93)90028-J

M. Chandy and C. Kesselman, Cc++ : A declarative concurrent obj ect oriented programming notation, 1993.

R. David, H. A. Cheriton, and . Goosen, P aradigm : A highly scalable sharedmemory multicomputer architecture, IEEE Computer, vol.24, issue.2, 1991.

O. Coulaud and E. Dillon, Para + +: C++ Bindings for Message Passing Libraries, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00071200

D. Culler, R. Karp, D. Petterson, A. Sahay, H. E. et al., Logp: Towards a realistic model of parallel computation, Proc . 4th A CM Symposium on Princip les and Pratice of Parallel Programming, p.112, 1993.

E. Dillon and C. , Medley : User 's guid, 1997.

E. Bibliographie-[-dillon-97bj, 9. J. Dillondongarra, R. Dongarra, D. Pozo, 9. J. Walkerdongarra et al., An objet-oriented linear algebra library for sealable systems Rogue Wave Software Publisher Sparse matrix libraries in c++ for high performo.nce architectures Experimentation and extension of a specification language of the communications for distributed computatio n Using medley for the griddecomposition methods, Rogue Wave Software PublisherEs-sqalli 99aJ T. Es-sqalli Proceedings of PDPTA '99 (International Conference on Parallel and Distributed Pmcessing Techniques and Applications ) Las Vegas, pp.216-233, 1993.

T. Es-sqalli-99bj, E. Es-sqalli, J. Dillon, and . Guyard, Using medley to resolve the vlasov equation, Proceedings of HPCN (international Conference on High Performance Computing and Networking, 1999.

T. Es-sqalli-99cj, E. Es-sqalli, E. Fleury, J. Dillon, E. Guyard et al., Message-passing specification in a corba environment Spécification des communications pour le calcul m-spmd dans un environnement corba, Proceedings of Euro-Par'99 Proceedings of RenPar'll (Rencontres Prancophones du Parallélisme), 1999.

T. Es-sqalli-ooaj, E. Es-sqalli, E. Fleury, J. Dillon, and . Guyard, MeDLey: from point-to-point to collective communications, Proceedings Fourth International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, 2000.
DOI : 10.1109/HPC.2000.846526

T. Es-sqalli-oobj, E. Es-sqalli, J. Fleury, E. Guyard, J. Fleury et al., A broadcast message passing protocol based on corba event service Mpc: a new message passing library in corba Computer architecture, Proceedings of PDPTA '2000 (International Conference on Parallel and Distributed Processing Techniques and Applications) Proceedings of MSA '2000 (IEEE International Workshop on Metacomputing Systems and Applications)Forum 95J MPI Forum. Message Passing Interface. NSF and ARPA, 1995.

D. Gamboa, 9. C. Santos, . Gamboa-dos, and . Santos, Apport de l'approche gestion de réseau pour le placement de tâches dans le modèle de programmation par échange de messages, 1998.

D. Gannon, F. Bodin, P. Beckman, X. Shelby, and S. Narayana, Distributed pc++: Basic ideas for an object parallellanguage, Journal of Scientific Progmmming, issue.3, pp.27-49, 1993.

M. Gengler, S. Ubéda, F. A. Desprez, and . Ghizzo, Initiation au parallélisme Application à la modélisation des interactions laser-plasmas et de l'équation gyrocinétique de Vlasov 1993. P. G Gibbons. A more practical pram mode!, Proc. of the lst ACM Symposium on ParaUeZ Algorithms and Architectures, pp.168-158, 1989.

. Globus, The globus Project A. Gokhale. Evaluating corba latency and scalability over high-speed atm networks, IEEE l7th International Conference on Distributed Systems (ICDCS97), 1995.

W. Gropp, E. Lusk, A. W. Skjellum, E. Gropp, R. Lusk et al., Using MPI: Portable Programmaing with the Message-Passing Interface Mass-Ins-Tech Using MPi-2 Advanced Features of the Message-Passing Interface. Scientific and Engineering Computation Series, Distributed System Research Group. CORBA Comparaison Project Project, 1994.

. Guide, Architectures parallèles Informatiques Magazine, pp.96-99, 1996.

M. Henning, Binding, Migration ans Scalibility in CORBA

H. Fit, High Performance Fortran Integrated Tools. http:j jwww.ens- Iyon.fr j desprezjFILESjRESEARCHjSOFT jHPFIT j, 1999.

. Jain, FDDI Handbook: High-Speed Networking with Fiber and Other Media, 1994.

L. V. Kale and S. Krishnann, Charm++: A portable concurrent object oriented system based on c++, Proceedings of OOPSLA-93, pp.91-108, 1993.

H. Charles and !. Koelbe, The High performance fortran handbook, 1994.

J. A. Kohl and G. A. Geist, Xpvm 1.0 users's guide, 1996.

F. Kuhns and D. Levine, The design and perform ance of rio -a realtime i/ o subsystem for orb endsystems, Proceedings of th e 5th IEEE Real-Time Technology and Applications S ymposium (RTAS99), 1999.

L. Lamport, The op erators of TLA+ Technical Report 1997-006 a, Digital Equipment Corporation, 1997.

L. Lamport and L. C. Paulson, Should your specification language be typed, ACM Transactions on Programming Languages and Systems, vol.21, issue.3, 1997.
DOI : 10.1145/319301.319317

. Lamport, The module structure of TLA+, 1998.

A. Lastovetsky, Th e mpC Parallel Programm' ing Environm ent, 2000.

. Lefevre, Con ception et Mise en OE-uvre d 'un Environn em ent de Programmation Parallèle fond é s'ur un systèm e de M émoire Distribu ée Virtu ellem ent Partag ée, 1997.

D. Levine and T. Harrison, The design and performance of a real-time corba obj ect event service, Proceedings of OOPSLA '91, 1997.

D. Levine and S. Flores-gaitan-anuary, Measuring OS support for real-time CORBA ORBs, Engineering Solutions for the Next Millennium 1999 IEEE Canadian Conference on Electrical and Computer Engineering (Cat No 99TH8411) CCECE-99, 1999.
DOI : 10.1109/WORDS.1999.806555

. Li, Shared virtual memory on looselycoupled multiprocessors, 1986.

P. H. Li, J. H. Mills, and . Reif, MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED COMPUTATION???, Proc. 28th Annual Hawaii Int ernationnal Conferen ce on System Scien ces, 1995.
DOI : 10.1007/BF01185208

M. Litzkow, M. Livnym, and M. Mutka, Condor-a hunter of idle workstations, [1988] Proceedings. The 8th International Conference on Distributed, pp.104-111, 1988.
DOI : 10.1109/DCS.1988.12507

. Mentat, The mentat 2.7 programming language reference manual University of Virginia The Mentat Research Group, NQE . NQE 3.2 Us er's Guide. Cray Research , J anuary 1997. [OMG 95, 1994.

O. Th-e-common, R. Object, and . Broker, Architec ture and Specification , revision 2.2, 1998.

O. Corba, Common Object S ervices Specification, 1998.

R. and D. Quinlan, A ++/p ++ array classes for architectuTe independent .finite difference computations, 1994.

F. Plasil, Charles university response t o the b enchmark l'fi. Technical R epor t OMG do cument b ench, Dep. of SW Engineering, 1998.

F. Plasil, P. Tuma, and A. Buble, Corba benchmarking, Dep. of SW Engineering, 1998.

I. Plasil and F. , An architectural view of distributed objects and components in corba, j ava l'mi and comj dcom, SoftwaTe Concepts and Tools, 1998.

T. Priol and C. René, Cobra: A CORBA-compliant programming environment for high-performance computing, Proceeding of Europar '98, pp.1114-1122, 1998.
DOI : 10.1007/BFb0057973

M. Prycker, ATM: Mod e de transfert asynchrone. Collection Systèm es D' lstribués, 1995.

. Ptools, Th e Parallel Tools Consortium, 1999.

P. Ym-'ali, C. O-'ryan, V. , A. Gokhale, and N. Wang, Applying optimization patterns to design real-time orbs, Proceedings of th e 5th USENIX Conference on Object-Ori ented Technologies and Systems, 1999.

R. Quinton, An introduction to socket programming, 1997.

P. Scott, L. Mario, and C. Andrew, Hight p erformance messaging on workstations : Illinois fast messages (fm) for myrinet, Proceedingss of th er 1995. K. Shanely. History and Overvi ew of the TPG. Tansaction Processing Performance Council, 1995.

D. B. Skillicorn, J. , M. D. , J. M. Hill, and W. Mccoll, Questions and Answers about BSP, Scientific Programming, vol.6, issue.3, 1996.
DOI : 10.1155/1997/532130

M. Soley and C. M. Stone, Obj ect management architec ture guide, revision 3.0, 1995.

E. Sonnendrucker, A. Ghizzo, E. Dillon, T. Es-sqalli, P. Bertrand et al., Parallelization of semi-lagrangian vlasov co des, Proceedings of 16th Conferen ce on th e Nllm erical Simulation of Plasmas, 1998.

P. Team, PVM 3 'lls ers 's guide and TefeTence man'Lwl. ORNL j TM- 12187, 1994.

E. V. Thorsten, D. E. Cuuer, S. C. Goldstein, and K. E. Schauser, Active messages : a mecanism fOl' integrated communication and computation, 1992.