BibTeX records: Franco Gasperoni

download as .bib file

@inproceedings{DBLP:conf/date/AycinenaBLMGW07,
  author    = {Peggy Aycinena and
               Eric Bantegnie and
               Gerard Ladier and
               Ralph Mueller and
               Franco Gasperoni and
               Alex Wilson},
  editor    = {Rudy Lauwereins and
               Jan Madsen},
  title     = {Towards total open source in aeronautics and space?},
  booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
               {DATE} 2007, Nice, France, April 16-20, 2007},
  pages     = {1556},
  publisher = {{EDA} Consortium, San Jose, CA, {USA}},
  year      = {2007},
  url       = {https://dl.acm.org/citation.cfm?id=1266707},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/AycinenaBLMGW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/Gasperoni06,
  author    = {Franco Gasperoni},
  title     = {Safety, security, and object-oriented programming},
  journal   = {{SIGBED} Review},
  volume    = {3},
  number    = {4},
  pages     = {15--26},
  year      = {2006},
  url       = {https://doi.org/10.1145/1183088.1183092},
  doi       = {10.1145/1183088.1183092},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sigbed/Gasperoni06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Gasperoni04,
  author    = {Franco Gasperoni},
  editor    = {Albert Llamos{\'{\i}} and
               Alfred Strohmeier},
  title     = {Vector Processing in Ada},
  booktitle = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
               Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
               June 14-18, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3063},
  pages     = {321--331},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24841-5\_26},
  doi       = {10.1007/978-3-540-24841-5\_26},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/adaEurope/Gasperoni04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ComarG04,
  author    = {Cyrille Comar and
               Franco Gasperoni},
  editor    = {Ren{\'{e}} Jacquart},
  title     = {Open source in dependable systems: Current and future business models},
  booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
               Topical Sessions, 22-27 August 2004, Toulouse, France},
  series    = {{IFIP}},
  volume    = {156},
  pages     = {699--710},
  publisher = {Kluwer/Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-1-4020-8157-6\_70},
  doi       = {10.1007/978-1-4020-8157-6\_70},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/ComarG04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BriotGDCW03,
  author    = {Emmanuel Briot and
               Franco Gasperoni and
               Robert Dewar and
               Dirk Craeynest and
               Philippe Waroquiers},
  editor    = {Jean{-}Pierre Rosen and
               Alfred Strohmeier},
  title     = {Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms
               in Ada},
  booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
               Conference on Reliable Software Technologies, Toulouse, France, June
               16-20, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2655},
  pages     = {129--141},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44947-7\_9},
  doi       = {10.1007/3-540-44947-7\_9},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/adaEurope/BriotGDCW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ParkinsonG02,
  author    = {Paul Parkinson and
               Franco Gasperoni},
  editor    = {Johann Blieberger and
               Alfred Strohmeier},
  title     = {High-Integrity Systems Development for Integrated Modular Avionics
               Using VxWorks and {GNAT}},
  booktitle = {Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International
               Conference on Reliable Software Technologies, Vienna, Austria, June
               17-21, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2361},
  pages     = {163--178},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48046-3\_13},
  doi       = {10.1007/3-540-48046-3\_13},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/adaEurope/ParkinsonG02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GasperoniS98,
  author    = {Franco Gasperoni and
               Uwe Schwiegelshohn},
  title     = {List Scheduling in the Presence of Branches: {A} Theoretical Evaluation},
  journal   = {Theor. Comput. Sci.},
  volume    = {196},
  number    = {1-2},
  pages     = {347--363},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0304-3975(97)00207-7},
  doi       = {10.1016/S0304-3975(97)00207-7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/GasperoniS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Gasperoni98,
  author    = {Franco Gasperoni},
  editor    = {Lars Asplund},
  title     = {Embedded Opportunities},
  booktitle = {Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International
               Conference on Reliable Software Technologies, Uppsala, Sweden, June
               8-12, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1411},
  pages     = {1--13},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054989},
  doi       = {10.1007/BFb0054989},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/adaEurope/Gasperoni98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/ComarDG97,
  author    = {Cyrille Comar and
               Gary Dismukes and
               Franco Gasperoni},
  editor    = {Susan Carlson},
  title     = {Targeting {GNAT} to the Java Virtual Machine},
  booktitle = {Conference, The annual meeting of the Ada programming world, TRI-Ada
               1997, November 9-13, 1997, St. Louis, Missouri, {USA}},
  pages     = {149--161},
  publisher = {{ACM}},
  year      = {1997},
  url       = {https://doi.org/10.1145/269629.269646},
  doi       = {10.1145/269629.269646},
  timestamp = {Sun, 04 Aug 2019 20:42:56 +0200},
  biburl    = {https://dblp.org/rec/conf/sigada/ComarDG97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/GasperoniS96,
  author    = {Franco Gasperoni and
               Uwe Schwiegelshohn},
  editor    = {Luc Boug{\'{e}} and
               Pierre Fraigniaud and
               Anne Mignotte and
               Yves Robert},
  title     = {List Scheduling in the Presence of Branches: {A} Theoretical Evaluation},
  booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
               Lyon, France, August 26-29, 1996, Proceedings, Volume {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1124},
  pages     = {515--526},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0024743},
  doi       = {10.1007/BFb0024743},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/europar/GasperoniS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/EisenbeisGS95,
  author    = {Christine Eisenbeis and
               Franco Gasperoni and
               Uwe Schwiegelshohn},
  editor    = {Lubomir Bic and
               Paraskevas Evripidou and
               A. P. Wim B{\"{o}}hm and
               Jean{-}Luc Gaudiot},
  title     = {Allocating registers in multiple instruction-issuing processors},
  booktitle = {Proceedings of the {IFIP} {WG10.3} working conference on Parallel
               architectures and compilation techniques, {PACT} '95, Limassol, Cyprus,
               June 27-29, 1995},
  pages     = {290--293},
  publisher = {{IFIP} Working Group on Algol / {ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=224948},
  timestamp = {Thu, 07 Apr 2016 15:27:42 +0200},
  biburl    = {https://dblp.org/rec/conf/IEEEpact/EisenbeisGS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/GasperoniST95,
  author    = {Franco Gasperoni and
               Uwe Schwiegelshohn and
               John Turek},
  editor    = {Victor E. Malyshkin},
  title     = {Optimal Loop Scheduling on Multiprocessors: {A} Pumping Lemma for
               p-Processor Schedules},
  booktitle = {Parallel Computing Technologies, 3rd International Conference, PaCT-95,
               St. Petersburg, Russia, September 12-25, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {964},
  pages     = {51--56},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60222-4\_96},
  doi       = {10.1007/3-540-60222-4\_96},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/pact/GasperoniST95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/GasperoniS94,
  author    = {Franco Gasperoni and
               Uwe Schwiegelshohn},
  title     = {Generating Close to Optimum Loop Schedules on Parallel Processors},
  journal   = {Parallel Process. Lett.},
  volume    = {4},
  pages     = {391--403},
  year      = {1994},
  url       = {https://doi.org/10.1142/S0129626494000363},
  doi       = {10.1142/S0129626494000363},
  timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ppl/GasperoniS94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/GasperoniB94,
  author    = {Franco Gasperoni and
               Patrick Bazire},
  editor    = {Charles B. Engle Jr.},
  title     = {Smart Recompilation and the {GNAT} Compiler},
  booktitle = {Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11,
               1994, Baltimore, Maryland, {USA}},
  pages     = {104--111},
  publisher = {{ACM}},
  year      = {1994},
  url       = {https://doi.org/10.1145/197694.197712},
  doi       = {10.1145/197694.197712},
  timestamp = {Fri, 02 Aug 2019 15:28:55 +0200},
  biburl    = {https://dblp.org/rec/conf/sigada/GasperoniB94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/GasperoniS92,
  author    = {Franco Gasperoni and
               Uwe Schwiegelshohn},
  editor    = {Luc Boug{\'{e}} and
               Michel Cosnard and
               Yves Robert and
               Denis Trystram},
  title     = {Scheduling Loops on Parallel Processors: {A} Simple Algorithm with
               Close to Optimum Performance},
  booktitle = {Parallel Processing: {CONPAR} 92 - {VAPP} V, Second Joint International
               Conference on Vector and Parallel Processing, Lyon, France, September
               1-4, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {634},
  pages     = {625--636},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55895-0\_463},
  doi       = {10.1007/3-540-55895-0\_463},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/conpar/GasperoniS92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/SchwiegelshohnGE91,
  author    = {Uwe Schwiegelshohn and
               Franco Gasperoni and
               Kemal Ebcioglu},
  title     = {On Optimal Parallelization of Arbitrary Loops},
  journal   = {J. Parallel Distributed Comput.},
  volume    = {11},
  number    = {2},
  pages     = {130--134},
  year      = {1991},
  url       = {https://doi.org/10.1016/0743-7315(91)90118-S},
  doi       = {10.1016/0743-7315(91)90118-S},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jpdc/SchwiegelshohnGE91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/GasperoniSE89,
  author    = {Franco Gasperoni and
               Uwe Schwiegelshohn and
               Kemal Ebcioglu},
  editor    = {Vicki H. Allan},
  title     = {On optimal loop parallelization},
  booktitle = {Proceedings of the 22nd Annual Workshop and Symposium on Microprogramming
               and Microarchitecture, 1989, Dublin, Ireland, August 14-16, 1989},
  pages     = {141--147},
  publisher = {{ACM/IEEE}},
  year      = {1989},
  url       = {https://doi.org/10.1145/75362.75411},
  doi       = {10.1145/75362.75411},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/micro/GasperoniSE89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics