Publications of year 1996

BACK TO COATI PUBLICATION INDEX

Publications of year 1996

Books and proceedings
  1. A. Ferreira and P. Pardalos, editors. Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques, volume 1054 of LNCS State-of-the-Art Surveys. Springer-Verlag, 1996. 
    @BOOK{FePa96,
EDITOR = {A. Ferreira and P. Pardalos},
KEY = {b-edition},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS State-of-the-Art Surveys},
TITLE = {{Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques}},
VOLUME = {1054},
YEAR = {1996},

}

     
  2. A. Ferreira, J. Rolim, Y. Saad, and T. Yang, editors. Parallel Algorithms for Solving Irregularly Structured Problems -- Irregular'96, volume 1117 of Lecture Notes in Computer Science. Springer-Verlag, 1996. 
    @BOOK{FRST96,
EDITOR = {A. Ferreira and J. Rolim and Y. Saad and T. Yang},
KEY = {b-edition},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{Parallel Algorithms for Solving Irregularly Structured Problems -- Irregular'96}},
VOLUME = {1117},
YEAR = {1996},

}

     
  3. A. Ferreira and J. Rolim, editors. Theoretical Computer Science -- Special Issue on Irregularly Structured Problems. North-Holland, 1996. 
    @BOOK{FeRo96,
EDITOR = {A. Ferreira and J. Rolim},
KEY = {e-editor},
PUBLISHER = {North-Holland},
TITLE = {{Theoretical Computer Science -- Special Issue on Irregularly Structured Problems}},
YEAR = {1996},

}

     
Thesis
  1. L. Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. Ph.D. Thesis, 193 pp., University of Turin, October 1996. [POSTSCRIPT ] 
    @PhdThesis{Liq96b,
author = "Liquori, L.",
title = "Type {A}ssigment {S}ystems for {L}ambda {C}alculi and for the {L}ambda {C}alculus of {O}bjects",
school = "University of Turin",
type = "Ph.D. Thesis, 193 pp.",
year = "1996",
month = "October",
POSTSCRIPT= {http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/phd.ps.gz},

}

     
Articles in journal or book's chapters
  1. R. Corrêa and A. Ferreira. Parallel Best-First Branch-and-Bound in Discrete Optimization: A Framework. In A. Ferreira and P. Pardalos, editors,Solving Combinatorial Optimization Problems in Parallel, volume 1054 of LNCS State-of-the-Art Surveys, pages 171--200. Springer-Verlag, 1996. 
    @INCOLLECTION{CoFe96,
AUTHOR = {R. Corr\^ea and A. Ferreira},
BOOKTITLE = {Solving Combinatorial Optimization Problems in Parallel},
EDITOR = {A. Ferreira and P. Pardalos},
KEY = {bc-chapter},
PAGES = {171--200},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS State-of-the-Art Surveys},
TITLE = {{Parallel Best-First Branch-and-Bound in Discrete Optimization: A Framework}},
VOLUME = {1054},
YEAR = {1996},

}

     
  2. A. Ferreira. Parallel and Communication Algorithms for Hypercube Multiprocessors. In A. Zomaya, editor,Handbook of Parallel and Distributed Computing, chapter 19, pages 568--589. McGraw-Hill, New York (USA), 1996. 
    @INCOLLECTION{Fer96,
AUTHOR = {A. Ferreira},
ADDRESS = {New York (USA)},
BOOKTITLE = {Handbook of Parallel and Distributed Computing},
CHAPTER = {19},
EDITOR = {A. Zomaya},
KEY = {bc-chapter},
PAGES = {568--589},
PUBLISHER = {McGraw-Hill},
TITLE = {{Parallel and Communication Algorithms for Hypercube Multiprocessors}},
YEAR = {1996},

}

     
  3. A. Ferreira and P. Pardalos. SCOOP -- Solving Combinatorial Optimization Problems in Parallel. In A. Ferreira and P. Pardalos, editors,Solving Combinatorial Optimization Problems in Parallel, volume 1054 of LNCS State-of-the-Art Surveys, pages 1--6. Springer-Verlag, 1996. 
    @INCOLLECTION{FePa96b,
AUTHOR = {A. Ferreira and P. Pardalos},
BOOKTITLE = {Solving Combinatorial Optimization Problems in Parallel},
EDITOR = {A. Ferreira and P. Pardalos},
KEY = {bc-chapter},
PAGES = {1--6},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS State-of-the-Art Surveys},
TITLE = {{{SCOOP -- Solving} Combinatorial Optimization Problems in Parallel}},
VOLUME = {1054},
YEAR = {1996},

}

     
  4. F. Baude, F. Belloncle, D. Caromel, N. Furmento, P. Mussi, Y. Roudier, and G. Siegel. Parallel Object-Oriented Programming for Parallel Simulations. Information Sciences, 1996. 
    @ARTICLE{BBCFMRS96a,
AUTHOR = {F. Baude and F. Belloncle and D. Caromel and N. Furmento and P. Mussi and Y. Roudier and G. Siegel},
JOURNAL = {{Information Sciences}},
PUBLISHER = {Elsevier},
TITLE = {{Parallel Object-Oriented Programming for Parallel Simulations}},
YEAR = {1996} 
}

     
  5. J-C. Bermond and F.O. Ergincan. Bus Interconnection Networks. Discrete Applied Mathematics, 68:1-15, 1996. [PDF ] 
    @Article{BeEr96,
author = {J-C. Bermond and F.O. Ergincan},
title = {Bus Interconnection Networks},
Journal= { Discrete Applied Mathematics},
year = {1996},
Volume="68",
Pages="1-15",
PDF={http://www-sop.inria.fr/members/Jean-Claude.Bermond/PUBLIS/BeEr96.pdf},

}

     
  6. J-C. Bermond, C. Peyrat, I. Sakho, and M. Tchuente. Parallelization of Gauss elimination algorithm on systolic arrays. Journal of Parallel and Distributed Computing, 33:69--75, 1996. 
    @Article{BPST96,
Author="J-C. Bermond and C. Peyrat and I. Sakho and M. Tchuente",
Title="Parallelization of Gauss elimination algorithm on systolic arrays",
Journal="Journal of Parallel and Distributed Computing",
Year="1996",
Volume="33",
Pages="69--75" 
}

     
  7. P. Berthomé, A. Ferreira, and S. Pérennes. Decomposing hierarchical Cayley graphs, with applications to information dissemination and algorithm design. IEEE Transactions on Parallel and Distributed Systems, 7(12):1292--1300, December 1996. 
    @article{BFP96,
author= { P. Berthom\'e and A. Ferreira and S. P\'erennes },
journal= { IEEE Transactions on Parallel and Distributed Systems },
key= { j-journal },
month= { December },
number= { 12 },
pages= { 1292--1300 },
title= { {Decomposing hierarchical {Cayley} graphs, with applications to information dissemination and algorithm design} },
volume= { 7 },
year= { 1996 },

}

     
  8. O. Bournez and M. Cosnard. On the computational power of dynamical systems and hybrid systems. Theoretical Computer Science, 168(2):417--459, 1996. 
    @article{BoCo96,
author={O. Bournez and M. Cosnard},
title={On the computational power of dynamical systems and hybrid systems},
journal={Theoretical Computer Science},
volume={168},
number={2},
year={1996},
pages={417--459},

}

     
  9. C. Cooper, A. Frieze, M. Molloy, and B. Reed. Perfect matchings in random $r$-regular, $s$-uniform hypergraphs. Combin. Probab. Comput., 5(1):1--14, 1996. 
    @article {MR1395689,
AUTHOR = {Cooper, C. and Frieze, A. and Molloy, M. and Reed, B.},
TITLE = {Perfect matchings in random {$r$}-regular, {$s$}-uniform hypergraphs},
JOURNAL = {Combin. Probab. Comput.},
VOLUME = {5},
YEAR = {1996},
NUMBER = {1},
PAGES = {1--14},

}

     
  10. A. Ferreira, A. Goldman, and S. W. Song. Gossiping in bus interconnection networks. Parallel Algorithms and Applications, 8:309--331, 1996.
    Note: Special Issue on Algorithms for Enhanced Meshes. 
    @ARTICLE{FGS96,
AUTHOR = {A. Ferreira and A. Goldman and S. W. Song},
JOURNAL = {Parallel Algorithms and Applications},
KEY = {j-journal},
NOTE = {Special Issue on Algorithms for Enhanced Meshes},
PAGES = {309--331},
TITLE = {{Gossiping in bus interconnection networks}},
VOLUME = {8},
YEAR = {1996},

}

     
  11. A. Ferreira and M. Grammatikakis. Randomized routing in generalized hypercubes. Theoretical Computer Science, 158(1--2):53--64, 1996. 
    @ARTICLE{FeGr96,
AUTHOR = {A. Ferreira and M. Grammatikakis},
JOURNAL = {Theoretical Computer Science},
KEY = {j-journal},
NUMBER = {1--2},
PAGES = {53--64},
TITLE = {{Randomized routing in generalized hypercubes}},
VOLUME = {158},
YEAR = {1996},

}

     
  12. A. Ferreira and J.M. Robson. Fast and Scalable Parallel Algorithms for Knapsack and Similar Problems. Journal of Parallel and Distributed Computing, 39(1):1--13, November 1996. 
    @ARTICLE{FeRo96b,
AUTHOR = {A. Ferreira and J.M. Robson},
JOURNAL = {Journal of Parallel and Distributed Computing},
KEY = {j-journal},
MONTH = {November},
NUMBER = {1},
PAGES = {1--13},
TITLE = {{Fast and Scalable Parallel Algorithms for Knapsack and Similar Problems}},
VOLUME = {39},
YEAR = {1996},

}

     
  13. S. E. Markossian, G. S. Gasparian, and B. A. Reed. $\beta$-perfect graphs. J. Combin. Theory Ser. B, 67(1):1--11, 1996. 
    @article {MR1385380,
AUTHOR = {Markossian, S. E. and Gasparian, G. S. and Reed, B. A.},
TITLE = {{$\beta$}-perfect graphs},
JOURNAL = {J. Combin. Theory Ser. B},
VOLUME = {67},
YEAR = {1996},
NUMBER = {1},
PAGES = {1--11},

}

     
  14. B. Reed, N. Robertson, P. Seymour, and R. Thomas. Packing directed circuits. Combinatorica, 16(4):535--554, 1996. 
    @article {MR1433641,
AUTHOR = {Reed, B. and Robertson, N. and Seymour, P. and Thomas, R.},
TITLE = {Packing directed circuits},
JOURNAL = {Combinatorica},
VOLUME = {16},
YEAR = {1996},
NUMBER = {4},
PAGES = {535--554},

}

     
  15. B. A. Reed and F. B. Shepherd. The Gallai-Younger conjecture for planar graphs. Combinatorica, 16(4):555--566, 1996. 
    @article {MR1433642,
AUTHOR = {Reed, B. A. and Shepherd, F. B.},
TITLE = {The {G}allai-{Y}ounger conjecture for planar graphs},
JOURNAL = {Combinatorica},
VOLUME = {16},
YEAR = {1996},
NUMBER = {4},
PAGES = {555--566},

}

     
  16. B. Reed. Paths, stars and the number three. Combin. Probab. Comput., 5(3):277--295, 1996. 
    @article {MR1411088,
AUTHOR = {Reed, B.},
TITLE = {Paths, stars and the number three},
JOURNAL = {Combin. Probab. Comput.},
VOLUME = {5},
YEAR = {1996},
NUMBER = {3},
PAGES = {277--295},

}

     
Conference's articles
  1. M. Badel, T. de Pretto, P. Mussi, and G. Siegel. Stat-Tool: An extensible and Distributed Object Oriented Statistic Tool for Discrete Event Simulation. In Object Oriented Simulation Conference, La Jolla -- USA, January 1996. 
    @INPROCEEDINGS{BDMS96a,
AUTHOR = {M. Badel and T. de Pretto and P. Mussi and G. Siegel},
ADDRESS = {La Jolla -- USA},
BOOKTITLE = {{Object Oriented Simulation Conference}},
MONTH = {January},
YEAR = {1996},
TITLE = {{S}tat-{T}ool: {A}n {e}xtensible and {D}istributed {O}bject {O}riented {S}tatistic {T}ool for {D}iscrete {E}vent {S}imulation} 
}

     
  2. F. Baude, F. Belloncle, J-C. Bermond, D. Caromel, O. Dalle, E. Darrot, O. Delmas, N. Furmento, B. Gaujal, P. Mussi, S. Pérennes, Y. Roudier, G. Siegel, and M. Syska. The it SLOOP project: Simulations, Parallel Object-Oriented Languages, Interconnection Networks. In 2nd European School of Computer Science, Parallel Programming Environments for High Performance Computing it ESPPE'96, Alpe d'Huez, pages 85--88, April 1996. [PDF ] 
    @inproceedings{BBB+96,
author = {F. Baude and F. Belloncle and J-C. Bermond and D. Caromel and O. Dalle and E. Darrot and O. Delmas and N. Furmento and B. Gaujal and P. Mussi and S. P\'erennes and Y. Roudier and G. Siegel and M. Syska},
address = {Alpe d'Huez},
booktitle = {{2nd European School of Computer Science, Parallel Programming Environments for High Performance Computing {\it ESPPE'96}}},
month = {April},
pages = {85--88},
title = {{The {\it SLOOP} project: Simulations, Parallel Object-Oriented Languages, Interconnection Networks}},
year = {1996},
PDF={http://www-sop.inria.fr/members/Jean-Claude.Bermond/PUBLIS/BBB+96.pdf},

}

     
  3. J-C. Bermond, L. Gargano, S. Pérennes, A.A. Rescigno, and U. Vaccaro. Efficient Collective Communications in Optical Networks. In Proc.23nd ICALP96, Paderborn, Germany Lecture Notes in Computer Science, 1099, pages 574--585, 1996. Springer verlag. [POSTSCRIPT ] 
    @InProceedings{BGPRV96,
author={J-C. Bermond and L. Gargano and S. P\'erennes and A.A. Rescigno and U. Vaccaro},
Title={Efficient Collective Communications in Optical Networks},
BookTitle= {Proc.23nd ICALP96, Paderborn, Germany Lecture Notes in Computer Science, 1099},
Year={1996},
Pages="574--585",
Publisher={Springer verlag},
POSTSCRIPT={http://www-sop.inria.fr/mascotte/personnel/Jean-Claude.Bermond/SOURCEPS/BGPRV96.ps},

}

     
  4. J-C. Bermond, T. Kodate, and S. Perennes. Gossiping in Cayley graphs by packets. In Proceedings of the Franco-Japanese conference Brest July 95, volume Lecture Notes in Computer Science, 1120, pages 301-315, 1996. Springer verlag. [PDF ] 
    @inproceedings{BKP96,
author={J-C. Bermond and T. Kodate and S. Perennes},
title={Gossiping in Cayley graphs by packets},
booktitle={Proceedings of the Franco-Japanese conference Brest July 95},
year={1996},
Volume={Lecture Notes in Computer Science, 1120},
Pages="301-315",
Publisher={Springer verlag},
PDF={http://www-sop.inria.fr/members/Jean-Claude.Bermond/PUBLIS/BKP96.pdf},

}

     
  5. J-C. Bermond, A. Marchetti, and X. Munoz. Induced broadcasting algorithms in iterated line digraphs. In Proc. Conference EUROPAR96, Lyon, August 96, Lecture Notes in Computer Science, 1123, pages 313--324, 1996. Springer Verlag. 
    @InProceedings{BMM96,
Author= {J-C. Bermond and A. Marchetti and X. Munoz},
Title= {Induced broadcasting algorithms in iterated line digraphs},
BookTitle={Proc. Conference EUROPAR96, Lyon, August 96, Lecture Notes in Computer Science, 1123},
Year={1996},
Pages="313--324",
Publisher={Springer Verlag},

}

     
  6. P. Berthomé and A. Ferreira. Improved embeddings in POPS networks through stack-graph models. In Proceedings of the 3rd IEEE International Conference on Massively Parallel Processing using Optical Interconnections -- MPPOI'96, pages 130--136, October 1996. IEEE CS Press. 
    @INPROCEEDINGS{BeFe96,
AUTHOR = {P. Berthom\'e and A. Ferreira},
BOOKTITLE = {Proceedings of the 3rd IEEE International Conference on Massively Parallel Processing using Optical Interconnections -- MPPOI'96},
KEY = {p-congint},
MONTH = {October},
PAGES = {130--136},
PUBLISHER = {IEEE CS Press},
TITLE = {{Improved embeddings in {POPS} networks through stack-graph models}},
YEAR = {1996},

}

     
  7. V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In MFCS, International Symposium of Mathematical Foundation of Computer Science, volume 1113 of Lecture Notes in Computer Science, pages 218--229, 1996. Springer Verlag. [POSTSCRIPT ] 
    @InProceedings{BBL96,
author = "Bono, V. and Bugliesi, M. and Liquori, L.",
title = "A {L}ambda {C}alculus of {I}ncomplete {O}bjects",
booktitle = "MFCS, International Symposium of Mathematical Foundation of Computer Science",
pages = "218--229",
volume = "1113",
series = lncs,
publisher = {Springer Verlag},
month = "",
year = "1996",
POSTSCRIPT = {http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/asian-96.ps.gz},

}

     
  8. H. Bourdin, A. Ferreira, and K. Marcus. On stack-graph OPS-based lightwave networks. In L. Bougé, P. Fraigniaud, A. Mignotte, and Y. Robert, editors, Proceedings of EuroPar'96, volume 1123 of Lecture Notes in Computer Science, Lyon (F), pages 218--221, October 1996. Springer-Verlag. 
    @INPROCEEDINGS{BFM96,
AUTHOR = {H. Bourdin and A. Ferreira and K. Marcus},
ADDRESS = {Lyon (F)},
BOOKTITLE = {Proceedings of EuroPar'96},
EDITOR = {L. Boug\'e and P. Fraigniaud and A. Mignotte and Y. Robert},
KEY = {p-congint},
MONTH = {October},
PAGES = {218--221},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{On stack-graph {OPS}-based lightwave networks}},
VOLUME = {1123},
YEAR = {1996},

}

     
  9. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. A Linear Logic Calculus of Objects. In The MIT Press, editor, JICSLP, Joint International Conference and Symposium on Logic Programming, pages 67--81, 1996. [POSTSCRIPT ] 
    @InProceedings{BDLM96,
author = {M. Bugliesi and G. Delzanno and L. Liquori and M. Martelli},
title = {A {L}inear {L}ogic {C}alculus of {O}bjects},
booktitle = {JICSLP, Joint International Conference and Symposium on Logic Programming},
pages = {67--81},
year = {1996},
editor = {The MIT Press},
POSTSCRIPT= {http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/jicslp-96.ps.gz},

}

     
  10. D. Caromel, P. Dzwig, R. Kauffman, H. Liddell, A. McEwan, P. Mussi, Johnathan Poole, M. Rigg, and R. Winder. EC++ -- EUROPA Parallel C++ : A Draft Definition. In Proceedings of High-Performance Computing and Networking (HPCN'96), volume 1067, pages 848--857, April 1996. Springer, Lectures Notes in Computer Science (LNCS). 
    @InProceedings{HPCN-caro,
author = {D. Caromel and P. Dzwig and R. Kauffman and H. Liddell and A. McEwan and P. Mussi and Johnathan Poole and M. Rigg and R. Winder},
title = {EC++ -- EUROPA Parallel C++ : A Draft Definition},
booktitle = {Proceedings of High-Performance Computing and Networking (HPCN'96)},
year = {1996},
publisher= {Springer, Lectures Notes in Computer Science (LNCS)},
month = {April},
volume = {1067},
ISBN ={3-540-61142-8},
pages = {848--857} 
}

     
  11. R. Corrêa, A. Ferreira, and P. Rebreyend. Algorithmes génétiques ``intelligents'' pour l'ordonnancement de tâches. In Proceedings of the 8ème Rencontres du Parallélisme, Bordeaux, May 1996. 
    @INPROCEEDINGS{sched.renpar:cn,
AUTHOR = {R. Corr\^ea and A. Ferreira and P. Rebreyend},
ADDRESS = {Bordeaux},
BOOKTITLE = {Proceedings of the 8\`eme Rencontres du Parall\'elisme},
KEY = {qf-congnat},
MONTH = {May},
TITLE = {{Algorithmes g\'en\'etiques ``intelligents'' pour l'ordonnancement de t\^aches}},
YEAR = {1996},

}

     
  12. R. Corrêa, A. Ferreira, and P. Rebreyend. Integrating list heuristics in genetic algorithms for multiprocessor scheduling. In Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing -- SPDP'96, New Orleans (USA), pages 462--469, October 1996. IEEE CS Press. 
    @INPROCEEDINGS{CFR96,
AUTHOR = {R. Corr\^ea and A. Ferreira and P. Rebreyend},
ADDRESS = {New Orleans (USA)},
BOOKTITLE = {Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing -- SPDP'96},
KEY = {p-congint},
MONTH = {October},
PAGES = {462--469},
PUBLISHER = {IEEE CS Press},
TITLE = {{Integrating list heuristics in genetic algorithms for multiprocessor scheduling}},
YEAR = {1996},

}

     
  13. O. Dalle. LoadBuilder: A tool for generating and modeling workloads in distributed workstations environments. In K. Yetongnon and S. Hariri, editors, Proceedings of Parallel and Distributed Computing Systems (PDCS'96), volume 1, Dijon (France), pages 248--253, September 1996. International Society for Computers and their Applications (ISCA). 
    @INPROCEEDINGS{Dal96a,
AUTHOR = {O. Dalle},
ADDRESS = {Dijon (France)},
BOOKTITLE = {Proceedings of Parallel and Distributed Computing Systems (PDCS'96)},
EDITOR = {K. Yetongnon and S. Hariri},
MONTH = sep,
ISBN = {1-880843-17-X},
ORGANIZATION = {International Society for Computers and their Applications (ISCA)},
PAGES = {248--253},
TITLE = {{LoadBuilder}: A tool for generating and modeling workloads in distributed workstations environments},
VOLUME = {1},
YEAR = {1996} 
}

     
  14. T. Duboux and A. Ferreira. Achieving Good Performance for Dictionary Machines: A Scalable Distributed Data Balancing Technique. In Proceedings of Euromicro's 4th Workshop on Parallel and Distributed Processing, Braga, Portugal, 1996. IEEE Press. 
    @INPROCEEDINGS{DuFe96,
AUTHOR = {T. Duboux and A. Ferreira},
ADDRESS = {Braga, Portugal},
BOOKTITLE = {Proceedings of Euromicro's 4th Workshop on Parallel and Distributed Processing},
KEY = {p-congint},
PUBLISHER = {IEEE Press},
TITLE = {{Achieving Good Performance for Dictionary Machines: A Scalable Distributed Data Balancing Technique}},
YEAR = {1996},

}

     
  15. A. Ferreira and K. Marcus. A theoretical framework for the design of lightwave networks. In F. Dehne and B. Hodson, editors, Proceedings of The 10th IEEE Annual International Symposium on High Performance Computers -- HPCS'96, Ottawa, June 1996. IEEE Press.
    Note: CD-ROM. 
    @INPROCEEDINGS{FeMa96,
AUTHOR = {A. Ferreira and K. Marcus},
ADDRESS = {Ottawa},
BOOKTITLE = {{Proceedings of The 10th IEEE Annual International Symposium on High Performance Computers -- HPCS'96}},
EDITOR = {F. Dehne and B. Hodson},
KEY = {p-congint},
MONTH = {June},
NOTE = {CD-ROM},
PUBLISHER = {IEEE Press},
TITLE = {{A theoretical framework for the design of lightwave networks}},
YEAR = {1996},

}

     
  16. B. Gaujal, A. Jean-Marie, P. Mussi, and G.Siegel. High Speed Simulation of Discrete Event Systems by Mixing Process Oriented and Equational Approaches. In Environments and Tools for Parallel Scientific Computing, Faverges de la Tour -- France, August 1996. 
    @INPROCEEDINGS{GJMS96a,
AUTHOR = {B. Gaujal and A. Jean-Marie and P. Mussi and G.Siegel},
ADDRESS = {Faverges de la Tour -- France},
BOOKTITLE = {{Environments and Tools for Parallel Scientific Computing}},
MONTH = {August},
TITLE = {{High Speed Simulation of Discrete Event Systems by Mixing Process Oriented and Equational Approaches}},
YEAR = {1996},

}

     
  17. C. Gavoille and S. Pérennes. Memory Requirements for Routing in Distributed Networks (Extended Abstract). In PODC, pages 125-133, 1996.
    Note: Best student paper award. 
    @inproceedings{GaPe96a,
author = {C. Gavoille and S. P\'erennes},
title = {Memory Requirements for Routing in Distributed Networks (Extended Abstract)},
booktitle = {PODC},
year = {1996},
pages = {125-133},
note = {Best student paper award} 
}

     
  18. C. Gavoille and S. Pérennes. Lower Bounds for Shortest Path Interval Routing. In N. Santoro and P. G. Spirakis, editors, SIROCCO'96, The 3rd International Colloquium on Structural Information & Communication Complexity, Siena, Italy, pages 88-103, June 1996. 
    @inproceedings{GaPe96b,
author = {C. Gavoille and S. P\'erennes},
title = {Lower Bounds for Shortest Path Interval Routing},
booktitle = {SIROCCO'96, The 3rd International Colloquium on Structural Information {\&} Communication Complexity},
year = {1996},
pages = {88-103},
editor = {N. Santoro and P. G. Spirakis},
address = {Siena, Italy},
month = jun,

}

     
  19. L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. In Asian, International Conference on Concurrency and Parallelism, Programming, Networking, and Security, volume 1179 of Lecture Notes in Computer Science, pages 129--141, 1996. Springer Verlag. [POSTSCRIPT ] 
    @InProceedings{LiCa96,
author = "Liquori, L. and Castagna, G.",
title = "A {T}yped {L}ambda {C}alculus of {O}bjects",
booktitle = "Asian, International Conference on Concurrency and Parallelism, Programming, Networking, and Security",
series = lncs,
publisher = {Springer Verlag},
volume = "1179",
month = "",
year = "1996",
pages = "129--141",
POSTSCRIPT = {http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/asian-96.ps.gz},

}

     
  20. P. Mussi and G.Siegel. Extending the Prosit System to Support Distributed Simulation. In European Simulation Symposium, Genoa--Italy, October 1996. 
    @INPROCEEDINGS{MS96a,
AUTHOR = {P. Mussi and G.Siegel},
ADDRESS = {Genoa--Italy},
BOOKTITLE = {{European Simulation Symposium}},
MONTH = {October},
TITLE = {{Extending the Prosit System to Support Distributed Simulation}},
YEAR = {1996} 
}

     
Internal reports
  1. F. Baude and O. Dalle. Analyse des performances de communication du protocole PVM. Rapport de recherche 96-08, Laboratoire I3S, UPRES-A 6070 CNRS-UNSA, Mars 1996. 
    @TECHREPORT{BaDa96,
AUTHOR = {F. Baude and O. Dalle},
INSTITUTION = {{Laboratoire I3S, UPRES-A 6070 CNRS-UNSA}},
MONTH = {Mars},
NUMBER = {96-08},
TYPE = {Rapport de recherche},
TITLE = {Analyse des performances de communication du protocole {PVM}},
YEAR = {1996} 
}

     
  2. O. Dalle. LoadBuilder: A tool for generating and modeling workloads in distributed workstations environments. Rapport de recherche RR-3045, INRIA, Octobre 1996.
    Note: Version longue. 
    @TECHREPORT{Dal96b,
AUTHOR = {O. Dalle},
INSTITUTION = {{INRIA}},
MONTH = {Octobre},
NUMBER = {RR-3045},
TITLE = {{LoadBuilder}: A tool for generating and modeling workloads in distributed workstations environments},
NOTE = {Version longue},
TYPE = {Rapport de recherche},
YEAR = {1996} 
}

     
  3. L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, University of Turin, 1996. 
    @techreport{Liq96a,
author = "Liquori, L.",
title = "An {E}xtended {T}heory of {P}rimitive {O}bjects",
institution = "Computer Science Department, University of Turin",
type = "Technical Report",
number = "CS-23-96",
year = "1996",

}

     
Miscellaneous
  1. D. Coudert. Simulation de systèmes multi-processeurs à communications électroniques et optiques. Master's thesis, ENS Lyon, UCSD, San Diego (USA), with P. Marchand, 1996. [POSTSCRIPT ] 
    @MASTERSTHESIS{Cou96,
author = {D. Coudert},
title = {{Simulation de syst\`emes multi-processeurs \`a communications \'electroniques et optiques}},
school = {ENS Lyon},
year = {1996},
address = {UCSD, San Diego (USA), with P. Marchand},
postscript = {ftp://ftp-sop.inria.fr/mascotte/personnel/David.Coudert/Publication/Cou-MIM2.ps.gz} 
}

     

BACK TO COATI PUBLICATION INDEX


Last modified: Sat Jan 29 19:00:42 2022