Xavier

Results: 3028



#Item
241

Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

Add to Reading List

Source URL: pauillac.inria.fr

- Date: 2015-10-19 04:32:35
    242

    Algorithms for the Shortest and Closest Lattice Vector Problems Guillaume Hanrot and Xavier Pujol and Damien Stehlé Laboratoire LIP (U. Lyon, CNRS, ENS Lyon, INRIA, UCBL), 46 Allée d’Italie, 69364 Lyon Cedex 07, Fran

    Add to Reading List

    Source URL: perso.ens-lyon.fr

    - Date: 2011-04-29 09:30:46
      243

      Terminating BKZ Guillaume Hanrot, Xavier Pujol, and Damien Stehlé Laboratoire LIP (U. Lyon, CNRS, ENS Lyon, INRIA, UCBL), 46 Allée d’Italie, 69364 Lyon Cedex 07, France. guillaume.hanrot,xavier.pujol,damien.stehle@en

      Add to Reading List

      Source URL: perso.ens-lyon.fr

      - Date: 2011-04-29 09:33:15
        244

        Interview with Xavier Ferrer-Bonsoms and Joana Keary, directors of Englishjet. (published in Air Europa Magazine, Nº128, May 2014.) “Our cultural philosophy is to give the client exactly what they need”

        Add to Reading List

        Source URL: www.englishjet.com

        - Date: 2014-05-23 07:03:18
          245

          Bitwise  reproducible  sum     Project  D-­‐HPC   Xavier  Lapillonne  and  Boris  Peltekov       •  MoDvaDons  and  algorithms  

          Add to Reading List

          Source URL: spcl.inf.ethz.ch

          - Date: 2014-01-10 05:34:47
            246

            PDF Document

            Add to Reading List

            Source URL: www.xavier.edu

            - Date: 2009-11-04 14:25:48
              247

              Mechanized semantics for compiler verification or: CompCert’s tortuous path through semantics land Xavier Leroy INRIA Paris-Rocquencourt

              Add to Reading List

              Source URL: pauillac.inria.fr

              - Date: 2012-12-13 01:33:53
                248

                Microsoft Word - XAVIER ZUBIRI REVIEW cover pagedoc

                Add to Reading List

                Source URL: www.zubiri.org

                - Date: 2015-07-26 19:30:21
                  249

                  Evaluation properties of invariant polynomials ´ Xavier Dahan a Eric Schost b Jie Wu b,c a College

                  Add to Reading List

                  Source URL: www.csd.uwo.ca

                  - Date: 2008-12-16 23:33:15
                    250

                    Auditorio Xavier Scheifler y de Amézaga TRACK 2 Itinerario 9:30 hrs

                    Add to Reading List

                    Source URL: 2015.mexico.wordcamp.org

                    - Date: 2015-11-05 16:43:52
                      UPDATE