PERP

Results: 80



#Item
1Functions and mappings / Mathematical analysis / Mathematics / Computer arithmetic / Limit of a function / Abstract interpretation / Unit in the last place / Exponentiation / Integral / Lambda calculus / Quantifier / Combinatory logic

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:42
2M-estimators / Estimator / Maximum likelihood estimation

Numerical Accuracy Improvement of programs: Principles and Experiments Nasrine Damouche 1, Matthieu Martel

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:43
3Computing / Software engineering / Mathematics / Functions and mappings / Abstract interpretation / Variable / Limit of a function / Derivative / Combinatory logic / Scala / Exponentiation / Integral

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy,

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:42
4Mathematics / Mathematical analysis / Differential calculus / Analysis / Functions and mappings / Exponentials / Exponentiation / Derivative / Lambda calculus / Lambert W function

Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine DAMOUCHE Matthieu MARTEL

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:43
5

PDF Document

Add to Reading List

Source URL: perso.univ-perp.fr

Language: French - Date: 2018-01-17 03:45:13
    6

    Amélioration à la Compilation de la Précision de Programmes Numériques Damouche1 , Nasrine

    Add to Reading List

    Source URL: perso.univ-perp.fr

    Language: French - Date: 2018-01-15 07:35:42
      7

      PDF Document

      Add to Reading List

      Source URL: methdb.univ-perp.fr

      - Date: 1971-06-03 00:50:30
        8

        PDF Document

        Add to Reading List

        Source URL: methdb.univ-perp.fr

        - Date: 1972-05-07 13:25:06
          9

          PDF Document

          Add to Reading List

          Source URL: methdb.univ-perp.fr

          - Date: 1970-08-20 00:35:10
            10

            PDF Document

            Add to Reading List

            Source URL: methdb.univ-perp.fr

            - Date: 1973-07-22 09:42:22
              UPDATE