Program optimization

Results: 736



#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
2

This paper was presented as part of the main technical program at IEEE INFOCOMFeasibility and Optimization of Delay Guarantees for Non-homogeneous Flows in IEEEWLANs Yan Gao∗ , Chee Wei Tan† , Ying Hua

Add to Reading List

Source URL: www.cs.cityu.edu.hk

Language: English - Date: 2011-04-14 03:59:34
    3

    SUPPLY CHAIN OPTIMIZATION PROGRAM OVERVIEW Reducing risk. Increasing visibility. Building stronger manufacturers. The MEP Supply Chain optimization program is a strategic approach to solving the challenges of U.S. manufa

    Add to Reading List

    Source URL: www.mepsupplychain.org

    Language: English - Date: 2014-07-23 15:14:32
      4

      Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

      Add to Reading List

      Source URL: cliplab.org

      - Date: 2017-11-15 11:58:15
        5

        Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

        Add to Reading List

        Source URL: cliplab.org

        - Date: 2005-07-26 16:47:43
          6

          1st International Workshop on Dynamic Compilation for Architectural Heterogeneity and Program Optimization Austin, TX – February 4, 2017 Held in conjunction with the International Symposium on Code Generation and Optim

          Add to Reading List

          Source URL: dcahpo.files.wordpress.com

          - Date: 2016-11-25 09:09:03
            7

            A UNIFIED APPROACH TO GLOBAL PROGRAM OPTIMIZATION Gary A.

            Add to Reading List

            Source URL: drona.csa.iisc.ernet.in

            - Date: 2007-09-20 03:38:11
              8

              Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di

              Add to Reading List

              Source URL: cliplab.org

              - Date: 2011-08-06 12:15:35
                9

                Program Optimization for Faster Genetic Programming∗ Bradley J. Lucier Sudhakar Mamillapalli Jens Palsberg

                Add to Reading List

                Source URL: www.math.purdue.edu

                - Date: 2009-03-26 20:12:14
                  UPDATE