Search results for "Numerical software"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller	Novel Approaches to Numerical Software with Result Verification.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
3	Erik Elmroth, Rikard Skelander	Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries.	PARA	2004	DBLP DOI BibTeX RDF	numerical software libraries, NetSolve, Grid computing, interface, SLICOT, remote computing
3	Wayne H. Enright, H. Hayashi	The evaluation of numerical software for delay differential equations.	Quality of Numerical Software	1996	DBLP BibTeX RDF
3	Christian H. Bischof	Automatic differentiation and numerical software design.	Quality of Numerical Software	1996	DBLP BibTeX RDF
3	James C. T. Pool	Is numerical software relevant? Is it too late to worry about quality?	Quality of Numerical Software	1996	DBLP BibTeX RDF
3		The Quality of Numerical Software: Assessment and Enhancement.	Quality of Numerical Software	1996	DBLP BibTeX RDF
3	L. M. Delves	Algol 68 as a Language for Numerical Software.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Victor Eijkhout, Erika Fuentes, Thomas Eidson, Jack Dongarra	The Component Structure of a Self-Adapting Numerical Software System.	International Journal of Parallel Programming	2005	DBLP DOI BibTeX RDF	Linear system solving, adaptive systems, component frameworks
2	William Kahan, Dan Zuras	An Open Question to Developers of Numerical Software.	IEEE Computer	2005	DBLP DOI BibTeX RDF	sNaNs, computing milieux, standards, numerical software
2	René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)	Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers	Numerical Software with Result Verification	2004	DBLP BibTeX RDF
2	Takahiro Katagiri, Kenji Kise, Hiroki Honda, Toshitsugu Yuba	Effect of auto-tuning with user's knowledge for numerical software.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	eigensolver, performance modeling, parameter optimization, auto-tuning, numerical library
2	Zizhong Chen, Jack Dongarra, Piotr Luszczek, Kenneth Roche	The LAPACK for Clusters Project: An Example of Self Adapting Numerical Software.	HICSS	2004	DBLP DOI BibTeX RDF
2	Jack Dongarra, Victor Eijkhout	Self-Adapting Numerical Software and Automatic Tuning of Heuristics.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
2	Pasqua D'Ambra, Marco Danelutto, Daniela di Serafino, Marco Lapegna	Integrating MPI-based numerical software into an advanced parallel computing environment.	PDP	2003	DBLP DOI BibTeX RDF
2	R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico	Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Markus Grimmer, Knut Petras, Nathalie Revol	Multiple Precision Interval Packages: Comparing Different Approaches.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	George F. Corliss, Jun Yu	Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer	Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski	Interval Algorithms in Modeling of Multibody Systems.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Daniela Fausten, Gerhard Haßlinger	Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff	Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF	chemical process analysis and design, verified solution of nonlinear systems, order–2 Taylor expansion, singularities
2	Stefan Borovac, Gerhard Heindl	Result Verification for Computational Problems in Geodesy.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Michel Kieffer, Eric Walter	Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Werner Hofschuster, Walter Krämer	C-XSC 2.0: A C++ Library for Extended Scientific Computing.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Hermann Schichl	Global Optimization in the COCONUT Project.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Katja Bühler, Eva Dyllong, Wolfram Luther	Reliable Distance and Intersection Computation Using Finite Precision Geometry.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Götz Alefeld, Günter Mayer	On Singular Interval Systems.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Sylvie Putot, Eric Goubault, Matthieu Martel	Static Analysis-Based Validation of Floating-Point Computations.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Baya Oussena, Abderrezak Henni, René Alt	An Application of Wavelet Theory to Early Breast Cancer.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	David R. Lester	Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Jürgen Wolff von Gudenberg	OOP and Interval Arithmetic - Language Support and Libraries.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
2	Ronald F. Boisvert (eds.)	Quality of Numerical Software - Assessment and Enhancement, Proceedings of the IFIP TC2/WG2.5 Working Conference on the Quality of Numerical Software, Assessment and Enhancement, Oxford, UK, 8-12 July 1996	Quality of Numerical Software	1997	DBLP BibTeX RDF
2	S. L. Lee, W. E. Schiesser	Some fundamental limitations of mathematical software revealed by the calculation of spacetime curvature.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Desmond J. Higham	Reliability of local error control algorithms for initial value ordinary differential equations.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Ian Gladwell, Malgorzata A. Napierala	Efficiency of global adaptive quadrature.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Cherri M. Pancake	Improving quality through user-centered design.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Bernard Butler, Maurice Cox, Alistair Forbes, Simon Hannaby, Peter Harris	A methodology for testing classes of approximation and optimisation.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	William Gropp	Why we couldn't use numerical libraries for PETSc.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Eric Grosse	Real Inferno.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Les Hatton	The T-experiments: errors in scientific software.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Nicholas J. Higham	Testing linear algebra software.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	William M. Coughran Jr.	Network-based scientific computation via Inferno.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Daniel W. Lozier	A proposed software test service for special functions.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Ronald F. Boisvert, Roldan Pozo, Karin A. Remington, Richard F. Barrett, Jack Dongarra	Matrix Market: a web resource for test matrix collections.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Lawrence F. Shampine, M. W. Reichelt	Developing ODE software in new computing environments.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	M. Nakagawa	Development of efficient general purpose Monte Carlo codes used in nuclear engineering.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Yukio Umetani	The visual diagnosis on numerical calculation of PDE problems and experiments.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Jeremy Du Croz	Designing and building a new numerical library in Fortran 90.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	John C. Munson	A functional approach to software reliability modeling.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Mladen A. Vouk, Munindar P. Singh	Quality of service and scientific workflows.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Shun Doi, Hidehiro Fujio, Kouta Sugihara	Automatic parallel program generation for finite element analysis.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Leon J. Osterweil	Improving the quality of software quality determination processes.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Yu. I. Shokin	New resource-sparing grid methods for solving the problems of mathematical physics.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	J. N. Lyness	Evaluation of minimization software based on performance profile techniques.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	J. K. Reid	Two approaches to exeption handling in Fortran.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Françoise Chaitin-Chatelin	Is nonnormality a serious computational difficulty in practice?	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	W. Van Snyder	Testing functions of one and two arguments.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Ulrich W. Kulisch	The XSC tools for extended scientific computing.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Jack Dongarra, Sven Hammarling, Antoine Petitet	Case studies on the development of ScaLAPACK and the NAG Numerical PVM Library.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Mo Mu	Software testing and evaluation in large-scale scientific applications.	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	W. Morven Gentleman	If software quality is a perception, how do we measure it?	Quality of Numerical Software	1996	DBLP BibTeX RDF
2	Wayne R. Cowell (eds.)	Portability of Numerical Software, Workshop, Oak Brook, Illinois, USA, June 21-23, 1976	Portability of Numerical Software	1977	DBLP BibTeX RDF
2	C. L. Lawson, J. K. Reid	Two Numerical Analyst's View on the Draft Proposed ANS Fortran.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Brian Ford	Preparing Conventions for Parameters for Transportable.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Christian Reisch	Some Side Effects of Striving for Portability.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	P. A. Fox	PORT - A Portable Mathematical Subroutine Library.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	L. Wayne Fullerton	Portable Special Function Routines.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	P. Kemp	Writing the Elementary Function Procedure for the ALGOL68C Compiler.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Brian T. Smith	Fortran Poisoning and Antidotes.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	J. L. Schonfelder	The Production and Testing of Special Function Software in the NAG Library.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Kenneth W. Dritz	Multiple Program Realizations Using the TAMPR System.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	W. J. Code	Machine Parameters for Numerical Analysis.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Ingemar Dahlstrand	A Study of Portability in Technical and Scientific.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	N. Victor, M. Sund	The Importance of Standardized Interfaces for Portable.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	T. J. Dekker	Machine Requirement for Reliable, Portable Software.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Thomas J. Aird	The IMSL FORTRAN Converter: An Approach to Solving Portability Problems.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	J. J. Du Croz, Stephen J. Hague, J. L. Siemieniuch	Aids to Portability Within the NAG Project.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Fred T. Krogh	Features for FORTRAN Portability.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	James M. Boyle	Mathematical Software Transportability Systems - Have the Variations a Theme?.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	W. S. Brown, Arthur D. Hall	Fortran Portability via Models and Tools.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	T. E. Hull	Semantics of Floating Point Arithmetic and Elementary Functions.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	William M. Waite	Intermediate Languages: Current Status.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Jon Louis Bentley, Brian Ford	On the Enhancement of Portability within the NAG Project - Statistical Survey.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
2	Pieter W. Hemker	Criteria for Transportable ALGOL Libraries.	Portability of Numerical Software	1976	DBLP DOI BibTeX RDF
1	Karl Meinke, Fei Niu	A Learning-Based Approach to Unit Testing of Numerical Software.	ICTSS	2010	DBLP DOI BibTeX RDF
1	David A. Patterson	Software knows best: portable parallelism requires standardized measurements of transparent hardware.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	standardized
1	Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang	Foreword: Special issue on numerical software verification.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Bruno Lévy, Hao Zhang 0002	Spectral mesh processing.	SIGGRAPH ASIA Courses	2009	DBLP DOI BibTeX RDF
1	Hongli Dong, Zidong Wang, Huijun Gao	Hbm infty Fuzzy Control for Systems With Repeated Scalar Nonlinearities and Random Packet Losses.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
1	Yan Zhao, James Lam, Huijun Gao	Fault Detection for Fuzzy Systems With Intermittent Measurements.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
1	Christoph A. Schaefer, Victor Pankratius, Walter F. Tichy	Atune-IL: An Instrumentation Language for Auto-tuning Parallel Applications.	Euro-Par	2009	DBLP DOI BibTeX RDF
1	Stefan Karpinski, Elizabeth M. Belding, Kevin C. Almeroth, John R. Gilbert	Linear Representation of Network Traffic.	MONET	2009	DBLP DOI BibTeX RDF	wireless simulation, wireless networks, linear algebra, traffic modeling, traffic analysis, nonnegative matrix factorization, workload generation
1	Osni Marques, Christof Vömel, James Demmel, Beresford N. Parlett	Algorithm 880: A testing infrastructure for symmetric tridiagonal eigensolvers.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	test matrices, performance, design, testing, implementation, accuracy, Eigenvalues, eigenvectors, LAPACK, symmetric matrix, numerical software
1	R. Wang, Patrick Keast, P. H. Muir	Algorithm 874: BACOLR - spatial and temporal error control software for PDEs based on high-order adaptive collocation.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	1-D PDEs, adaptive method-of-lines, spatial error control, Runge-Kutta methods, Numerical software, differential-algebraic equations
1	Ian M. Mitchell	The Flexible, Extensible and Efficient Toolbox of Level Set Methods.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Dynamic implicit surfaces, Level set methods, Numerical software, Hamilton-Jacobi equations, Reproducible research
1	Werner Hofschuster, Walter Krämer, Markus Neher	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30
1	Kostas Zotos	Improving numerical software.	Applied Mathematics and Computation	2007	DBLP DOI BibTeX RDF
1	Kostas Zotos	Numerical Software Difficulties.	Software Engineering Research and Practice	2007	DBLP BibTeX RDF
1	Kamen Yotov, Thomas Roeder, Keshav Pingali, John A. Gunnels, Fred G. Gustavson	An experimental comparison of cache-oblivious and cache-conscious programs.	SPAA	2007	DBLP DOI BibTeX RDF	cache-conscious algorithms, memory hierarchy, memory bandwidth, memory latency, numerical software, cache-oblivious algorithms
1	Alfredo Buttari, Pasqua D'Ambra, Daniela di Serafino, Salvatore Filippone	2LEV-D2P4: a package of high-performance preconditioners for scientific and engineering applications.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Parallel numerical software, Algebraic two-level preconditioners, Sparse linear algebra