Back to INDEX

  Publications of year 1999  

Articles in journal or book chapters
  1. Jacques Bahi. Parallel iterative methods for singular systems arising from discretised PDEs. International Journal of Applied Mathematics, 1(8):883--896, 1999. [bibtex]


  2. Jacques Bahi. Parallel synchronous chaotic iterations for singular linear systems. Parallel Algorithms and Applications, 14:19--35, 1999. [bibtex]


  3. Jacques Bahi and C. Michel. Simulations of discrete systems with an asynchronous evolution. Journal Simulation Practice and theory, 7:309--324, 1999. [bibtex]


  4. E. Boucher and Bruno Legeard. Procédure d'optimisation arborescente basée sur la structure d'arbre PQR. TSI, (Technique et Science Informatiques), 18(2):161--180, 1999. [bibtex]


  5. Pascal Chatonnay, Jacques Julliand, and Marie-France Lasalle. Démarche de projet pour enseigner la compilation. TSI (Technique et Science Informatiques), 18(1):75--100, 1999. [bibtex]


  6. Sylvain Contassot-Vivier and S. Miguet. A load-Balanced Algorithm For Parallel Digital Image Warping. International Journal of Pattern Recognition and Artificial Intelligence, 13(4):445--463, 1999. [bibtex]


  7. Jacques Julliand, Françoise Bellegarde, and Benoit Parreaux. De l'expression des besoins à l'expression formelle des propriétés dynamiques. TSI (Technique et Science Informatiques), 18(7):747--776, 1999. [bibtex]


  8. P. Rousselot, Frédéric Lombard, and G. Moreels. Search for trans-neptunian objects: an automated technique applied to images obtained with the uh 8k ccd mosaic camera. Astronomy and Astrophysics, 348:1035--1039, 1999. [bibtex]


Conference articles
  1. Françoise Bellegarde, Jacques Julliand, and Hassan Mountassir. Model-Based Verification through Refinement of Finite B Event Systems. In K. Robinson and Didier Bert, editors, Formal Methods'99 B User Group Meeting, Toulouse, France, September 1999. Springer. [bibtex]


  2. J. Bolot, Pascal Chatonnay, and D. Josselin. Construction and evaluation of spatial partitions to describe geographical flows. In Procs of the Int. Symposium on Spatial Data Quality, Hong Kong, pages 523--533, July 1999. [bibtex]


  3. Fabrice Bouquet, L. Henocque, and P. Jégou. Enumération et représentation d'impliquants premiers. In 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, Lyon, France, pages 179--188, June 1999. [bibtex]


  4. Fabrice Bouquet and P. Jégou. ROBDD : Une étude sur les ordres et stratégies de construction. In 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, Lyon, France, pages 207--215, June 1999. [bibtex]


  5. Julien Bourgeois, François Spies, and Michel Tréhel. Performance Prediction of Distributed Applications Running on a Network of workstations. In Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 672--678, June 1999. [bibtex]


  6. Huah-Yong Chan, Pascal Chatonnay, Bénédicte Herrmann, and Laurent Philippe. Administration automatique d'applications. In 1ère Conférence Française sur les Systèmes d'Exploitation CFSE'1, Rennes, France, June 1999. [bibtex]


  7. Huah-Yong Chan, Pascal Chatonnay, Bénédicte Herrmann, and Laurent Philippe. Auto Adaptive Administration of Resource Allocation. In ERSADS'99, European Research Seminar on Advances in Distributed Systems, Madeira, Portugal, pages 111--118, April 1999. [bibtex]


  8. Huah-Yong Chan and Bénédicte Herrmann. An intra -and inter- domain placement using multcriteria method to optimize resource access in CORBA. In DAIS'99, 2nd IFIP WG 6.1. International Working Conference on Distributed Applications and Interoperable Systems, Helsinki, Finland, pages 121--129, June 1999. [bibtex]


  9. Raphaël Couturier, B. Couturier, and D. Méry. A compiler for parallel Unity programs using OpenMp. In Parallel and Distributed Processing Techniques and Applications - PDPTA'99, Las Vegas, USA, pages 1992--1998, July 1999. [bibtex]


  10. Raphaël Couturier and Régis Gras. Introdution de variables supplémentaires dans une hiérarchie de classes et application à CHIC. In Société Francophone de Classification- SFC'99, Nancy, France, pages 87--92, 1999. [bibtex]


  11. M. El Kyal, J.-C. Miellou, and Jacques Bahi. Superlinear convergence of asynchronous waveform relaxation methods for nonlinear ODEs. In Procs of the 9th Int. colloquium on differential equations, Plovdiv Bulgaria, VSP, pages 119--126, 1999. Note: ISBN: 90-6764-296-7. [bibtex]


  12. Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. Group Support in Cooperative Work Applications. In Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 2802--2807, June 1999. [bibtex]


  13. Ahmed Housni. Apport de la priorité dans les algorithmes distribués de l'exclusion mutuelle. In 3ème édition des Journées Doctorales Informatique et Réseaux, JDIR, INT, Evry, France, pages 11--21, November 1999. [bibtex]


  14. Ahmed Housni and Michel Tréhel. La mise en place de la priorité dans les systèmes distribués. In 13ème congrès DNAC, (De Nouvelles Architectures pour les Communications), Paris, France, pages 149--160, December 1999. Université de Versailles. [bibtex]


  15. Jean-Michel Hufflen. Presentations with Exceptions as Order-Sorted Presentations. In WADT'99, Bonas, Italy, September 1999. Note: Extended abstract. [bibtex]


  16. A. Ibriz, M. Erradi, Hassan Mountassir, and Michel Tréhel. A Layered Cooperative Architecture and its Application in Teleteaching Framework. In Special Session on Coordination in Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 1516--1522, June 1999. [bibtex]


  17. D. Josselin, Pascal Chatonnay, L. Guerre, and B. Dancuo. Lien dynamique entre ArcView et Xlisp-Stat (LAV-STAT) : un environnement interactif d'analyse spatiale. In Actes de la Conférence ESRI, pages 10, September 1999. [bibtex]


  18. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Modular verification of dynamic properties for reactive systems. In International Workshop on Integrated Formal Methods, IFM'99, York, Grande-Bretagne, pages 89--108, June 1999. [bibtex]


  19. J. Lacan and Pascal Chatonnay. Search of Optimal Error Correcting Codes with Genetic Algorithms. In ICCITA: Int. Conf. on Computational Intelligence: Theory and Applications/Fuzzy Days, volume 1625 of LNCS, pages 93--98, 1999. [bibtex]


  20. Christophe Lang, Michel Tréhel, and P. Baptiste. A Distributed Placement Algorithm Based on Process Initiative and on a Limited Travel. In Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 2636--2641, June 1999. [bibtex]


  21. Christophe Lang, Michel Tréhel, and P. Baptiste. A New Load Sharing Algorithm based on Process Initiative. In ERSADS'99, European Research Seminar on Advances in Distributed Systems, Madeira, Portugal, pages 97--100, April 1999. [bibtex]


  22. Christophe Lang, Michel Tréhel, and P. Baptiste. PLATINUM: A placement tool based on process initiative. In 5th International Conference on Parallel Computing Technologies, PaCT-99, volume 1662 of LNCS, St-Petersbourg, Russian Federation, pages 503--508, September 1999. [bibtex]


  23. Bruno Legeard and L. Py. Constraint Logic Programming with Sets for animation and verification of B specification. In Proc. of DPS'99, International Workshop on Declarative Programming Systems, Paris, France, September 1999. [bibtex]


  24. Ahmed Mostefaoui and L. Brunie. Multimedia Prefetching Strategy for News On-Demand Applications. In International Workshop on Parallel and Distributed Databases, (PaDD'99), Florence, Italie, pages 24--28, September 1999. IEEE Computer Society Press. [bibtex]


  25. Ahmed Mostefaoui, C. Perez, and L. Brunie. Serveur de séquences audiovisuelles parallèle sur réseau haut débit : concepts et expérimentations. In RenPar'11, Rennes, France, pages 127--132, June 1999. [bibtex]


  26. Yvan Peter and Hervé Guyennet. An implementation of the Lifecycle Service Object Mobility on CORBA. In Fifth International Conference on Parallel Computing Technologies, volume 1662 of LNCS, St-Petersbourg, Russian Federation, pages 283--295, September 1999. [bibtex]


  27. L. Py, Isabelle Jacques, and Bruno Legeard. An efficient CLP approach for large-scale cutting stock problem. In PACLP'99, Pratical Applications of Constraint Technologies and Logic Programming, London, United Kingdom, pages 147--163, 1999. [bibtex]


  28. R. Sureswaran, K. Tharmaraj, Hervé Guyennet, Jean-Christophe Lapayre, and Huah-Yong Chan. A Fully Distributed Architecture to Support Multimedia Conferencing. In Internet Workshop'99, Osaka, Japan, pages 317--323, February 1999. [bibtex]


  29. Michel Tréhel and Ahmed Housni. Introduction of the priority in distributed mutual exclusion algorithms. In The joint meeting of the Third World Multiconference on Systemics, Cybernetics and Informatics (SCI'99) and the Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, United States, July 1999. [bibtex]


  30. Michel Tréhel and Ahmed Housni. Introduction of the priority in distributed mutual exclusion algorithms. In ISAS'99, Information Systems Analysis and Synthesis, volume 4, Orlando, United States, pages 215--218, July 1999. [bibtex]


Internal reports
  1. Jean-Luc Anthoine, David Laiymani, and Jean-Marc Nicod. Installation et utilisation d'une pile de PC au Laboratoire de Chimie des Surfaces et des Interfaces (CEA Saclay) : expertise. Rapport de fin de contrat, CEA, October 1999. Note: 10 pages. [bibtex]


  2. A. Bonhomme and Ahmed Mostefaoui. Serveurs vidéo : concepts de base et prototypes. Technical report 3837, INRIA, December 1999. [bibtex]


  3. J.-L. Boulanger, G. Mariano, and Bruno Tatibouët. Revisiting the B Language Syntax. Rapport de Recherche 99-07, Laboratoire CEDRIC-CNRAM, 1999. [bibtex]


Other publications
  1. Jacques Bahi. A survey on asynchronous iterative methods. Invited Talk at the 3rd Euro Conference on Parallel and Distributed Computing in Computational Mechanics, Weimar, Allemagne, March 1999. [bibtex]


  2. Jacques Bahi. Parallel Solution of Linear DAE's by multispltting waveform relaxation methods. Invited Talk at the 8th Int. Linear Algebra Society (ILAS) Conference, Barcelone, Espagne, July 1999. [bibtex]


  3. Fabrice Bouquet. Sur l'évolution de la taille des ROBDD. , 1999. [bibtex]


  4. Pascal Chatonnay. Equilibrage de charge multicritère dans CORBA. , February 1999. [bibtex]


  5. Hervé Guyennet, Eric Garcia, and Jean-Christophe Lapayre. Multimedia Integration in Cooperative Work. Invited Talk at Information Systems Analysis and Synthesis, Orlando, USA, July 1999. [bibtex]


  6. Jacques Julliand. Extensions de spécifications B par des propriétés dynamiques vérifiées par coopération preuve model-checking. , March 1999. [bibtex]


  7. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification modulaire des propriétés dynamiques introduites en B. , December 1999. [bibtex]


  8. Olga Kouchnarenko. Combination of Proof Techniques and Model-Checking in Verifying a design by refinement and Expressiveness. , February 1999. [bibtex]


  9. Olga Kouchnarenko. Sémantique des programmes récursifs parallèles et méthodes pour leur analyse. , February 1999. [bibtex]


  10. Jean-Marc Nicod. Calcul matriciel parallèle avec CORBA. , February 1999. [bibtex]


  11. Yvan Peter. Introduction et présentation de CORBA. , February 1999. [bibtex]


  12. Yvan Peter. Mobilités des objets dans CORBA. , February 1999. [bibtex]


  13. L. Py and Benoit Parreaux. Evaluation contrainte pour l'animation et le model-checking. , December 1999. [bibtex]


  14. Christophe Reffay. Nouvelles Technologies Educatives. Note: Séminaire de l'IUT de Douala, Cameroun, November 1999. [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