Software optimization

Results: 2622



#Item
1On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2006-04-28 13:17:24
2Proposal for a joint “équipe projet” between Inria and UCBL, integrated to UMR LIP  Analyses, Hardware/Software Compilation, Code Optimization for Complex Dataflow HPC Applications Short temporary name: CASH (Compil

Proposal for a joint “équipe projet” between Inria and UCBL, integrated to UMR LIP Analyses, Hardware/Software Compilation, Code Optimization for Complex Dataflow HPC Applications Short temporary name: CASH (Compil

Add to Reading List

Source URL: laure.gonnord.org

Language: English - Date: 2017-10-02 03:32:24
    3Lock-Free Optimization for Non-Convex Problems Shen-Yi Zhao, Gong-Duo Zhang and Wu-Jun Li National Key Laboratory for Novel Software Technology Department of Computer Science and Technology, Nanjing University, China {zh

    Lock-Free Optimization for Non-Convex Problems Shen-Yi Zhao, Gong-Duo Zhang and Wu-Jun Li National Key Laboratory for Novel Software Technology Department of Computer Science and Technology, Nanjing University, China {zh

    Add to Reading List

    Source URL: cs.nju.edu.cn

    Language: English - Date: 2016-12-06 21:54:13
      4MASA – Statistical analysis and plan optimization solution for industrial plants Firebird SQL case study About us Elekt Labs is a Czech software company with an international scope. We develop and deploy systems

      MASA – Statistical analysis and plan optimization solution for industrial plants Firebird SQL case study About us Elekt Labs is a Czech software company with an international scope. We develop and deploy systems

      Add to Reading List

      Source URL: www.firebirdsql.org

      Language: English - Date: 2014-10-21 11:40:02
        5Retrieval Optimization of Pertinent Answers for NL Questions with the E-Librarian Service Serge Linckels,Harald Sack, Christoph Meinel Hasso Plattner Institute for Software Systems Engineering (HPI) University of Potsdam

        Retrieval Optimization of Pertinent Answers for NL Questions with the E-Librarian Service Serge Linckels,Harald Sack, Christoph Meinel Hasso Plattner Institute for Software Systems Engineering (HPI) University of Potsdam

        Add to Reading List

        Source URL: www.linckels.lu

        Language: English - Date: 2013-09-25 04:07:42
          6Latest Benchmarks of Optimization Software INFORMS Annual Meeting 2017 Houston, TX 23 October 2017 H. D. Mittelmann School of Math and Stat Sciences

          Latest Benchmarks of Optimization Software INFORMS Annual Meeting 2017 Houston, TX 23 October 2017 H. D. Mittelmann School of Math and Stat Sciences

          Add to Reading List

          Source URL: plato.asu.edu

          Language: English - Date: 2017-10-23 12:07:03
            7A Modeling the Perron-Frobenius Eigenvalue by Optimization Software In this appendix, we introduce a software implementation for modeling the Perron-Frobenius eigenvalue function encountered in the specific optimization

            A Modeling the Perron-Frobenius Eigenvalue by Optimization Software In this appendix, we introduce a software implementation for modeling the Perron-Frobenius eigenvalue function encountered in the specific optimization

            Add to Reading List

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

            Language: English - Date: 2016-08-18 01:12:14
              8IOSO OPTIMIZATION TOOLKIT – NOVEL SOFTWARE TO CREATE BETTER DESIGN. Egorov, I.N., Kretinin, G.V., Leshchenko, I.A. and Kuptzov, S.V. IOSO Technology center, Moscow, Russia e-mail:

              IOSO OPTIMIZATION TOOLKIT – NOVEL SOFTWARE TO CREATE BETTER DESIGN. Egorov, I.N., Kretinin, G.V., Leshchenko, I.A. and Kuptzov, S.V. IOSO Technology center, Moscow, Russia e-mail:

              Add to Reading List

              Source URL: www.iosotech.com

              Language: English - Date: 2015-01-22 07:30:50
                9Optimization Software Products and Services From Pintér Consulting Services & Partners Summary The development and solution of nonlinear decision models is essential in many areas of economics, engineering, and the scie

                Optimization Software Products and Services From Pintér Consulting Services & Partners Summary The development and solution of nonlinear decision models is essential in many areas of economics, engineering, and the scie

                Add to Reading List

                Source URL: www.pinterconsulting.com

                Language: English - Date: 2013-06-25 09:10:53
                  10On the implementation and usage of SDPT3 – a Matlab software package for semidefinite-quadratic-linear programming, version 4.0 Kim-Chuan Toh ∗, Michael J. Todd †, and Reha H. T¨ ut¨

                  On the implementation and usage of SDPT3 – a Matlab software package for semidefinite-quadratic-linear programming, version 4.0 Kim-Chuan Toh ∗, Michael J. Todd †, and Reha H. T¨ ut¨

                  Add to Reading List

                  Source URL: www.optimization-online.org

                  - Date: 2010-06-16 06:35:34