Saclay

Results: 649



#Item
71

Research Internship – Master M2Location : Laboratoire Sp´ecification et V´erification (LSV) Ecole Normale Suprieure Paris-Saclay

Add to Reading List

Source URL: www.lsv.fr

- Date: 2016-09-26 12:39:05
    72

    Robustness Analysis of Finite Precision Implementations Eric Goubault and Sylvie Putot CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif sur

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    - Date: 2013-10-17 03:22:47
      73

      Anna Pirani Universit´e Paris Saclay, FCS Campus Paris-Saclay, Immeuble Discovery, Route de l’Orme des Merisiers, 91190 Saint-Aubin, France Earth System Physics Section, The Abdus Salam International Centre for Theore

      Add to Reading List

      Source URL: wg1.ipcc.ch

      - Date: 2016-05-02 08:36:30
        74

        Real-Time Big Data Stream Analytics Albert Bifet Universit´e Paris-Saclay T´el´ecom ParisTech D´partement Informatique et R´eseaux 46 rue Barrault

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2015-10-12 18:48:56
          75

          Compositional analysis of Boolean networks using local fixed-point iterations A. Le Co¨ent1 , L. Fribourg2 , and R. Soulat3 1 CMLA, ENS Cachan, CNRS, Universit´e Paris-Saclay 61 av. du Pr´esident Wilson, 94235 Cachan

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2016-07-22 03:37:02
            76

            LUNDI À VENDREDI ORLY Orly Ouest – MASSY-PALAISEAU Gare RER B – SACLAY Christ (RN 306) – MONTIGNY-LE-BRETONNEUX St-Quentin Gare (av. des Prés) 06A 06A 06A:35 5:37 5:43 5:46

            Add to Reading List

            Source URL: www.albatrans.net

            - Date: 2016-08-10 10:46:38
              77

              LigneSens : ORLY Orly Ouest -MASSY Gare RER B vers SACLAY Christ (RNMONTIGNY St-Quentin Gare Nom de la Commune ORLY

              Add to Reading List

              Source URL: www.albatrans.net

              - Date: 2016-04-06 05:55:42
                78

                Fast, twist-secure elliptic curve cryptography from Q-curves Benjamin Smith Team GRACE INRIA Saclay–ˆIle-de-France ´

                Add to Reading List

                Source URL: www.cosic.esat.kuleuven.be

                - Date: 2013-09-19 10:39:36
                  79

                  Inner Approximated Reachability Analysis Eric Goubault, Olivier Mullier, Sylvie Putot CEA LIST, CEA Saclay Nano-INNOVGif-sur-Yvette, France

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2014-02-10 03:12:53
                    80

                    Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault, sylvie.putot}@cea.fr Abstract. We present a new numerical abstract domain for static

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    - Date: 2009-11-24 06:44:27
                      UPDATE