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

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

• Economy
• Computational science
• Numerical analysis
• Computer science
• Validation
• Electromagnetism
• Quantitative analyst
• Business

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

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

• Computing
• Computational science
• Software engineering
• Applied mathematics
• Numerical analysis
• Alternatives to animal testing
• Computer simulation
• Scientific modeling
• Virtual reality
• Numerical modeling
• Simulation
• Numerical stability

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

Source URL: www.lix.polytechnique.fr

• Theoretical computer science
• Formal methods
• French Institute for Research in Computer Science and Automation
• Computer science
• Verification
• Formal verification
• Software verification
• Mathematics
• Cognitive science

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

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

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

Source URL: www.jcprg.org

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

Source URL: www.jcprg.org

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,

Source URL: lara.epfl.ch

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

Source URL: www.aerionsupersonic.com

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

Source URL: www2.mmm.ucar.edu

Microsoft PowerPoint - lacsi-sans-1006

Source URL: www.cs.rice.edu

• Software
• Mathematical software
• Application software
• Numerical software
• Numerical linear algebra
• Array programming languages
• Econometrics software
• ScaLAPACK
• PBLAS
• LAPACK
• Basic Linear Algebra Subprograms
• MATLAB