Thierry

Results: 1351



#Item
61Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J´eron IRISA/INRIA Rennes, Campus de Beaulieu, 35042 Rennes cedex, France Abstract. We

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J´eron IRISA/INRIA Rennes, Campus de Beaulieu, 35042 Rennes cedex, France Abstract. We

Add to Reading List

Source URL: www.irisa.fr

- Date: 2006-10-11 06:02:38
    62On the Complexity of Mapping Linear Chain Applications onto Heterogeneous Platforms Anne Benoit, Yves Robert and Eric Thierry LIP, ENS Lyon, 46 All´ee d’Italie, 69364 Lyon Cedex 07, France UMRUniversit´e de L

    On the Complexity of Mapping Linear Chain Applications onto Heterogeneous Platforms Anne Benoit, Yves Robert and Eric Thierry LIP, ENS Lyon, 46 All´ee d’Italie, 69364 Lyon Cedex 07, France UMRUniversit´e de L

    Add to Reading List

    Source URL: www.ens-lyon.fr

    - Date: 2008-10-17 11:11:20
      63NFC on Linux Current status and future developments Thierry Escande Collabora November 2nd, 2016

      NFC on Linux Current status and future developments Thierry Escande Collabora November 2nd, 2016

      Add to Reading List

      Source URL: www.linuxplumbersconf.org

      - Date: 2016-11-09 10:11:29
        64arXiv:1609.03863v1 [math.DG] 13 SepLorentzian Kleinian Groups Thierry Barbot∗ Abstract

        arXiv:1609.03863v1 [math.DG] 13 SepLorentzian Kleinian Groups Thierry Barbot∗ Abstract

        Add to Reading List

        Source URL: arxiv.org

        - Date: 2016-09-13 20:23:20
          65MESURE, INTEGRATION, PROBABILITES Thierry Gallouët Raphaèle Herbin 10 février 2016

          MESURE, INTEGRATION, PROBABILITES Thierry Gallouët Raphaèle Herbin 10 février 2016

          Add to Reading List

          Source URL: www.i2m.univ-amu.fr

          - Date: 2016-02-10 10:24:15
            66In Memoriam: Philippe SmetsHughes Bersini1 , Thierry Denœux2 , Didier Dubois3 , Henri Prade3 1 IRIDIA - Universit´e Libre de Buxelles 50 av. Roosevelt, CP 194-6, 1050 Bruxelles, Belgium

            In Memoriam: Philippe SmetsHughes Bersini1 , Thierry Denœux2 , Didier Dubois3 , Henri Prade3 1 IRIDIA - Universit´e Libre de Buxelles 50 av. Roosevelt, CP 194-6, 1050 Bruxelles, Belgium

            Add to Reading List

            Source URL: www.ecsqaru.org

            - Date: 2006-09-28 06:05:11
              67Université Aix Marseille Master 2 de mathématiques Equations aux dérivées partielles Thierry Gallouët, Raphaèle Herbin 10 novembre 2016

              Université Aix Marseille Master 2 de mathématiques Equations aux dérivées partielles Thierry Gallouët, Raphaèle Herbin 10 novembre 2016

              Add to Reading List

              Source URL: www.i2m.univ-amu.fr

              - Date: 2016-11-10 17:25:48
                68GridEcon: A Market Place for Computing Resources Jörn Altmann1,5, Costas Courcoubetis2, George D. Stamoulis2, Manos Dramitinos2, Thierry Rayna4, Marcel Risch1, and Chris Bannink3 1 International University in Germany,

                GridEcon: A Market Place for Computing Resources Jörn Altmann1,5, Costas Courcoubetis2, George D. Stamoulis2, Manos Dramitinos2, Thierry Rayna4, Marcel Risch1, and Chris Bannink3 1 International University in Germany,

                Add to Reading List

                Source URL: nes.aueb.gr

                - Date: 2013-09-14 08:34:35
                  69Report from Dagstuhl SeminarSymbolic Methods in Testing Edited by Thierry Jéron1 , Margus Veanes2 , and Burkhart Wolff3

                  Report from Dagstuhl SeminarSymbolic Methods in Testing Edited by Thierry Jéron1 , Margus Veanes2 , and Burkhart Wolff3

                  Add to Reading List

                  Source URL: drops.dagstuhl.de

                  - Date: 2013-05-13 04:02:17
                    70Cours HERMES 5.1 Introduction 1 jour, sans certification 14 avril 2016 Formation délivrée par Thierry Bonjour, intervenant formation HERMES auprès de la Confédération Suisse.

                    Cours HERMES 5.1 Introduction 1 jour, sans certification 14 avril 2016 Formation délivrée par Thierry Bonjour, intervenant formation HERMES auprès de la Confédération Suisse.

                    Add to Reading List

                    Source URL: www.aso-organisation.ch

                    - Date: 2016-01-19 05:04:24