Thierry

Results: 1351



#Item
61

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
    62

    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
      63

      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
        64

        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
          65

          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
            66

            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
              67

              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
                68

                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
                  69

                  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
                    70

                    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
                      UPDATE