Solver

Results: 737



#Item
31physics on screen ANSA Model Checks for LS-DYNA Introduction One of the most important pre-processing tasks is to ensure the validity of a CAE model before submitting it to the solver for analysis. A good and rich suite

physics on screen ANSA Model Checks for LS-DYNA Introduction One of the most important pre-processing tasks is to ensure the validity of a CAE model before submitting it to the solver for analysis. A good and rich suite

Add to Reading List

Source URL: www.beta-cae.com

Language: English - Date: 2017-01-23 09:26:59
    32Mixed finite element solution of a semi-conductor problem by Dissection sparse direct solver Atsushi Suzuki, Cybermedia Center, Osaka University The drift-diffusion system describes state of electrostatic potential and e

    Mixed finite element solution of a semi-conductor problem by Dissection sparse direct solver Atsushi Suzuki, Cybermedia Center, Osaka University The drift-diffusion system describes state of electrostatic potential and e

    Add to Reading List

    Source URL: www.ljll.math.upmc.fr

    Language: English - Date: 2017-11-28 15:48:17
      33Direct solver and domain decomposition preconditioner for indefinite finite element matrices

      Direct solver and domain decomposition preconditioner for indefinite finite element matrices

      Add to Reading List

      Source URL: www.ljll.math.upmc.fr

      Language: English - Date: 2017-05-10 06:27:08
        34DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

        DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

        Add to Reading List

        Source URL: sygus.seas.upenn.edu

        Language: English - Date: 2017-07-30 12:53:37
          35Topology Based Linear Solver for Exploiting Sparsity in Multibody Dynamics Radu Serban1, Dan Negrut1 , Florian A. Potra2, and Edward J. Haug1 1 2

          Topology Based Linear Solver for Exploiting Sparsity in Multibody Dynamics Radu Serban1, Dan Negrut1 , Florian A. Potra2, and Edward J. Haug1 1 2

          Add to Reading List

          Source URL: homepages.cae.wisc.edu

          - Date: 2003-06-21 15:03:10
            36SPIKE::GPU A SPIKE-based preconditioned GPU Solver for Sparse Linear Systems Ang Li Andrew Seidl

            SPIKE::GPU A SPIKE-based preconditioned GPU Solver for Sparse Linear Systems Ang Li Andrew Seidl

            Add to Reading List

            Source URL: sbel.wisc.edu

            - Date: 2014-01-13 16:45:06
              37Technical Report TRSPIKE::GPU - A GPU-based Banded Linear System Solver Ang Li, Andrew Seidl, Dan Negrut

              Technical Report TRSPIKE::GPU - A GPU-based Banded Linear System Solver Ang Li, Andrew Seidl, Dan Negrut

              Add to Reading List

              Source URL: sbel.wisc.edu

              - Date: 2012-11-19 14:22:37
                38Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley

                Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley

                Add to Reading List

                Source URL: homes.cs.washington.edu

                - Date: 2017-06-23 18:20:17
                  39Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um e

                  Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um e

                  Add to Reading List

                  Source URL: homes.cs.washington.edu

                  - Date: 2017-06-23 18:20:16
                    40SpaceSearch: A Library for Building and Verifying Solver-Aided Tools

                    SpaceSearch: A Library for Building and Verifying Solver-Aided Tools

                    Add to Reading List

                    Source URL: homes.cs.washington.edu

                    - Date: 2017-09-19 17:14:19