Eres

Results: 495



#Item
1

V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

Add to Reading List

Source URL: mebsout.github.io

Language: French - Date: 2017-07-21 11:03:15
    2

    V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

    Add to Reading List

    Source URL: cubicle.lri.fr

    Language: French - Date: 2014-01-13 12:02:51
      3

      POLYTOPES ET POINTS ENTIERS par Olivier Debarre Table des mati` eres

      Add to Reading List

      Source URL: www.math.ens.fr

      Language: French - Date: 2016-07-23 08:20:35
        4

        Secure Untrusted Data Repository (SUNDR) Jinyuan Li, Maxwell Krohn∗, David Mazi`eres, and Dennis Shasha NYU Department of Computer Science Abstract SUNDR is a network file system designed to store data

        Add to Reading List

        Source URL: cs.nyu.edu

        Language: English - Date: 2006-10-10 04:45:29
          5

          Democratizing content publication with Coral Michael J. Freedman, Eric Freudenthal, David Mazi`eres New York University http://www.scs.cs.nyu.edu/coral/ Abstract

          Add to Reading List

          Source URL: read.seas.harvard.edu

          Language: English - Date: 2018-01-22 09:47:04
            6

            Secure Untrusted Data Repository (SUNDR) Jinyuan Li, Maxwell Krohn∗, David Mazi`eres, and Dennis Shasha NYU Department of Computer Science Abstract SUNDR is a network file system designed to store data

            Add to Reading List

            Source URL: www.usenix.org

            Language: English - Date: 2004-11-19 19:00:56
              7

              Aclaraciones Concurso CPN/FSUE/FIDESe recibieron preguntas de las siguientes empresas: Constructora Yucateca Social, S. de R.L. de C.V. Corporación Ecoenergiza, S.A. de C.V. Eres Energía Renovable

              Add to Reading List

              Source URL: fsueconvocatoriaaislados.fide.org.mx

              Language: Spanish - Date: 2018-05-04 19:41:49
                8

                Premi`eres journ´ees Technologiques Robotex LAAS / CNRS Toulouse, 2 et 3 juillet 2013 Mardi 2 juillet : Panorama des laboratoires

                Add to Reading List

                Source URL: equipex-robotex.fr

                - Date: 2014-02-04 08:03:05
                  9

                  FICHA EMPODERAMIENTO ¨Sonríe, es un día excelente para estar orgullosa de SER quien eres¨ Datos personales: Apellido y Nombre: …………………………………………………………. D.N.I:……………

                  Add to Reading List

                  Source URL: empleo.cba.gov.ar

                  Language: Spanish - Date: 2016-04-19 10:16:11
                    10

                    Energy Management in Mobile Devices with the Cinder Operating System Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazi`eres Stanford University Nickolai Zeldovich MIT CSAIL

                    Add to Reading List

                    Source URL: hci.stanford.edu

                    Language: English - Date: 2010-06-03 18:59:29
                      UPDATE