LIP6

Results: 384



#Item
1Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS  NSV3, Third International Workshop on Numerical

Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2010-07-21 10:31:13
2Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Add to Reading List

Source URL: perso.ensta-paristech.fr

Language: English - Date: 2012-12-19 06:23:54
3

PDF Document

Add to Reading List

Source URL: pages.lip6.fr

- Date: 2015-12-25 07:49:26
    4

    PDF Document

    Add to Reading List

    Source URL: sma.lip6.fr

    - Date: 2010-11-08 10:19:51
      5

      PDF Document

      Add to Reading List

      Source URL: pages.lip6.fr

      - Date: 2015-07-20 09:51:32
        6

        PDF Document

        Add to Reading List

        Source URL: sma.lip6.fr

        - Date: 2012-06-13 10:20:41
          7

          PDF Document

          Add to Reading List

          Source URL: www-soc.lip6.fr

          - Date: 2018-03-28 08:32:58
            8

            PDF Document

            Add to Reading List

            Source URL: sma.lip6.fr

            - Date: 2012-11-26 11:07:16
              9

              PDF Document

              Add to Reading List

              Source URL: sma.lip6.fr

              - Date: 2012-11-26 04:25:21
                10

                PDF Document

                Add to Reading List

                Source URL: sma.lip6.fr

                - Date: 2013-02-25 11:48:34