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.

    @article{bahi99a:ij,
    inhal = {no},
    author = {Bahi, Jacques},
    title = {Parallel iterative methods for singular systems arising from discretised PDEs},
    journal = {International Journal of Applied Mathematics},
    volume = 1,
    number = 8,
    pages = {883--896},
    year = 1999,
    
    }


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

    @article{bahi99b:ij,
    inhal = {no},
    author = {Bahi, Jacques},
    title = {Parallel synchronous chaotic iterations for singular linear systems},
    journal = {Parallel Algorithms and Applications},
    volume = 14,
    pages = {19--35},
    year = 1999,
    
    }


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

    @article{bm99:ij,
    inhal = {no},
    author = {Bahi, Jacques and Michel, C.},
    title = {Simulations of discrete systems with an asynchronous evolution},
    journal = {Journal Simulation Practice and theory},
    volume = 7,
    pages = {309--324},
    year = 1999,
    
    }


  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.

    @article{bl99:nj,
    inhal = {no},
    author = {Boucher, E. and Legeard, Bruno},
    title = {Proc\'edure d'optimisation arborescente bas\'ee sur la structure d'arbre PQR},
    journal = {TSI, (Technique et Science Informatiques)},
    publisher = {Hermes},
    volume = 18,
    number = 2,
    pages = {161--180},
    year = 1999,
    
    }


  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.

    @article{cjl99:nj,
    inhal = {no},
    author = {Chatonnay, Pascal and Julliand, Jacques and Lasalle, Marie-France},
    title = {D\'emarche de projet pour enseigner la compilation},
    journal = {TSI (Technique et Science Informatiques)},
    publisher = {Hermes},
    volume = 18,
    number = 1,
    pages = {75--100},
    year = 1999,
    
    }


  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.

    @article{cvm99:bl,
    inhal = {no},
    author = {Contassot-Vivier, Sylvain and Miguet, S.},
    title = {A load-Balanced Algorithm For Parallel Digital Image Warping},
    journal = {International Journal of Pattern Recognition and Artificial Intelligence},
    volume = 13,
    number = 4,
    pages = {445--463},
    year = 1999,
    
    }


  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.

    @article{jbp99:nj,
    inhal = {no},
    author = {Julliand, Jacques and Bellegarde, Fran\c{c}oise and Parreaux, Benoit},
    title = {De l'expression des besoins \`a l'expression formelle des propri\'et\'es dynamiques},
    journal = {TSI (Technique et Science Informatiques)},
    publisher = {Hermes},
    volume = 18,
    number = 7,
    pages = {747--776},
    year = 1999,
    
    }


  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.

    @article{rlm99:oip,
    inhal = {no},
    author = {Rousselot, P. and Lombard, Fr\'ed\'eric and Moreels, G.},
    title = {Search for trans-neptunian objects: an automated technique applied to images obtained with the uh 8k ccd mosaic camera},
    journal = {Astronomy and Astrophysics},
    volume = 348,
    pages = {1035--1039},
    year = 1999,
    
    }


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.

    @inproceedings{bjm99:oip,
    inhal = {no},
    author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan},
    title = {Model-Based Verification through Refinement of Finite {B} Event Systems},
    booktitle = {Formal Methods'99 {B} User Group Meeting},
    publisher = {Springer},
    editor = {Robinson, K. and Bert, Didier},
    address = {Toulouse, France},
    month = sep,
    year = 1999,
    
    }


  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.

    @inproceedings{bcj99:ip,
    inhal = {no},
    author = {Bolot, J. and Chatonnay, Pascal and Josselin, D.},
    title = {Construction and evaluation of spatial partitions to describe geographical flows},
    booktitle = {Procs of the Int. Symposium on Spatial Data Quality},
    pages = {523--533},
    address = {Hong Kong},
    month = jul,
    year = 1999,
    
    }


  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.

    @inproceedings{bhj99:np,
    inhal = {no},
    author = {Bouquet, Fabrice and Henocque, L. and J\'egou, P.},
    title = {Enum\'eration et repr\'esentation d'impliquants premiers},
    booktitle = {5\`emes Journ\'ees Nationales sur la R\'esolution Pratique de Probl\`emes NP-Complets, JNPC'99},
    pages = {179--188},
    address = {Lyon, France},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{bj99:np,
    inhal = {no},
    author = {Bouquet, Fabrice and J\'egou, P.},
    title = {{ROBDD}~: Une \'etude sur les ordres et strat\'egies de construction},
    booktitle = {5\`emes Journ\'ees Nationales sur la R\'esolution Pratique de Probl\`emes NP-Complets, JNPC'99},
    pages = {207--215},
    address = {Lyon, France},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{bst99:ip,
    inhal = {no},
    author = {Bourgeois, Julien and Spies, Fran\c{c}ois and Tr\'ehel, Michel},
    title = {Performance Prediction of Distributed Applications Running on a Network of workstations},
    booktitle = {Parallel and Distributed Applications and Activities: PDPTA'99},
    pages = {672--678},
    address = {Las Vegas, United States},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{cphp99:np,
    inhal = {no},
    author = {Chan, Huah-Yong and Chatonnay, Pascal and Herrmann, B\'en\'edicte and Philippe, Laurent},
    title = {Administration automatique d'applications},
    booktitle = {1\`ere Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation CFSE'1},
    address = {Rennes, France},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{cchp99:ip,
    inhal = {no},
    author = {Chan, Huah-Yong and Chatonnay, Pascal and Herrmann, B\'en\'edicte and Philippe, Laurent},
    title = {Auto Adaptive Administration of Resource Allocation},
    booktitle = {ERSADS'99, European Research Seminar on Advances in Distributed Systems},
    pages = {111--118},
    address = {Madeira, Portugal},
    month = apr,
    year = 1999,
    
    }


  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.

    @inproceedings{ch99:ip,
    inhal = {no},
    author = {Chan, Huah-Yong and Herrmann, B\'en\'edicte},
    title = {An intra -and inter- domain placement using multcriteria method to optimize resource access in {CORBA}},
    booktitle = {DAIS'99, 2nd IFIP WG 6.1. International Working Conference on Distributed Applications and Interoperable Systems},
    pages = {121--129},
    address = {Helsinki, Finland},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{ccm99:bl,
    inhal = {no},
    author = {Couturier, Rapha\"el and Couturier, B. and M\'ery, D.},
    title = {A compiler for parallel Unity programs using OpenMp},
    booktitle = {Parallel and Distributed Processing Techniques and Applications - PDPTA'99},
    pages = {1992--1998},
    address = {Las Vegas, USA},
    month = jul,
    year = 1999,
    
    }


  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.

    @inproceedings{cg99:bl,
    inhal = {no},
    author = {Couturier, Rapha\"el and Gras, R\'egis},
    title = {Introdution de variables suppl\'ementaires dans une hi\'erarchie de classes et application \`a CHIC},
    booktitle = {Soci\'et\'e Francophone de Classification- SFC'99},
    address = {Nancy, France},
    pages = {87--92},
    year = 1999,
    
    }


  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.

    @inproceedings{ekmb99:ip,
    inhal = {no},
    author = {El Kyal, M. and Miellou, J.-C. and Bahi, Jacques},
    title = {Superlinear convergence of asynchronous waveform relaxation methods for nonlinear {ODEs}},
    booktitle = {Procs of the 9th Int. colloquium on differential equations},
    pages = {119--126},
    address = {Plovdiv Bulgaria, VSP},
    year = 1999,
    note = {ISBN: 90-6764-296-7},
    
    }


  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.

    @inproceedings{ggl99:ip,
    inhal = {no},
    author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe},
    title = {Group Support in Cooperative Work Applications},
    booktitle = {Parallel and Distributed Applications and Activities: PDPTA'99},
    pages = {2802--2807},
    address = {Las Vegas, United States},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{housni99:onp,
    inhal = {no},
    author = {Housni, Ahmed},
    title = {Apport de la priorit\'e dans les algorithmes distribu\'es de l'exclusion mutuelle},
    booktitle = {3\`eme \'edition des Journ\'ees Doctorales Informatique et R\'eseaux, JDIR},
    pages = {11--21},
    address = {INT, Evry, France},
    month = nov,
    year = 1999,
    
    }


  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.

    @inproceedings{ht99:np,
    inhal = {no},
    author = {Housni, Ahmed and Tr\'ehel, Michel},
    title = {La mise en place de la priorit\'e dans les syst\`emes distribu\'es},
    booktitle = {13\`eme congr\`es DNAC, (De Nouvelles Architectures pour les Communications)},
    pages = {149--160},
    organization = {Universit\'e de Versailles},
    address = {Paris, France},
    month = dec,
    year = 1999,
    
    }


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

    @inproceedings{hufflen99:oip,
    inhal = {no},
    author = {Hufflen, Jean-Michel},
    title = {Presentations with Exceptions as Order-Sorted Presentations},
    booktitle = {WADT'99},
    note = {Extended abstract},
    address = {Bonas, Italy},
    month = sep,
    year = 1999,
    
    }


  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.

    @inproceedings{iemt99:ip,
    inhal = {no},
    author = {Ibriz, A. and Erradi, M. and Mountassir, Hassan and Tr\'ehel, Michel},
    title = {A Layered Cooperative Architecture and its Application in Teleteaching Framework},
    booktitle = {Special Session on Coordination in Parallel and Distributed Applications and Activities: PDPTA'99},
    pages = {1516--1522},
    address = {Las Vegas, United States},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{jcgd99:onp,
    inhal = {no},
    author = {Josselin, D. and Chatonnay, Pascal and Guerre, L. and Dancuo, B.},
    title = {Lien dynamique entre {ArcView} et {Xlisp-Stat (LAV-STAT)}~: un environnement interactif d'analyse spatiale},
    booktitle = {Actes de la Conf\'erence ESRI},
    pages = 10,
    year = 1999,
    month = sep,
    
    }


  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.

    @inproceedings{jmm99:ip,
    inhal = {no},
    author = {Julliand, Jacques and Masson, Pierre-Alain and Mountassir, Hassan},
    title = {Modular verification of dynamic properties for reactive systems},
    booktitle = {International Workshop on Integrated Formal Methods, IFM'99},
    pages = {89--108},
    address = {York, Grande-Bretagne},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{lc99:ip,
    inhal = {no},
    author = {Lacan, J. and Chatonnay, Pascal},
    title = {Search of Optimal Error Correcting Codes with Genetic Algorithms},
    booktitle = {ICCITA: Int. Conf. on Computational Intelligence: Theory and Applications/Fuzzy Days},
    series = {LNCS},
    volume = 1625,
    pages = {93--98},
    year = 1999,
    
    }


  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.

    @inproceedings{ltb99b:ip,
    inhal = {no},
    author = {Lang, Christophe and Tr\'ehel, Michel and Baptiste, P.},
    title = {A Distributed Placement Algorithm Based on Process Initiative and on a Limited Travel},
    booktitle = {Parallel and Distributed Applications and Activities: PDPTA'99},
    pages = {2636--2641},
    address = {Las Vegas, United States},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{ltb99a:ip,
    inhal = {no},
    author = {Lang, Christophe and Tr\'ehel, Michel and Baptiste, P.},
    title = {A New Load Sharing Algorithm based on Process Initiative},
    booktitle = {ERSADS'99, European Research Seminar on Advances in Distributed Systems},
    pages = {97--100},
    address = {Madeira, Portugal},
    month = apr,
    year = 1999,
    
    }


  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.

    @inproceedings{ltb99c:ip,
    inhal = {no},
    author = {Lang, Christophe and Tr\'ehel, Michel and Baptiste, P.},
    title = {{PLATINUM}: A placement tool based on process initiative},
    booktitle = {5th International Conference on Parallel Computing Technologies, PaCT-99},
    series = {LNCS},
    volume = 1662,
    pages = {503--508},
    address = {St-Petersbourg, Russian Federation},
    month = sep,
    year = 1999,
    
    }


  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.

    @inproceedings{lp99:oip,
    inhal = {no},
    author = {Legeard, Bruno and Py, L.},
    title = {Constraint Logic Programming with Sets for animation and verification of {B} specification},
    booktitle = {Proc. of DPS'99, International Workshop on Declarative Programming Systems},
    address = {Paris, France},
    month = sep,
    year = 1999,
    
    }


  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.

    @inproceedings{mb99:bl,
    inhal = {no},
    author = {Mostefaoui, Ahmed and Brunie, L.},
    title = {Multimedia Prefetching Strategy for News On-Demand Applications},
    booktitle = {International Workshop on Parallel and Distributed Databases, (PaDD'99)},
    publisher = {IEEE Computer Society Press},
    pages = {24--28},
    address = {Florence, Italie},
    month = sep,
    year = 1999,
    
    }


  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.

    @inproceedings{mpb99:bl,
    inhal = {no},
    author = {Mostefaoui, Ahmed and Perez, C. and Brunie, L.},
    title = {Serveur de s\'equences audiovisuelles parall\`ele sur r\'eseau haut d\'ebit : concepts et exp\'erimentations},
    booktitle = {RenPar'11},
    pages = {127--132},
    address = {Rennes, France},
    month = jun,
    year = 1999,
    
    }


  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.

    @inproceedings{pg99:ip,
    inhal = {no},
    author = {Peter, Yvan and Guyennet, Herv\'e},
    title = {An implementation of the Lifecycle Service Object Mobility on {CORBA}},
    booktitle = {Fifth International Conference on Parallel Computing Technologies},
    series = {LNCS},
    volume = 1662,
    pages = {283--295},
    address = {St-Petersbourg, Russian Federation},
    month = sep,
    year = 1999,
    
    }


  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.

    @inproceedings{pjl99:ip,
    inhal = {no},
    author = {Py, L. and Jacques, Isabelle and Legeard, Bruno},
    title = {An efficient {CLP} approach for large-scale cutting stock problem},
    booktitle = {PACLP'99, Pratical Applications of Constraint Technologies and Logic Programming},
    address = {London, United Kingdom},
    pages = {147--163},
    year = 1999,
    
    }


  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.

    @inproceedings{stgl+99:ip,
    inhal = {no},
    author = {Sureswaran, R. and Tharmaraj, K. and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Chan, Huah-Yong},
    title = {A Fully Distributed Architecture to Support Multimedia Conferencing},
    booktitle = {Internet Workshop'99},
    pages = {317--323},
    address = {Osaka, Japan},
    month = feb,
    year = 1999,
    
    }


  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.

    @inproceedings{th99:oip,
    inhal = {no},
    author = {Tr\'ehel, Michel and Housni, Ahmed},
    title = {Introduction of the priority in distributed mutual exclusion algorithms},
    booktitle = {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)},
    address = {Orlando, United States},
    month = jul,
    year = 1999,
    
    }


  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.

    @inproceedings{th99:ip,
    inhal = {no},
    author = {Tr\'ehel, Michel and Housni, Ahmed},
    title = {Introduction of the priority in distributed mutual exclusion algorithms},
    booktitle = {ISAS'99, Information Systems Analysis and Synthesis},
    volume = 4,
    pages = {215--218},
    address = {Orlando, United States},
    month = jul,
    year = 1999,
    
    }


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.

    @techreport{aln99:cr,
    inhal = {no},
    author = {Anthoine, Jean-Luc and Laiymani, David and Nicod, Jean-Marc},
    title = {Installation et utilisation d'une pile de {PC} au Laboratoire de {Chimie des Surfaces et des Interfaces (CEA Saclay)}~: expertise},
    type = {Rapport de fin de contrat},
    institution = {CEA},
    year = 1999,
    month = oct,
    note = {10 pages},
    
    }


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

    @techreport{bm99b:bl,
    inhal = {no},
    author = {Bonhomme, A. and Mostefaoui, Ahmed},
    title = {Serveurs vid\'eo : concepts de base et prototypes},
    institution = {INRIA},
    number = 3837,
    month = dec,
    year = 1999,
    
    }


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

    @techreport{bgt99:onp,
    inhal = {no},
    author = {Boulanger, J.-L. and Mariano, G. and Tatibou\"et, Bruno},
    title = {Revisiting the {B} Language Syntax},
    institution = {Laboratoire CEDRIC-CNRAM},
    type = {Rapport de Recherche},
    number = {99-07},
    year = 1999,
    
    }


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.

    @misc{bahi99a:it,
    inhal = {no},
    author = {Bahi, Jacques},
    title = {A survey on asynchronous iterative methods},
    howpublished = {Invited Talk at the 3rd Euro Conference on Parallel and Distributed Computing in Computational Mechanics, Weimar, Allemagne},
    month = mar,
    year = 1999,
    
    }


  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.

    @misc{bahi99b:it,
    inhal = {no},
    author = {Bahi, Jacques},
    title = {Parallel Solution of Linear {DAE's} by multispltting waveform relaxation methods},
    howpublished = {Invited Talk at the 8th Int. Linear Algebra Society (ILAS) Conference, Barcelone, Espagne},
    month = jul,
    year = 1999,
    
    }


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

    @unpublished{bouquet99:onp,
    inhal = {no},
    author = {Bouquet, Fabrice},
    title = {Sur l'\'evolution de la taille des {ROBDD}},
    booktitle = {Journ\'ees ALEA'99},
    address = {Bordeaux, France},
    year = 1999,
    
    }


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

    @unpublished{chatonnay99:onp,
    inhal = {no},
    author = {Chatonnay, Pascal},
    title = {Equilibrage de charge multicrit\`ere dans {CORBA}},
    booktitle = {GDR ARP, Action Grappes, Paris VI},
    month = feb,
    year = 1999,
    
    }


  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.

    @misc{ggl99:it,
    inhal = {no},
    author = {Guyennet, Herv\'e and Garcia, Eric and Lapayre, Jean-Christophe},
    title = {Multimedia Integration in Cooperative Work},
    howpublished = {Invited Talk at Information Systems Analysis and Synthesis, Orlando, USA},
    month = jul,
    year = 1999,
    
    }


  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.

    @unpublished{julliand99:onp,
    inhal = {no},
    author = {Julliand, Jacques},
    title = {Extensions de sp\'ecifications {B} par des propri\'et\'es dynamiques v\'erifi\'ees par coop\'eration preuve model-checking},
    booktitle = {R\'eunion du BUG, INRETS},
    address = {Arcueil, France},
    month = mar,
    year = 1999,
    
    }


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

    @unpublished{jmm99:onp,
    inhal = {no},
    author = {Julliand, Jacques and Masson, Pierre-Alain and Mountassir, Hassan},
    title = {V\'erification modulaire des propri\'et\'es dynamiques introduites en {B}},
    booktitle = {Workshop Mod\'elisation et v\'erification},
    address = {Besan\c{c}on, France},
    month = dec,
    year = 1999,
    
    }


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

    @unpublished{kouchnarenko99b:onp,
    inhal = {no},
    author = {Kouchnarenko, Olga},
    title = {Combination of Proof Techniques and Model-Checking in Verifying a design by refinement and Expressiveness},
    booktitle = {S\'eminaire IRISA INRIA},
    address = {Rennes, France},
    month = feb,
    year = 1999,
    
    }


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

    @unpublished{kouchnarenko99a:onp,
    inhal = {no},
    author = {Kouchnarenko, Olga},
    title = {S\'emantique des programmes r\'ecursifs parall\`eles et m\'ethodes pour leur analyse},
    booktitle = {S\'eminaire de l'Universit\'e de Metz},
    month = feb,
    year = 1999,
    
    }


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

    @unpublished{nicod99:onp,
    inhal = {no},
    author = {Nicod, Jean-Marc},
    title = {Calcul matriciel parall\`ele avec {CORBA}},
    booktitle = {GDR ARP, Action Grappes, Paris VI},
    month = feb,
    year = 1999,
    
    }


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

    @unpublished{peter99a:onp,
    inhal = {no},
    author = {Peter, Yvan},
    title = {Introduction et pr\'esentation de {CORBA}},
    booktitle = {GDR ARP, Action Grappes, Paris VI},
    month = feb,
    year = 1999,
    
    }


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

    @unpublished{peter99b:onp,
    inhal = {no},
    author = {Peter, Yvan},
    title = {Mobilit\'es des objets dans {CORBA}},
    booktitle = {GDR ARP, Action Grappes, Paris VI},
    month = feb,
    year = 1999,
    
    }


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

    @unpublished{pp99:onp,
    inhal = {no},
    author = {Py, L. and Parreaux, Benoit},
    title = {Evaluation contrainte pour l'animation et le model-checking},
    booktitle = {Workshop Mod\'elisation et v\'erification},
    address = {Besan\c{c}on, France},
    month = dec,
    year = 1999,
    
    }


  14. Christophe Reffay. Nouvelles Technologies Educatives. Note: Séminaire de l'IUT de Douala, Cameroun, November 1999.

    @unpublished{reffay99:onp,
    inhal = {no},
    author = {Reffay, Christophe},
    title = {Nouvelles Technologies Educatives},
    note = {S\'eminaire de l'IUT de Douala, Cameroun},
    month = nov,
    year = 1999,
    
    }


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