Back to INDEX

  Publications of year 2000  

Articles in journal or book chapters
  1. Jean-Luc Anthoine, Pascal Chatonnay, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Mise en oeuvre d'un algorithme parallèle sous CORBA et PVM. TSI (Technique et Science Informatiques), numéro Thématique Parallélisme, Distribution et Approches Objets, 19(9):1171--1191, 2000. [bibtex]


  2. D. Arquès and Alain Giorgetti. Counting rooted maps on a surface. Theoretical Computer Science, 234:255--272, 2000. [bibtex]


  3. D. Arquès and Alain Giorgetti. Une bijection géométrique entre une famille d'hypercartes et une famille de polygones énumérées par la série de Schröder. Discrete Mathematics, 217:17--22, April 2000. Note: Procs. of Formal Power Series and Algebraic Combinatorics. [bibtex]


  4. Jacques Bahi. A general formulation of asynchronous iterations. International Journal of Differential Equations and Applications, 1A(3):245--256, 2000. [bibtex]


  5. Jacques Bahi. Asynchronous iterative algorithms for nonexpansive linear systems. Journal of Parallel and Distributed Computing, 60:92--112, 2000. [bibtex]


  6. Jacques Bahi. Boolean totally asynchronous iterations. International Journal of Mathematical Algorithms, 1:331--346, 2000. [bibtex]


  7. Jacques Bahi and C. Michel. Convergence of discrete asynchronous iterations. International Journal Computer Mathematics, 74:113--125, 2000. [bibtex]


  8. A. Benaini and David Laiymani. A Multi-phase Parallel Algorithm for the Eigenelements Problem. Informatica, 24(3):371--377, 2000. [bibtex]


  9. Julien Bourgeois and François Spies. ChronosMix, prédiction de performances dans les systèmes répartis. TSI (Technique et Science Informatiques), 19(8):1077--1095, 2000. [bibtex]


  10. Julien Bourgeois, François Spies, T. Delaitre, and J. Zemerly. Chronos: a Performance Characterisation Tool inside the EDPEPPS toolset. Journal of Supercomputing, 15(2):123--140, 2000. [bibtex]


  11. Thierry Chanier. Editor's introduction to ICT in varied language learning environments. ReCALL, 12(1):1--4, 2000. [bibtex]


  12. Thierry Chanier. Hypermédia, interaction et apprentissage dans des systèmes d'information et de communication : résultats et agenda de recherche. In L. Duquette and M. Laurier, editors, Apprendre une langue dans un environnement multimédia, pages 53--89. Montréal : Editions Logiques, 2000. [bibtex]


  13. Thierry Chanier. Première analyse du lectorat de la revue ALSIC. Apprentissage des Langues et Systèmes d'Information et de Communication (ALSIC), 3(1):155--163, 2000. [bibtex]


  14. Raphaël Couturier. Trois expérimentations de simulations parallèles. Technique et Science Informatiques, 19(5):625--648, 2000. [bibtex]


  15. Raphaël Couturier and C. Chipot. Parallel molecular dynamics using OpenMP on a shared memory machine. Computer Physics Communications, 124:49--59, 2000. [bibtex]


  16. Hervé Guyennet and Michel Tréhel. Load balancing using processor groups. Parallel Processing Letters, 10(1):59--72, 2000. [bibtex]


  17. Ahmed Housni. L'exclusion mutuelle entre les membres de deux groupes structurés de télé-conférenciers. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), 12(5-6):565--592, 2000. [bibtex]


  18. Jean-Michel Hufflen. Typographie : les conventions, la tradition, les goûts, ... et LaTeX. Cahiers GUTenberg, 35-36:169--214, May 2000. [bibtex]


  19. Pierre-Cyrille Héam. A lower bound for reversible automata. Theoretical Informatics and Applications, 34:331--341, 2000. [bibtex]


  20. D. Josselin, J. Bolot, and Pascal Chatonnay. Optimisation de découpage territoriaux. Proposition de méthodes d'aggrégation spatiale dirigée. Revue Internationale De Géomatique, SIG, amégement Du Territoire Et Environnement, Cassini 2000, 10(3-4):383--409, 2000. [bibtex]


  21. Yvan Peter and Hervé Guyennet. Object mobility in large scale systems. Cluster Computing Journal, 2(2):75--82, 2000. [bibtex]


  22. Vincent Portigliatti and Laurent Philippe. Utilisation de préférences applicatives dans l'administration automatique de l'exécution d'applications. Revue Electronique sur les Réseaux et l'Informatique Répartie. Edition spéciale de NOTERE'2000 RERIR (Nouvelles Technologies de Répartition), (http://rerir.univ-pau.fr), 2000. [bibtex]


Conference articles
  1. Tafsir Ba. GENIE : une InterfacE homme/machine GENérique pour le diagnostic coopératif. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 47--53, June 2000. [bibtex]


  2. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. In Conference ZB 2000, volume 1878 of LNCS, York, United Kingdom, pages 230--249, August 2000. Springer. [bibtex]


  3. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Ready-simulation is not Ready to Express a Modular Refinement Relation. In Fondamental Aspects of Software Engineering 2000, FASE'2000, volume 1783 of LNCS, Berlin, Germany, pages 266--283, March 2000. [bibtex]


  4. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. Constraint Logic Programming with Sets for animation B formal specifications. In Proc. of the 1st Int. Conf. on Computational Logic, Workshop on Constraint Logic Programming and Software Engineering, (C)LPSE2000, Imperial College, London, United Kingdom, July 2000. [bibtex]


  5. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and L. Py. Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. In 9èmes Journées Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2000, Marseille, France, pages 125--144, June 2000. [bibtex]


  6. Julien Bourgeois. Utilisation du benchmarking dans la prédiction de performances d'applications réparties hétérogènes. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 79--84, June 2000. [bibtex]


  7. Julien Bourgeois and François Spies. Performance prediction of an NAS Benchmark program with ChronosMix environment. In EuroPar'2000, Munich, Allemagne, pages 208--216, September 2000. [bibtex]


  8. Philippe Canalda and C. Godart. Coopetitive Business to Business Modeling: an experience report. In Int. Workshop of CAISE'2000, PBPM workshop, Stockolm, Sweden, July 2000. [bibtex]


  9. Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, and Laurent Philippe. Specification of a Scilab Meta-Computing extension. In International Workshop on Metacomputing Systems and Applications (MSA'00), Toronto, Canada, pages 207--214, August 2000. [bibtex]


  10. Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, and Laurent Philippe. Spécification de services sous CORBA pour une extension méta-computing de Scilab. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 33--38, June 2000. [bibtex]


  11. Sylvain Contassot-Vivier and J.-P. Rasson. Vectorization, matching and simplification of image contours in uncalibrated aerial stereo-vision. In EOS/SPIES Symposium on Remote Sensing: Image and Signal Processing for Remote Sensing VI, Barcelone, Espagne, pages 41--48, September 2000. [bibtex]


  12. Raphaël Couturier. Couplage OpenMP / MPI : une expérimentation. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 133--138, June 2000. [bibtex]


  13. Raphaël Couturier. Traitements de l'analyse implicative avec CHIC. In Journées sur l'implication statistique, Caen, France, pages 33--50, June 2000. [bibtex]


  14. Claude Daval-Frérot, Michel Lacroix, and Hervé Guyennet. Federation of Resource Traders in Object-Oriented Distributed System. In International Conference on Parallel Computing in Electrical Engineering Parelec'2000, Trois-Rivières, Quebec, Canada, pages 84--88, August 2000. IEEE Computer Society Press. [bibtex]


  15. Claude Daval-Frérot, Michel Lacroix, and Hervé Guyennet. Resource Balancing using Trader Federation. In Fifth IEEE Symposium on Computers and Communication. ISCC 2000, Antibes, France, pages 647--652, July 2000. [bibtex]


  16. Claude Daval-Frérot, Michel Lacroix, and Hervé Guyennet. Resource balancing using traders. Performance evaluation. In 5th IEEE International Conference on High Performance Computing in Asia, Bejin, China, pages 45--50, May 2000. [bibtex]


  17. Eugen Dedu. Bibliothèque parallèle pour l'implantation de systèmes multi-agent à composantes connexionnistes. In Rencontres Francophones du Parallélisme, des Architectures et des Systèmes (RENPAR), Besançon, France, pages 211--216, June 2000. [Abstract] [bibtex]


  18. Eugen Dedu, S. Vialle, and C. Timsit. Comparison of OpenMP and Classical Multi-Threading Parallelization for Regular and Irregular Algorithms. In Hacene Fouchal and Roger Y. Lee, editors, Software Engineering Applied to Networking & Parallel/Distributed Computing (SNPD), Reims, France, pages 53--60, May 2000. Association for Computer and Information Science. [Abstract] [bibtex]


  19. F. Desprez and Stéphane Domas. Efficient pipelining of level 3 blas routines. In 4th international meeting VECPAR 2000, 2000. [bibtex]


  20. F. Desprez, F. Suter, E. Jeannot, E. Fleury, and Jean-Marc Nicod. Computational Servers in a Metacomputing Environment. In SIAM International Worshop on Parallel Matrix Algorithms and Applications, Neuchâtel, Switzerland, August 2000. [bibtex]


  21. J. Gaber, Jacques Bahi, and T. El-Ghazawi. Parallel mining of association rules with o Hopfield type neural network. In 12th Int. Conf. on Tools with Artificial Intelligence (ICTAI 2000), Vancouver, Canada, pages 90--93, November 2000. IEEE Computer Society Press. [bibtex]


  22. J. Gaber, Jacques Bahi, B. Toursel, and T. El-Ghazawi. Analysis of Randomized On-Line Load Distribution in Distributed Static Networks. In Procs of the ACIS, 1st Int. Conf. on Software Engineering Applied to Networking and Parallel Distributed Computing (SNPD'00), pages 618--623, 2000. Note: ISBN: 0-9700776-0-2. [bibtex]


  23. Eric Garcia. Caméléon : un protocole à topologie virtuelle reconfigurable pour la communication de groupe. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 127--132, June 2000. [bibtex]


  24. Eric Garcia, Jean-Christophe Lapayre, and G. David. Pilgrim Performance over o New CAliF Communication Layer. In IEEE Int. Conf. On Parallel and Distributed Systems, ICPADS'00, Iwate, Japan, pages 203--210, August 2000. [bibtex]


  25. Ahmed Housni. Un nouvel algorithme d'exclusion mutuelle basé sur une arborescence. In JCS'2000, Congrès des Jeunes Chercheurs en Systèmes, Besançon, France, pages ***--***, June 2000. [bibtex]


  26. Pierre-Cyrille Héam. Automata for pro-V topologies. In Proc. CIAA2000, volume 2088 of LNCS, pages 135--142, 2000. [bibtex]


  27. T. Lancien, Thierry Chanier, and others. Internet et la formation des enseignants. In Invitation à la table ronde du congrès de la FIPF (fédération internationale des professeurs de français), Paris, July 2000. [bibtex]


  28. Christophe Lang. Répartition de charge à l'initiative des processus : expérimentation sur les algorithmes du voyage limité et du tableau noir. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 159--164, June 2000. [bibtex]


  29. Frédéric Lombard. Equilibrage de charge dans les systèmes distribués à objets : réglage des paramètres par un algorithme génétique. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 165--170, June 2000. [bibtex]


  30. Mickaël Marche and Christelle Bergerot. Code mobile : concepts et modèle. In Journées des Jeunes Chercheurs en Système (JCS'2000), Besançon, France, pages 23--28, June 2000. [bibtex]


  31. Mickaël Marche and Y.M. Quemener. Une approche formelle pour le test de conformité de processus mobile. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 197--202, June 2000. [bibtex]


  32. Pierre-Alain Masson, Hassan Mountassir, and Jacques Julliand. Modular verification for a class of PLTL properties. In 2nd Int. Conf. on Integrated Formal Methods, IFM'2000, volume 1945 of LNCS, Dagstuhl, Saarland, Germany, pages 398--419, November 2000. Springer. [bibtex]


  33. Ahmed Mostefaoui, L. Brunie, H. Kosch, and L. Boeszoermenyi. Multi-clip Query Optimization in Video Databases. In IEEE International Conference on Multimedia and Expo. ICME'2000, New York, USA, pages 363--366, July 2000. [bibtex]


  34. Hassan Mountassir, Françoise Bellegarde, Jacques Julliand, and Pierre-Alain Masson. Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL. In Actes du congrès AFADL'2000, Grenoble, France, pages 127--141, January 2000. [bibtex]


  35. Mohammed Ouzzif and Michel Tréhel. Insertion of new partipants in a conference on a network. Adapting distributed token mutual exclusion algorithms. In International Symposium on Image/Video Communications, ISIVC'2000, Rabat, Maroc, pages 313--323, April 2000. [bibtex]


  36. Laurent Philippe and Vincent Portigliatti. Utilisation de préférences applicatives dans l'administration automatique de l'exécution d'applications. In NOTERE'2000 (Nouvelles Technologies de Répartition), Paris, France, pages 197--209, novembre 2000. [bibtex]


  37. L. Py, Bruno Legeard, and Bruno Tatibouët. Evaluation de spécifications formelles en programmation logique avec contraintes ensemblistes - Application à l'animation de spécifications formelles B. In Actes du congrès AFADL'2000, Grenoble, France, pages 21--35, January 2000. [bibtex]


  38. Michel Salomon. Parallélisation de l'évolution diffférentielle pour le recalage rigide d'images médicales volumiques. In Actes de RENPAR'12, Besançon, France, pages 53--58, June 2000. [bibtex]


  39. Michel Tréhel and Ahmed Housni. Improvement of the distributed algorithms of mutual exclusion by introducing the priority. In IEEE International Conference on Information Society in the 21 Century: Emerging Technologies and New Challenges, IS'2000, University of Aizu, Aizu-Wakamatsu City, Japan, pages 403--407, November 2000. [bibtex]


  40. S. Vialle and Eugen Dedu. Long parallel algorithm design vs. quick parallel implementation. In European Workshop on OpenMP (EWOMP), Edinburgh, Scotland, UK, pages 145--150, September 2000. [Abstract] [bibtex]


Internal reports
  1. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of functional tests sequences from B formal specifications of the GSM 11-11 standard. Rapport de fin de contrat, Schlumberger SmartCard R&D, July 2000. Note: 175 pages. [bibtex]


  2. Jérome Nicolet, Aloïs Mbala, and Thierry Chanier. Participation au sein d'une plate-forme de téléformation expérimentation et priorités d'extension. Technical report R-00.02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, 2000. Note: 10 pages. [bibtex]


  3. Christophe Reffay. CUMULI : Construction d'une mémoire du groupe dans l'interaction en FAD. Technical report R-00.01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2000. Note: 12 pages. [bibtex]


Other publications
  1. Jacques Bahi. Asynchronous algorithms for finite systems. Séminaire lors d'une invitation d'une semaine par le professeur A. Frommer à l'université de Wuppertal, Allemagne, January 2000. [bibtex]


  2. Thierry Chanier. Revue ReCALL. Thème : Information and Communication technology in varied language learning environments, 12(1):1--104, May 2000. Note: Direction de revue. Revue éditée par Cambridge University Press. Sélection sur article complet avec 2 relecteurs de communications non francophones du congrès EUROCALL'99. [bibtex]


  3. Thierry Chanier, M. Kail, B. Py, and D. Singleton. Perspectives cognitives en linguistique appliquée et didactique des langues, October 2000. Note: Invitation à la table ronde du congrès COFDELA (Confédération française pour le Développement de la Linguistique Appliquée), Avignon, France. [bibtex]


  4. M. Pothier and Thierry Chanier. Revue électronique Apprentissage des Langues et Systèmes d'Information et de Communication (ALSIC). Thème : Systèmes d'information et de communication dans des situations diversifiées d'apprentissage des langues, 3(1):1--171, June 2000. Note: Sélection sur article complet avec 2 relecteurs de communications francophones du congrès EUROCALL'99. Version papier publiée avec le soutien de la Délégation Générale à la Langue Française. Version papier (500 ex.) et version Internet à http://alsic.univ-fcomte.fr et alsic.org. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html