Solver

Results: 737



#Item
231

Het ontwikkelen van een CUDA solver voor grote ijle matrices voor MARIN Martijn de Jong 13 februari 2012

Add to Reading List

Source URL: ta.twi.tudelft.nl

- Date: 2012-03-12 12:34:38
    232

    A new axisymmetric, multigrid based Stokes solver for compressible flow J. Weismuller, M. Mohr, H.-P. Bunge ¨ ¨ Munchen. Department of Earth and Environmental Sciences, Ludwig-Maximilians-Universitat

    Add to Reading List

    Source URL: www.geophysik.uni-muenchen.de

    - Date: 2012-04-30 12:35:40
      233

      Unconditionally Stable Transport Solver for Polymer. Knut-Andreas Lie Halvor Møll Nilsen Atgeirr Flø Rasmussen Xavier Raynaud SINTEF, Department of Applied Mathematics, Norway

      Add to Reading List

      Source URL: www.opm-project.org

      Language: English - Date: 2013-06-05 09:08:23
        234

        An Extensible SAT-solver [extended version 1.2℄ Niklas Een, Niklas Sorensson Chalmers University of Te hnology, Sweden

        Add to Reading List

        Source URL: minisat.se

        Language: English - Date: 2009-12-31 17:38:15
          235

          GLOBAN Assignment: Advanced Solver Technology 1. Design a non-trivial program analysis which computes for every predicate p/k defined by a given set S of Horn clauses, a set of argument positions [p/k]♯ ⊆ {1, . . . ,

          Add to Reading List

          Source URL: www2.imm.dtu.dk

          Language: English - Date: 2006-08-23 03:29:11
            236

            NEW RESULTS WITH LINE JACOBI PRECONDITIONING Carl Sovinec, LANL May 27, 1999 This note reports on recent findings regarding the Fortran 90 preconditioned conjugate gradient solver that is part of NIMROD. This study start

            Add to Reading List

            Source URL: www.cptc.wisc.edu

            Language: English - Date: 2003-09-07 10:23:03
              237

              Progress in NUCLEAR SCIENCE and TECHNOLOGY, Vol. 2, ppARTICLE Implementation of Transient Neutron Transport Solver in ASTERIA-FBR Toshihisa YAMAMOTO1,* ,Hiroshi ENDO1

              Add to Reading List

              Source URL: www.aesj.or.jp

              Language: English - Date: 2012-01-04 00:27:57
                238

                SuperLU Implementation and Timings CRS (with implementation help from Xiaoye Li), 8/6/03 • SuperLU is a sparse direct solver package that is part of the ACTS collection—source can be downloaded. • Three varieties:

                Add to Reading List

                Source URL: www.cptc.wisc.edu

                Language: English - Date: 2003-09-06 21:50:46
                  239

                  Polsat: A Portfolio LTL Satisfiability Solver Jianwen Li1 , Geguang Pu1 , Lijun Zhang2 , Yinbo Yao1 , Moshe Y. Vardi3 , and Jifeng He1 1 2

                  Add to Reading List

                  Source URL: www.lab205.org

                  Language: English
                    240

                    Delft University of Technology Faculty of Electrical Engineering, Mathematics and Computer Science Delft Institute of Applied Mathematics Improving the linear solver used in the interactive wave model of a real-time ship

                    Add to Reading List

                    Source URL: ta.twi.tudelft.nl

                    Language: English - Date: 2009-09-09 11:12:03
                      UPDATE