@inproceedings{ba00:np,
inhal = {no},
author = {Ba, Tafsir},
title = {{GENIE}~: une {I}nterfac{E} homme/machine {GEN}\'erique pour le diagnostic coop\'eratif},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {47--53},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{bdjk00a:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Darlot, Christophe and Julliand, Jacques and Kouchnarenko, Olga},
title = {Reformulate Dynamic Properties during {B} Refinement and Forget Variants and Loop Invariants},
booktitle = {Conference ZB 2000},
address = {York, United Kingdom},
series = {LNCS},
volume = 1878,
pages = {230--249},
publisher = {Springer},
month = aug,
year = 2000,

}

@inproceedings{bjk00:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Kouchnarenko, Olga},
title = {Ready-simulation is not Ready to Express a Modular Refinement Relation},
booktitle = {Fondamental Aspects of Software Engineering 2000, FASE'2000},
series = {LNCS},
volume = 1783,
pages = {266--283},
address = {Berlin, Germany},
month = mar,
year = 2000,

}

@inproceedings{blp00:oip,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien},
title = {Constraint Logic Programming with Sets for animation {B} formal specifications},
booktitle = {Proc. of the 1st Int. Conf. on Computational Logic, Workshop on Constraint Logic Programming and Software Engineering, (C)LPSE2000},
address = {Imperial College, London, United Kingdom},
month = jul,
year = 2000,

}

@inproceedings{blpp00:np,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien and Py, L.},
title = {Un syst\`eme de r\'esolution de contraintes ensemblistes pour l'\'evaluation de sp\'ecifications {B}},
booktitle = {9\`emes Journ\'ees Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2000},
pages = {125--144},
address = {Marseille, France},
month = jun,
year = 2000,

}

@inproceedings{bourgeois00:np,
inhal = {no},
author = {Bourgeois, Julien},
title = {Utilisation du benchmarking dans la pr\'ediction de performances d'applications r\'eparties h\'et\'erog\`enes},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {79--84},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{bs00a:ip,
inhal = {no},
author = {Bourgeois, Julien and Spies, Fran\c{c}ois},
title = {Performance prediction of an {NAS} Benchmark program with {ChronosMix} environment},
booktitle = {EuroPar'2000},
pages = {208--216},
address = {Munich, Allemagne},
month = sep,
year = 2000,

}

@inproceedings{cg00:bl,
inhal = {no},
author = {Canalda, Philippe and Godart, C.},
title = {Coopetitive Business to Business Modeling: an experience report},
booktitle = {Int. Workshop of CAISE'2000, PBPM workshop},
address = {Stockolm, Sweden},
month = jul,
year = 2000,

}

@inproceedings{cvlnp00a:ip,
inhal = {no},
author = {Contassot-Vivier, Sylvain and Lombard, Fr\'ed\'eric and Nicod, Jean-Marc and Philippe, Laurent},
title = {Specification of a {Scilab Meta-Computing} extension},
booktitle = {International Workshop on Metacomputing Systems and Applications (MSA'00)},
address = {Toronto, Canada},
pages = {207--214},
month = aug,
year = 2000,

}

@inproceedings{cvlnp00b:np,
inhal = {no},
author = {Contassot-Vivier, Sylvain and Lombard, Fr\'ed\'eric and Nicod, Jean-Marc and Philippe, Laurent},
title = {Sp\'ecification de services sous {CORBA} pour une extension m\'eta-computing de {Scilab}},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {33--38},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{cvr00:ip,
inhal = {no},
author = {Contassot-Vivier, Sylvain and Rasson, J.-P.},
title = {Vectorization, matching and simplification of image contours in uncalibrated aerial stereo-vision},
booktitle = {EOS/SPIES Symposium on Remote Sensing: Image and Signal Processing for Remote Sensing VI},
pages = {41--48},
address = {Barcelone, Espagne},
month = sep,
year = 2000,

}

@inproceedings{couturier00a:np,
inhal = {no},
author = {Couturier, Rapha\"el},
title = {Couplage {OpenMP~/~MPI}~: une exp\'erimentation},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {133--138},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{couturier00b:np,
inhal = {no},
author = {Couturier, Rapha\"el},
title = {Traitements de l'analyse implicative avec {CHIC}},
booktitle = {Journ\'ees sur l'implication statistique},
pages = {33--50},
address = {Caen, France},
month = jun,
year = 2000,

}

@inproceedings{dflg00c:ip,
inhal = {no},
author = {Daval-Fr\'erot, Claude and Lacroix, Michel and Guyennet, Herv\'e},
title = {Federation of Resource Traders in Object-Oriented Distributed System},
booktitle = {International Conference on Parallel Computing in Electrical Engineering Parelec'2000},
pages = {84--88},
publisher = {IEEE Computer Society Press},
address = {Trois-Rivi\`eres, Quebec, Canada},
month = aug,
year = 2000,

}

@inproceedings{dflg00b:ip,
inhal = {no},
author = {Daval-Fr\'erot, Claude and Lacroix, Michel and Guyennet, Herv\'e},
title = {Resource Balancing using Trader Federation},
booktitle = {Fifth IEEE Symposium on Computers and Communication. ISCC 2000},
pages = {647--652},
address = {Antibes, France},
month = jul,
year = 2000,

}

@inproceedings{dflg00a:ip,
inhal = {no},
author = {Daval-Fr\'erot, Claude and Lacroix, Michel and Guyennet, Herv\'e},
title = {Resource balancing using traders. {P}erformance evaluation},
booktitle = {5th IEEE International Conference on High Performance Computing in Asia},
pages = {45--50},
address = {Bejin, China},
month = may,
year = 2000,

}

@inproceedings{dedu00:bl,
inhal = {no},
author = {Dedu, Eugen},
title = {Biblioth\`eque parall\`ele pour l'implantation de syst\`emes multi-agent \`a composantes connexionnistes},
booktitle = {Rencontres Francophones du Parall\'elisme, des Architectures et des Syst\`emes (RENPAR)},
pages = {211--216},
year = 2000,
address = {Besan\c{c}on, France},
month = jun,
abstract = {Les r\'eseaux de neurones, par leur g\'en\'eralit\'e, peuvent apporter des solutions `a des probl\`emes difficiles \`a caract\'eriser. La mod\'elisation des syst\`emes multi-agent utilise des entit\'es qui doivent s'adapter eux-m\^emes dans leur environnement, parfois inconnu. Pour essayer diff\'erents comportements des agents (r\'eactif, cognitif), les chercheurs ont besoin de cr\'eer rapidement leurs applications. Ces applications, qui n\'ecessitent parfois des tailles \'enormes de donn\'ees, doivent \^etre rapides \`a l'ex\'ecution, sans pour autant complexifier leur implantation. Cet article propose une biblioth\`eque pour des machines parall\`eles \`a m\'emoire partag\'ee, qui permet d'implanter simplement une cat\'egorie de syst\`emes multi-agent o\`u les agents peuvent utiliser des r\'eseaux de neurones dans leur comportement cognitif. L'accent est mis sur les probl\`emes pos'es \`a la parall\'elisation.},
langue = {French},

}

@inproceedings{dvt00:bl,
inhal = {no},
author = {Dedu, Eugen and Vialle, S. and Timsit, C.},
title = {Comparison of {OpenMP} and Classical Multi-Threading Parallelization for Regular and Irregular Algorithms},
booktitle = {Software Engineering Applied to Networking \& Parallel/Distributed Computing (SNPD)},
pages = {53--60},
year = 2000,
editor = {Fouchal, Hacene and Lee, Roger Y.},
address = {Reims, France},
month = may,
publisher = {Association for Computer and Information Science},
abstract = {The new emerging Distributed Shared Memory architecture promises to be more scalable than Symmetric Multiprocessor architecture, and leads to a regain of interest for parallel shared-memory programming paradigms. This paper compares two such important paradigms: classical multi-threading and multi-threading based on compiler directives (with OpenMP). Several implementations of regular and irregular algorithms, taken from articifial intelligence field, were made on an SGI-Origin2000 (a DSM architecture) and compared both in terms of development time and of execution time. Finally, we identify the most appropriate paradigm for each kind of algorithm.},

}

@inproceedings{dd00:bl,
inhal = {no},
author = {Desprez, F. and Domas, St\'ephane},
title = {Efficient pipelining of level 3 blas routines},
booktitle = {4th international meeting VECPAR 2000},
year = 2000,

}

@inproceedings{dsjf+00:oip,
inhal = {no},
author = {Desprez, F. and Suter, F. and Jeannot, E. and Fleury, E. and Nicod, Jean-Marc},
title = {Computational Servers in a Metacomputing Environment},
booktitle = {SIAM International Worshop on Parallel Matrix Algorithms and Applications},
address = {Neuch\^atel, Switzerland},
month = aug,
year = 2000,

}

@inproceedings{gbeg00:ip,
inhal = {no},
author = {Gaber, J. and Bahi, Jacques and El-Ghazawi, T.},
title = {Parallel mining of association rules with o Hopfield type neural network},
booktitle = {12th Int. Conf. on Tools with Artificial Intelligence (ICTAI 2000)},
address = {Vancouver, Canada},
publisher = {IEEE Computer Society Press},
pages = {90--93},
month = nov,
year = 2000,

}

@inproceedings{gbteg00:ip,
inhal = {no},
author = {Gaber, J. and Bahi, Jacques and Toursel, B. and El-Ghazawi, T.},
title = {Analysis of Randomized On-Line Load Distribution in Distributed Static Networks},
booktitle = {Procs of the ACIS, 1st Int. Conf. on Software Engineering Applied to Networking and Parallel Distributed Computing (SNPD'00)},
pages = {618--623},
year = 2000,
note = {ISBN: 0-9700776-0-2},

}

@inproceedings{garcia00:np,
inhal = {no},
author = {Garcia, Eric},
title = {Cam\'el\'eon~: un protocole \`a topologie virtuelle reconfigurable pour la communication de groupe},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {127--132},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{gld00:ip,
inhal = {no},
author = {Garcia, Eric and Lapayre, Jean-Christophe and David, G.},
title = {Pilgrim Performance over o New {CAliF} Communication Layer},
booktitle = {IEEE Int. Conf. On Parallel and Distributed Systems, ICPADS'00},
address = {Iwate, Japan},
pages = {203--210},
month = aug,
year = 2000,

}

@inproceedings{housni00:onp,
inhal = {no},
author = {Housni, Ahmed},
title = {Un nouvel algorithme d'exclusion mutuelle bas\'e sur une arborescence},
booktitle = {JCS'2000, Congr\`es des Jeunes Chercheurs en Syst\`emes},
pages = {***--***},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{heam00b:bl,
inhal = {no},
author = {H\'eam, Pierre-Cyrille},
title = {Automata for pro-V topologies},
booktitle = {Proc. CIAA2000},
series = {LNCS},
volume = 2088,
pages = {135--142},
year = 2000,

}

@inproceedings{lc+00:oip,
inhal = {no},
author = {Lancien, T. and Chanier, Thierry and others},
title = {Internet et la formation des enseignants},
booktitle = {Invitation \`a la table ronde du congr\`es de la FIPF (f\'ed\'eration internationale des professeurs de fran\c{c}ais)},
address = {Paris},
month = jul,
year = 2000,

}

@inproceedings{lang00:np,
inhal = {no},
author = {Lang, Christophe},
title = {R\'epartition de charge \`a l'initiative des processus~: exp\'erimentation sur les algorithmes du voyage limit\'e et du tableau noir},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {159--164},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{lombard00:np,
inhal = {no},
author = {Lombard, Fr\'ed\'eric},
title = {Equilibrage de charge dans les syst\`emes distribu\'es \`a objets~: r\'eglage des param\`etres par un algorithme g\'en\'etique},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {165--170},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{mb00:onp,
inhal = {no},
author = {Marche, Micka\"el and Bergerot, Christelle},
title = {Code mobile~: concepts et mod\`ele},
booktitle = {Journ\'ees des Jeunes Chercheurs en Syst\`eme (JCS'2000)},
pages = {23--28},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{mq00:np,
inhal = {no},
author = {Marche, Micka\"el and Quemener, Y.M.},
title = {Une approche formelle pour le test de conformit\'e de processus mobile},
booktitle = {Douzi\`emes rencontres Francophones du Parall\'elisme (RENPAR'12)},
pages = {197--202},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{mmj00:ip,
inhal = {no},
author = {Masson, Pierre-Alain and Mountassir, Hassan and Julliand, Jacques},
title = {Modular verification for a class of {PLTL} properties},
booktitle = {2nd Int. Conf. on Integrated Formal Methods, IFM'2000},
address = {Dagstuhl, Saarland, Germany},
series = {LNCS},
volume = 1945,
publisher = {Springer},
pages = {398--419},
month = nov,
year = 2000,

}

@inproceedings{mbkb00:bl,
inhal = {no},
author = {Mostefaoui, Ahmed and Brunie, L. and Kosch, H. and Boeszoermenyi, L.},
title = {Multi-clip Query Optimization in Video Databases},
booktitle = {IEEE International Conference on Multimedia and Expo. ICME'2000},
pages = {363--366},
address = {New York, USA},
month = jul,
year = 2000,

}

@inproceedings{mbjm00:np,
inhal = {no},
author = {Mountassir, Hassan and Bellegarde, Fran\c{c}oise and Julliand, Jacques and Masson, Pierre-Alain},
title = {Coop\'eration entre Preuve et Model-Checking pour v\'erifier des propri\'et\'es {LTL}},
booktitle = {Actes du congr\`es AFADL'2000},
pages = {127--141},
address = {Grenoble, France},
month = jan,
year = 2000,

}

@inproceedings{ot00:ip,
inhal = {no},
author = {Ouzzif, Mohammed and Tr\'ehel, Michel},
title = {Insertion of new partipants in a conference on a network. {A}dapting distributed token mutual exclusion algorithms},
booktitle = {International Symposium on Image/Video Communications, ISIVC'2000},
pages = {313--323},
address = {Rabat, Maroc},
month = apr,
year = 2000,

}

@inproceedings{pp00b:np,
inhal = {no},
author = {Philippe, Laurent and Portigliatti, Vincent},
title = {Utilisation de pr\'ef\'erences applicatives dans l'administration automatique de l'ex\'ecution d'applications},
booktitle = {NOTERE'2000 (Nouvelles Technologies de R\'epartition)},
pages = {197--209},
address = {Paris, France},
month = {novembre},
year = 2000,

}

@inproceedings{plt00:np,
inhal = {no},
author = {Py, L. and Legeard, Bruno and Tatibou\"et, Bruno},
title = {Evaluation de sp\'ecifications formelles en programmation logique avec contraintes ensemblistes - Application \`a l'animation de sp\'ecifications formelles {B}},
booktitle = {Actes du congr\`es AFADL'2000},
pages = {21--35},
address = {Grenoble, France},
month = jan,
year = 2000,

}

@inproceedings{salomon00:bl,
inhal = {no},
author = {Salomon, Michel},
title = {Parall\'elisation de l'\'evolution difff\'erentielle pour le recalage rigide d'images m\'edicales volumiques},
booktitle = {Actes de RENPAR'12},
pages = {53--58},
address = {Besan\c{c}on, France},
month = jun,
year = 2000,

}

@inproceedings{th00a:ip,
inhal = {no},
author = {Tr\'ehel, Michel and Housni, Ahmed},
title = {Improvement of the distributed algorithms of mutual exclusion by introducing the priority},
booktitle = {IEEE International Conference on Information Society in the 21 Century: Emerging Technologies and New Challenges, IS'2000},
pages = {403--407},
address = {University of Aizu, Aizu-Wakamatsu City, Japan},
month = nov,
year = 2000,

}

@inproceedings{vd00:bl,
inhal = {no},
author = {Vialle, S. and Dedu, Eugen},
title = {Long parallel algorithm design vs. quick parallel implementation},
booktitle = {European Workshop on {OpenMP} (EWOMP)},
pages = {145--150},
year = 2000,
address = {Edinburgh, Scotland, UK},
month = sep,
abstract = {Some applications have a parallel natural algorithm well adapted to modern MIMD parallel computers, while others seem at first look to be sequential and need a parallel algorithm design. In this last case, we have to choose between doing just a parallel implementation of a poor parallel algorithm, or doing a parallel algorithmic effort before the parallel implementation. As today it is possible to quickly parallelize sequential source code using OpenMP, the temptation is great to avoid to design new parallel algorithms. This paper relates some new and previous experiences \cite{dedu00a}, and points out the difference between parallel algorithmic and parallel implementation, and some contributions of OpenMP.},

}