Rocquencourt

Results: 247



#Item
31

Statistically profiling memory in OCaml Jacques-Henri Jourdan MPI-SWS, Inria Paris-Rocquencourt 1

Add to Reading List

Source URL: ocaml.org

- Date: 2018-04-03 23:15:07
    32

    The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping Alexandre Miquel1 INRIA Rocquencourt – Projet LogiCal BP 105, Le Chesnay cedex, France

    Add to Reading List

    Source URL: www.fing.edu.uy

    - Date: 2015-05-12 11:26:49
      33

      Efficient Secure Compilation Using Micro-Policies Advisor: C˘at˘alin Hrit¸cu Institition: INRIA Paris-Rocquencourt, Prosecco Team Location: 23 Avenue d’Italie, Paris, France Language: Engl

      Add to Reading List

      Source URL: prosecco.gforge.inria.fr

      - Date: 2015-01-06 04:42:57
        34

        A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego

        Add to Reading List

        Source URL: gallium.inria.fr

        - Date: 2012-10-03 13:24:30
          35

          Stochastic models of protein production with feedback Renaud Dessalles joint work with Vincent Fromion and Philippe Robert INRA Jouy-en-Josas - INRIA Rocquencourt (Fance)

          Add to Reading List

          Source URL: www.lesprobabilitesdedemain.fr

          - Date: 2016-05-18 10:17:11
            36

            Homotopy techniques for multiplication modulo triangular sets Alin Bostan Algorithms Project, INRIA Rocquencourt, 78153 Le Chesnay Cedex, France Muhammad Chowdhury

            Add to Reading List

            Source URL: www.csd.uwo.ca

            - Date: 2010-08-24 13:12:34
              37

              Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &

              Add to Reading List

              Source URL: pauillac.inria.fr

              - Date: 2004-03-15 03:30:14
                38

                From Krivine’s machine to the Caml implementations Xavier Leroy INRIA Rocquencourt 1

                Add to Reading List

                Source URL: pauillac.inria.fr

                - Date: 2005-05-18 04:32:58
                  39

                  A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface Mohab Safey el Din Universit´e Paris 6 and INRIA Paris-Rocquencourt

                  Add to Reading List

                  Source URL: www.csd.uwo.ca

                  - Date: 2009-12-11 00:45:05
                    40

                    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
                      UPDATE