Back to INDEX

  Publications of year 1997  

Articles in journal or book chapters
  1. D. Arquès, J.P. Fallot, and C. Michel. An evolutionary model of a complementary circular code. Journal of Theoretical Biology, 185:241--253, 1997. 

    @article{afm97:ij,
inhal = {no},
author = {Arqu\`es, D. and Fallot, J.P. and Michel, C.},
title = {An evolutionary model of a complementary circular code},
journal = {Journal of Theoretical Biology},
volume = 185,
pages = {241--253},
year = 1997,

}


  2. T. Delaitre, G. Justo, François Spies, and S. Winter. A graphical Tool for Simulation Modelling of Parallel Systems. Journal of Parallel Computing, 22:1823--1836, 1997. 

    @article{djsw97a:ij,
inhal = {no},
author = {Delaitre, T. and Justo, G. and Spies, Fran\c{c}ois and Winter, S.},
title = {A graphical Tool for Simulation Modelling of Parallel Systems},
journal = {Journal of Parallel Computing},
volume = 22,
pages = {1823--1836},
year = 1997,

}


  3. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. CALIF, une plateforme de développement de collecticiels utilisant la mémoire partagée distribuée. Calculateurs parallèles, 9(2):251--271, June 1997. 

    @article{glt97d:nj,
inhal = {no},
author = {Guyennet, Herv\'e and Lapayre, Jean-Christophe and Tr\'ehel, Michel},
title = {CALIF, une plateforme de d\'eveloppement de collecticiels utilisant la m\'emoire partag\'ee distribu\'ee},
journal = {Calculateurs parall\`eles},
volume = 9,
number = 2,
pages = {251--271},
month = jun,
year = 1997,

}


  4. Hervé Guyennet, François Spies, Laurent Philippe, and Bénédicte Herrmann. Simulation of dynamic load balancing algorithms for multicomputers. International Journal of Mini and Microcomputers, 19(2):70--76, 1997. 

    @article{gsph97:ij,
inhal = {no},
author = {Guyennet, Herv\'e and Spies, Fran\c{c}ois and Philippe, Laurent and Herrmann, B\'en\'edicte},
title = {Simulation of dynamic load balancing algorithms for multicomputers},
journal = {International Journal of Mini and Microcomputers},
volume = 19,
number = 2,
pages = {70--76},
year = 1997,

}


  5. M. Hibti, Bruno Legeard, and H. Lombardi. Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. RAIRO Informatique Théorique et Applications, 31(3):205--236, 1997. 

    @article{hll97:nj,
inhal = {no},
author = {Hibti, M. and Legeard, Bruno and Lombardi, H.},
title = {Une proc\'edure de d\'ecision pour un probl\`eme de satisfiabilit\'e dans un univers ensembliste h\'er\'editairement fini},
journal = {RAIRO Informatique Th\'eorique et Applications},
volume = 31,
number = 3,
pages = {205--236},
year = 1997,

}


  6. Jacques Julliand and B. Markhoff. Functional programming on MIMD multicomputers. International Journal of Computers and Applications, ISMM, 19(3):150--155, 1997. 

    @article{jm97:ij,
inhal = {no},
author = {Julliand, Jacques and Markhoff, B.},
title = {Functional programming on MIMD multicomputers},
journal = {International Journal of Computers and Applications, ISMM},
volume = 19,
number = 3,
pages = {150--155},
year = 1997,

}


  7. S. Miguet and Jean-Marc Nicod. Complexity analysis of a parallel Marching-Cubes. International Journal of Pattern Recognition and Artificial Intelligence, 11(7):1024--1041, 1997. 

    @article{mn97:ij,
inhal = {no},
author = {Miguet, S. and Nicod, Jean-Marc},
title = {Complexity analysis of a parallel Marching-Cubes},
journal = {International Journal of Pattern Recognition and Artificial Intelligence},
volume = 11,
number = 7,
pages = {1024--1041},
year = 1997,

}


Conference articles
  1. L. Amanton and M. Naimi. A multicast algorithm for dynamic closed groups. In OPODIS'97, On Principles Of DIstributed Systems, Chantilly, France, pages 13--27, December 1997. Hermes. 

    @inproceedings{an97:ip,
inhal = {no},
author = {Amanton, L. and Naimi, M.},
title = {A multicast algorithm for dynamic closed groups},
booktitle = {OPODIS'97, On Principles Of DIstributed Systems},
pages = {13--27},
publisher = {Hermes},
address = {Chantilly, France},
month = dec,
year = 1997,

}


  2. A. Bachelu, P. Baptiste, E. Boucher, Bruno Legeard, and C. Varnier. Multi-criteria comparison between algorithmic, constraint logic and specific constraint programming on a real scheduling problem. In Proceedings of PACT97, pages 47--63, 1997. 

    @inproceedings{bbblv97:ip,
inhal = {no},
author = {Bachelu, A. and Baptiste, P. and Boucher, E. and Legeard, Bruno and Varnier, C.},
title = {Multi-criteria comparison between algorithmic, constraint logic and specific constraint programming on a real scheduling problem},
booktitle = {Proceedings of PACT97},
pages = {47--63},
year = 1997,

}


  3. J. Bell, Françoise Bellegarde, and J. Hook. Type-Driven Defunctionalization. In Proceedings of the International Conference of Functional Programming, ICFP'97, Amsterdam, Netherlands, June 1997. 

    @inproceedings{bbh97:ip,
inhal = {no},
author = {Bell, J. and Bellegarde, Fran\c{c}oise and Hook, J.},
title = {Type-Driven Defunctionalization},
booktitle = {Proceedings of the International Conference of Functional Programming, ICFP'97},
address = {Amsterdam, Netherlands},
month = jun,
year = 1997,

}


  4. Françoise Bellegarde. Transformation to structuring process networks. In Séminaire du groupe PACSOFT, Oregon Graduate Institute, United States, August 1997. 

    @inproceedings{bellegarde97:oip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise},
title = {Transformation to structuring process networks},
booktitle = {S\'eminaire du groupe PACSOFT},
address = {Oregon Graduate Institute, United States},
month = aug,
year = 1997,

}


  5. A. Benaini and David Laiymani. Task Sheduling for dynamically Reconfigurable Machines. In 5th Euromicro Workshop on Parallel and Distributed Processing, London, United Kingdom, January 1997. IEEE Computer Society Press. 

    @inproceedings{bl97a:ip,
inhal = {no},
author = {Benaini, A. and Laiymani, David},
title = {Task Sheduling for dynamically Reconfigurable Machines},
booktitle = {5th Euromicro Workshop on Parallel and Distributed Processing},
publisher = {IEEE Computer Society Press},
address = {London, United Kingdom},
month = jan,
year = 1997,

}


  6. Romain Bigeard, M. Devel, and Jacques Julliand. Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. In High Performance Computing and Networking, volume 1225 of LNCS, Vienne, Autriche, pages 175--189, April 1997. 

    @inproceedings{bdj97:ip,
inhal = {no},
author = {Bigeard, Romain and Devel, M. and Julliand, Jacques},
title = {Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images},
booktitle = {High Performance Computing and Networking},
address = {Vienne, Autriche},
series = {LNCS},
volume = 1225,
pages = {175--189},
month = apr,
year = 1997,

}


  7. E. Boucher and Bruno Legeard. Procédures exactes d'optimisation dans le paradigme de la Programmation Logique avec Contraintes ensemblistes. In Actes de JFPLC'97, Orléans, France, pages 179--193, May 1997. Hermes. 

    @inproceedings{bl97b:np,
inhal = {no},
author = {Boucher, E. and Legeard, Bruno},
title = {Proc\'edures exactes d'optimisation dans le paradigme de la Programmation Logique avec Contraintes ensemblistes},
booktitle = {Actes de JFPLC'97},
pages = {179--193},
publisher = {Hermes},
address = {Orl\'eans, France},
month = may,
year = 1997,

}


  8. Huah-Yong Chan and Claude Daval-Frérot. Dynamic Load Balancing Using MPI Implementation on ATM. In IASTED, Applied Informatics, Innsbruck, Austria, February 1997. 

    @inproceedings{cdf97:oip,
inhal = {no},
author = {Chan, Huah-Yong and Daval-Fr\'erot, Claude},
title = {Dynamic Load Balancing Using MPI Implementation on ATM},
booktitle = {IASTED, Applied Informatics},
address = {Innsbruck, Austria},
month = feb,
year = 1997,

}


  9. Thierry Chanier, L. Duquette, M. Laurier, and M. Pothier. Stratégies d'apprentissage et évaluation dans des environnements multimédia d'aide à l'apprentissage du français. In Journées Scientifiques et Techniques du Réseau FRANCophone de l'Ingénierie de la Langue de l'Aupelf-Uref (JST'97), Avignon, France, pages 271--276, 1997. 

    @inproceedings{cdlp97:np,
inhal = {no},
author = {Chanier, Thierry and Duquette, L. and Laurier, M. and Pothier, M.},
title = {Strat\'egies d'apprentissage et \'evaluation dans des environnements multim\'edia d'aide \`a l'apprentissage du fran\c{c}ais},
booktitle = {Journ\'ees Scientifiques et Techniques du R\'eseau FRANCophone de l'Ing\'enierie de la Langue de l'Aupelf-Uref (JST'97)},
address = {Avignon, France},
pages = {271--276},
year = 1997,

}


  10. Thierry Chanier, C. Fouqueré, and F. Issac. ALEXIA : un environnement d'aide à l'apprentissage lexical du français langue seconde. In La locution entre syntaxe et pragmatique, Collection Saint-Cloud, Publications de l'INALF, pages 105--118, 1997. Klincksiek. 

    @inproceedings{cfi97:np,
inhal = {no},
author = {Chanier, Thierry and Fouquer\'e, C. and Issac, F.},
title = {ALEXIA~: un environnement d'aide \`a l'apprentissage lexical du fran\c{c}ais langue seconde},
booktitle = {La locution entre syntaxe et pragmatique},
series = {Collection Saint-Cloud, Publications de l'INALF},
publisher = {Klincksiek},
pages = {105--118},
year = 1997,

}


  11. Thierry Chanier and Ahmed Hammad. Un test adaptatif informatisé pour le français : le projet TAFIC. In Actes du Colloque FRAnche-Comté Traitement Automatique des Langues, (FRACTAL), Besançon, France, 1997. 

    @inproceedings{ch97:np,
inhal = {no},
author = {Chanier, Thierry and Hammad, Ahmed},
title = {Un test adaptatif informatis\'e pour le fran\c{c}ais~: le projet TAFIC},
booktitle = {Actes du Colloque FRAnche-Comt\'e Traitement Automatique des Langues, (FRACTAL)},
address = {Besan\c{c}on, France},
year = 1997,

}


  12. Thierry Chanier and Thierry Selva. Graphic representation of lexical networks in the Alexia system. In Conference Computer-Assisted Language Learning (CALL'97), University of Exeter, United Kingdom, September 1997. 

    @inproceedings{cs98:oip,
inhal = {no},
author = {Chanier, Thierry and Selva, Thierry},
title = {Graphic representation of lexical networks in the Alexia system},
booktitle = {Conference Computer-Assisted Language Learning (CALL'97)},
address = {University of Exeter, United Kingdom},
month = sep,
year = 1997,

}


  13. Thierry Chanier and Thierry Selva. Graphic representation of lexical networks in the Alexia system. In Conf. on Computer-Assisted Language Learning (CALL'97), Exeter, United Kingdom, September 1997. 

    @inproceedings{cs97:ip,
inhal = {no},
author = {Chanier, Thierry and Selva, Thierry},
title = {Graphic representation of lexical networks in the Alexia system},
booktitle = {Conf. on Computer-Assisted Language Learning (CALL'97)},
address = {Exeter, United Kingdom},
month = sep,
year = 1997,

}


  14. Pascal Chatonnay. Equilibrage de charge dans les systèmes répartis à objets. In 9èmes rencontres francophones du Parallélisme, Renpar'9, Lausanne, Switzerland, May 1997. 

    @inproceedings{chatonnay97:np,
inhal = {no},
author = {Chatonnay, Pascal},
title = {Equilibrage de charge dans les syst\`emes r\'epartis \`a objets},
booktitle = {9\`emes rencontres francophones du Parall\'elisme, Renpar'9},
address = {Lausanne, Switzerland},
month = may,
year = 1997,

}


  15. T. Delaitre, G. Justo, François Spies, and S. Winter. EDPEPPS: An Environment for the Design and Performance Evaluation of Portable Parallel Software. In 5th International Workshop on Parallel and Distributed Processing (PDP'97), London, United Kingdom, January 1997. 

    @inproceedings{djsw97b:ip,
inhal = {no},
author = {Delaitre, T. and Justo, G. and Spies, Fran\c{c}ois and Winter, S.},
title = {{EDPEPPS}: An Environment for the Design and Performance Evaluation of Portable Parallel Software},
booktitle = {5th International Workshop on Parallel and Distributed Processing (PDP'97)},
address = {London, United Kingdom},
month = jan,
year = 1997,

}


  16. T. Delaitre, P. Vekariya, Romain Bigeard, G.R. Ribeiro-Justo, S. Winter, and M.J. Zemerly. EDPEPPS: An Integrated Graphical Toolset for the Design and Performance, Evaluation of Portable Parallel Software. In EURO-PAR'97, Passau, Allemagne, August 1997. 

    @inproceedings{dvbrj+97:ip,
inhal = {no},
author = {Delaitre, T. and Vekariya, P. and Bigeard, Romain and Ribeiro-Justo, G.R. and Winter, S. and Zemerly, M.J.},
title = {{EDPEPPS}: An Integrated Graphical Toolset for the Design and Performance, Evaluation of Portable Parallel Software},
booktitle = {EURO-PAR'97},
address = {Passau, Allemagne},
month = aug,
year = 1997,

}


  17. T. Delaitre, M.J. Zemerly, P. Vekariya, G.R. Ribeiro Justo, Julien Bourgeois, F. Schinkmann, and S.C. Winter. EDPEPPS : An Environment for the Design and Performance Evaluation of Portable Parallel Software. In Proc. of the Workshop on Portable Software Tools for Parallel Applications, PSTPA'97, Manchester, United Kingdom, July 1997. 

    @inproceedings{dzvr+97:oip,
inhal = {no},
author = {Delaitre, T. and Zemerly, M.J. and Vekariya, P. and Ribeiro Justo, G.R. and Bourgeois, Julien and Schinkmann, F. and Winter, S.C.},
title = {EDPEPPS : An Environment for the Design and Performance Evaluation of Portable Parallel Software},
booktitle = {Proc. of the Workshop on Portable Software Tools for Parallel Applications, PSTPA'97},
address = {Manchester, United Kingdom},
month = jul,
year = 1997,

}


  18. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. A New Consistency Protocol Implemented in the CALIF System. In 4th IEEE Int. Conf. on High Perf. Comp. (HiPC'97), Bangalore, India, pages 82--87, December 1997. 

    @inproceedings{glt97b:ip,
inhal = {no},
author = {Guyennet, Herv\'e and Lapayre, Jean-Christophe and Tr\'ehel, Michel},
title = {A New Consistency Protocol Implemented in the {CALIF} System},
booktitle = {4th IEEE Int. Conf. on High Perf. Comp. (HiPC'97)},
pages = {82--87},
address = {Bangalore, India},
month = dec,
year = 1997,

}


  19. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. Distributed Shared Memory Layer for Cooperative Work Applications. In 22nd Annual Conference on Computer Networks, LCN'97, Minneapolis, United States, pages 72--78, November 1997. IEEE Computer Society and TC Computer Communications. 

    @inproceedings{glt97a:ip,
inhal = {no},
author = {Guyennet, Herv\'e and Lapayre, Jean-Christophe and Tr\'ehel, Michel},
title = {Distributed Shared Memory Layer for Cooperative Work Applications},
booktitle = {22nd Annual Conference on Computer Networks, LCN'97},
organization = {IEEE Computer Society and TC Computer Communications},
pages = {72--78},
address = {Minneapolis, United States},
month = nov,
year = 1997,

}


  20. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. The Pilgrim: A New Consistency Protocol for Distributed Shared Memory. In Third IEEE International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, pages 253--264, December 1997. 

    @inproceedings{glt97c:ip,
inhal = {no},
author = {Guyennet, Herv\'e and Lapayre, Jean-Christophe and Tr\'ehel, Michel},
title = {The Pilgrim: A New Consistency Protocol for Distributed Shared Memory},
booktitle = {Third IEEE International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP},
pages = {253--264},
address = {Melbourne, Australia},
month = dec,
year = 1997,

}


  21. Nicolas Janey, D. Andritch, and Michel Tréhel. A proposition of group organization for an Internet forum. In GISSIC'97, 3rd annual Internet Realtime Interactive Conference, Polytechnic University, New York, October 1997. Global Information and Software Society. 

    @inproceedings{jat97:ip,
inhal = {no},
author = {Janey, Nicolas and Andritch, D. and Tr\'ehel, Michel},
title = {A proposition of group organization for an Internet forum},
booktitle = {GISSIC'97, 3rd annual Internet Realtime Interactive Conference},
organization = {Global Information and Software Society},
address = {Polytechnic University, New York},
month = oct,
year = 1997,

}


  22. S. Miguet, Jean-Marc Nicod, and D. Sarrut. A linear algorithm for constructing the Polygon Adjacency Relation in a iso-surface of 3D images. In Christophe Fiorio Ehoud Ahronovitz, editor, Discrete Geometry for Computer Imagery 97, volume 1347 of LNCS, pages 125--136, December 1997. Springer. 

    @inproceedings{mns97:ip,
inhal = {no},
author = {Miguet, S. and Nicod, Jean-Marc and Sarrut, D.},
title = {A linear algorithm for constructing the Polygon Adjacency Relation in a iso-surface of {3D} images},
editor = {Ehoud Ahronovitz, Christophe Fiorio},
booktitle = {Discrete Geometry for Computer Imagery 97},
series = {LNCS},
volume = 1347,
pages = {125--136},
publisher = {Springer},
month = dec,
year = 1997,

}


  23. P. Paquier, J.C. Gelin, and Jacques Julliand. Comparaison de diverses méthodes pour la parallélisation d'un logiciel de simulation en mise en forme des matériaux. In 3ème Colloque National en Calcul des Structures, volume 1, Giens, France, pages 327--334, 1997. 

    @inproceedings{pgj97:np,
inhal = {no},
author = {Paquier, P. and Gelin, J.C. and Julliand, Jacques},
title = {Comparaison de diverses m\'ethodes pour la parall\'elisation d'un logiciel de simulation en mise en forme des mat\'eriaux},
booktitle = {3\`eme Colloque National en Calcul des Structures},
volume = 1,
pages = {327--334},
address = {Giens, France},
year = 1997,

}


  24. Yvan Peter. An Implementation of CORBA's LifeCycle Service. In 1st International IEEE Workshop on Enterprise Distributed Object Computing (EDOC'97), Gold Coast, Australie, October 1997. 

    @inproceedings{peter97a:ip,
inhal = {no},
author = {Peter, Yvan},
title = {An Implementation of {CORBA}'s LifeCycle Service},
booktitle = {1st International IEEE Workshop on Enterprise Distributed Object Computing (EDOC'97)},
address = {Gold Coast, Australie},
month = oct,
year = 1997,

}


  25. Yvan Peter. Conception d'un mécanisme générique pour permettre la mobilité dans CORBA. In 9èmes rencontres francophones du Parallélisme, Renpar'9, Lausanne, Switzerland, May 1997. 

    @inproceedings{peter97:np,
inhal = {no},
author = {Peter, Yvan},
title = {Conception d'un m\'ecanisme g\'en\'erique pour permettre la mobilit\'e dans CORBA},
booktitle = {9\`emes rencontres francophones du Parall\'elisme, Renpar'9},
address = {Lausanne, Switzerland},
month = may,
year = 1997,

}


  26. Yvan Peter. Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. In 24th Seminar on Current Trends in Theory and Practice of Informatics, (SOFSEM'97), Milovy, République Tchèque, November 1997. 

    @inproceedings{peter97b:ip,
inhal = {no},
author = {Peter, Yvan},
title = {Mobility Management in {CORBA}: A Generic Implementation of the LifeCycle Service},
booktitle = {24th Seminar on Current Trends in Theory and Practice of Informatics, (SOFSEM'97)},
address = {Milovy, R\'epublique Tch\`eque},
month = nov,
year = 1997,

}


  27. K. Rhofir, François Spies, and J.C. Miellou. Améliorations de la méthode de Durand-Kerner. In Journées Numériques de Besançon intitulées Iterative Domain Decomposition Methods and Communications in Parallel Computing, September 1997. 

    @inproceedings{rsm97:np,
inhal = {no},
author = {Rhofir, K. and Spies, Fran\c{c}ois and Miellou, J.C.},
title = {Am\'eliorations de la m\'ethode de Durand-Kerner},
booktitle = {Journ\'ees Num\'eriques de Besan\c{c}on intitul\'ees Iterative Domain Decomposition Methods and Communications in Parallel Computing},
month = sep,
year = 1997,

}


  28. Thierry Selva and Thierry Chanier. Traitement automatique pour la représentation graphique de réseaux lexicaux en apprentissage des langues. In Actes du Colloque FRAnche-Comté Traitement Automatique des Langues (FRACTAL), Besançon, France, pages 361--371, 1997. 

    @inproceedings{sc97:np,
inhal = {no},
author = {Selva, Thierry and Chanier, Thierry},
title = {Traitement automatique pour la repr\'esentation graphique de r\'eseaux lexicaux en apprentissage des langues},
booktitle = {Actes du Colloque FRAnche-Comt\'e Traitement Automatique des Langues (FRACTAL)},
address = {Besan\c{c}on, France},
pages = {361--371},
year = 1997,

}


  29. Thierry Selva, F. Issac, Thierry Chanier, and C. Fouqueré. Lexical comprehension and production in the ALEXIA system. In Conférence Language Teaching and Language Technology, Groningen, Netherlands, April 1997. 

    @inproceedings{sicf97:oip,
inhal = {no},
author = {Selva, Thierry and Issac, F. and Chanier, Thierry and Fouquer\'e, C.},
title = {Lexical comprehension and production in the ALEXIA system},
booktitle = {Conf\'erence Language Teaching and Language Technology},
address = {Groningen, Netherlands},
month = apr,
year = 1997,

}


  30. R. Sureswaran, R.K. Subramanian, Hervé Guyennet, and Michel Tréhel. Using the RSW control Criteria to create a distributed environment for multimedia conferencing. In REDECS'97 (National Conference on Research and Development in Computer Science and Application), Penang, Malaysia, November 1997. 

    @inproceedings{ssgt97:np,
inhal = {no},
author = {Sureswaran, R. and Subramanian, R.K. and Guyennet, Herv\'e and Tr\'ehel, Michel},
title = {Using the RSW control Criteria to create a distributed environment for multimedia conferencing},
booktitle = {REDECS'97 (National Conference on Research and Development in Computer Science and Application)},
address = {Penang, Malaysia},
month = nov,
year = 1997,

}


  31. Michel Tréhel, C. Balayer, and A. Alloui. Modeling load balancing inside groups using queueing theory. In 10th int. conf. on Parall. and Distr. Comp. (PDCS'97), New Orleans, United States, October 1997. 

    @inproceedings{tba97:ip,
inhal = {no},
author = {Tr\'ehel, Michel and Balayer, C. and Alloui, A.},
title = {Modeling load balancing inside groups using queueing theory},
booktitle = {10th int. conf. on Parall. and Distr. Comp. (PDCS'97)},
address = {New Orleans, United States},
month = oct,
year = 1997,

}


Other publications
  1. Françoise Bellegarde. Théorème de fusion des Hylomorphismes : Application aux preuves d'équivalence et à la transformation des programmes fonctionnels. Conférence invitée aux Journées francophones des Langages Applicatifs, JFLA'97, 1997. 

    @misc{bellegarde97:it,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise},
title = {Th\'eor\`eme de fusion des Hylomorphismes~: Application aux preuves d'\'equivalence et \`a la transformation des programmes fonctionnels},
howpublished = {Conf\'erence invit\'ee aux Journ\'ees francophones des Langages Applicatifs, JFLA'97},
year = 1997,

}


  2. Françoise Bellegarde. Théorème de fusion des hylomorphismes : application aux preuves d'equivalence et à la transformation des programmes fonctionnels. , March 1997. 

    @unpublished{bellegarde97:onp,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise},
title = {Th\'eor\`eme de fusion des hylomorphismes~: application aux preuves d'equivalence et \`a la transformation des programmes fonctionnels},
booktitle = {S\'eminaire INRIA Lorraine},
address = {Nancy, France},
month = mar,
year = 1997,

}


  3. Hervé Guyennet. Load balancing in Distributed Systems and Multicomputers. Invited Talk at the Workshop on Parallel and Distributed Systems, Bucarest, Roumanie, May 1997. 

    @misc{guyennet97a:it,
inhal = {no},
author = {Guyennet, Herv\'e},
title = {Load balancing in Distributed Systems and Multicomputers},
howpublished = {Invited Talk at the Workshop on Parallel and Distributed Systems, Bucarest, Roumanie},
month = may,
year = 1997,

}


  4. Hervé Guyennet. Load balancing: Distributed Systems vs. Parallel Computers. Séminaire de l'Université Sains Malaysia, Penang, Malaisie, July 1997. 

    @misc{guyennet97b:it,
inhal = {no},
author = {Guyennet, Herv\'e},
title = {Load balancing: Distributed Systems vs. Parallel Computers},
howpublished = {S\'eminaire de l'Universit\'e Sains Malaysia, Penang, Malaisie},
month = jul,
year = 1997,

}


  5. Hervé Guyennet and Laurent Philippe. Conception et mise en oe uvre d'applications parallèles irrégulières de grande taille. Cours dans le cadre de l'Ecole Nationale du CNRS, Ecole d'hiver du GDR CNRS PRS, Aussois, France, December 1997. 

    @misc{gp97:it,
inhal = {no},
author = {Guyennet, Herv\'e and Philippe, Laurent},
title = {Conception et mise en \oe uvre d'applications parall\`eles irr\'eguli\`eres de grande taille},
howpublished = {Cours dans le cadre de l'Ecole Nationale du CNRS, Ecole d'hiver du GDR CNRS PRS, Aussois, France},
month = dec,
year = 1997,

}


  6. David Laiymani. Machines dynamiquement reconfigurables. , May 1997. 

    @unpublished{laiymani97:onp,
inhal = {no},
author = {Laiymani, David},
title = {Machines dynamiquement reconfigurables},
booktitle = {RGE},
address = {Belfort, France},
month = may,
year = 1997,

}


  7. Christophe Lang. La migration de processus dans les systèmes disibués. , February 1997. 

    @unpublished{lang97:onp,
inhal = {no},
author = {Lang, Christophe},
title = {La migration de processus dans les syst\`emes disibu\'es},
booktitle = {RGE},
address = {Strasbourg, France},
month = feb,
year = 1997,

}


  8. Benoit Parreaux. Etude de la parallélisation d'un model checker utilisant la logique temporelle linéaire. , October 1997. 

    @unpublished{parreaux97:onp,
inhal = {no},
author = {Parreaux, Benoit},
title = {Etude de la parall\'elisation d'un model checker utilisant la logique temporelle lin\'eaire},
booktitle = {RGE},
address = {Nancy, France},
month = oct,
year = 1997,

}


  9. François Spies. Simulation of Parallel Algorithms. Séminaire de l'Université Sains Malaysia, Penang, Malaisie, July 1997. 

    @misc{spies97:it,
inhal = {no},
author = {Spies, Fran\c{c}ois},
title = {Simulation of Parallel Algorithms},
howpublished = {S\'eminaire de l'Universit\'e Sains Malaysia, Penang, Malaisie},
month = jul,
year = 1997,

}


  10. Bruno Tatibouët. Animation et vérification de Machines B en PLC : expérimentation et perspectives. , October 1997. 

    @unpublished{tatibouet97b:onp,
inhal = {no},
author = {Tatibou\"et, Bruno},
title = {Animation et v\'erification de Machines {B} en {PLC}~: exp\'erimentation et perspectives},
booktitle = {Expos\'e au s\'eminaire {BUG}},
address = {Paris, France},
month = oct,
year = 1997,

}


  11. Bruno Tatibouët. Animation-vérification de spécifications formelles en PLC ensemblistes. , June 1997. 

    @unpublished{tatibouet97a:onp,
inhal = {no},
author = {Tatibou\"et, Bruno},
title = {Animation-v\'erification de sp\'ecifications formelles en {PLC} ensemblistes},
booktitle = {S\'eminaire de l'association fran\c{c}aise de programation en logique},
month = jun,
year = 1997,

}


  12. Michel Tréhel. Exclusion mutuelle et synchronisation. , September 1997. 

    @unpublished{trehel97a:onp,
inhal = {no},
author = {Tr\'ehel, Michel},
title = {Exclusion mutuelle et synchronisation},
booktitle = {S\'eminaire de l'\'ecole Mohammedia d'ing\'enieurs},
month = sep,
year = 1997,

}


  13. Michel Tréhel. Problèmes de synchronisation en travail coopératif. , November 1997. 

    @unpublished{trehel97b:onp,
inhal = {no},
author = {Tr\'ehel, Michel},
title = {Probl\`emes de synchronisation en travail coop\'eratif},
booktitle = {Journ\'ee du Laria},
address = {Amiens, France},
month = nov,
year = 1997,

}


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