Numerical software

Results: 1996



#Item
1Economy / Computational science / Numerical analysis / Computer science / Validation / Electromagnetism / Quantitative analyst / Business

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Add to Reading List

Source URL: nsv2015.informatik.uni-freiburg.de

Language: English - Date: 2015-02-13 04:01:05
2Computing / Computational science / Software engineering / Applied mathematics / Numerical analysis / Alternatives to animal testing / Computer simulation / Scientific modeling / Virtual reality / Numerical modeling / Simulation / Numerical stability

Numerical quality: an industrial case study on code_aster Numerical Software Verication

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2017-07-27 09:38:49
3Theoretical computer science / Formal methods / French Institute for Research in Computer Science and Automation / Computer science / Verification / Formal verification / Software verification / Mathematics / Cognitive science

Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2010-07-21 10:31:12
4

Downloaded by [the Bodleian Libraries of the University of Oxford] at 00:41 03 NovemberOptimization Methods & Software iFirst, 2011, 1–23 Evaluation complexity of adaptive cubic regularization methods

Add to Reading List

Source URL: www.numerical.rl.ac.uk

Language: English - Date: 2013-12-02 06:48:03
    5

    User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002

    Add to Reading List

    Source URL: www.jcprg.org

    Language: English - Date: 2007-03-21 06:27:04
      6

      Installation Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG ∗

      Add to Reading List

      Source URL: www.jcprg.org

      Language: English - Date: 2007-03-21 06:27:04
        7

        8 Towards a Compiler for Reals1 EVA DARULOVA2 , Max Planck Institute for Software Systems VIKTOR KUNCAK3 , Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or embedded systems,

        Add to Reading List

        Source URL: lara.epfl.ch

        - Date: 2017-05-16 05:28:09
          8

          J OB D ESCRIPTION Numerical Algorithms Software Engineer Palo Alto, CA THE COMPANY AERION CORPORATION, headquartered in Reno, Nevada, is seeking exceptionally talented,

          Add to Reading List

          Source URL: www.aerionsupersonic.com

          - Date: 2015-10-26 17:57:50
            9

            Collaborative WRF-based research and education with reproducible numerical weather prediction enabled by software containers Josh Hacker, John Exby, Dave Gill National Center for Atmospheric Research

            Add to Reading List

            Source URL: www2.mmm.ucar.edu

            - Date: 2016-07-01 14:03:00
              10Software / Mathematical software / Application software / Numerical software / Numerical linear algebra / Array programming languages / Econometrics software / ScaLAPACK / PBLAS / LAPACK / Basic Linear Algebra Subprograms / MATLAB

              Microsoft PowerPoint - lacsi-sans-1006

              Add to Reading List

              Source URL: www.cs.rice.edu

              Language: English - Date: 2006-10-18 14:13:23
              UPDATE