NIST logo

Publications Portal

You searched on:
Topic Area: Software
Sorted by: title

Displaying records 1 to 10 of 65 records.
Resort by: Date / Title


1. A Collection of 2D Elliptic Problems for Testing Adaptive Algorithms
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7668
Topic: Software
Published: 2/26/2010
Author: William F Mitchell
Abstract: Adaptive grid refinement is a critical component of the improvements that have recently been made in algorithms for the numerical solution of partial differential equations (PDEs). The development of new algorithms and computer codes for the solutio ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=904956

2. A Combinatorial Testing Strategy for Concurrent Programs
Topic: Software
Published: 6/7/2007
Authors: Yu Lei, Richard Carver, Raghu N Kacker, David Kung
Abstract: One approach to testing concurrent programs is called reachability testing, which derives test sequences automatically and on-the-fly, without constructing a static model. Existing reachability testing algorithms are exhaustive in that they are inten ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50892

3. A Comparison of hp-adaptive Strategies for Elliptic Partial Differential Equations
Topic: Software
Published: 3/5/2014
Authors: William F Mitchell, Marjorie A McClain
Abstract: The hp version of the finite element method (hp-FEM) combined with adaptive mesh refinement is a particularly efficient method for solving partial differential equations because it can achieve a convergence rate that is exponential in the number of ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909356

4. A Comparison of hp-adaptive Strategies for Elliptic Partial Differential Equations (long version)
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7824
Topic: Software
Published: 10/5/2011
Authors: William F Mitchell, Marjorie A McClain
Abstract: The hp version of the finite element method (hp-FEM) combined with adaptive mesh refinement is a particularly efficient method for solving partial differential equations because it can achieve a convergence rate that is exponential in the number ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909355

5. A Fortran 90 Interface for OpenGL
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5985
Topic: Software
Published: 3/1/1997
Author: William F Mitchell
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900807

6. A General Conformance Testing Framework for IEEE 11073 PHD's Communication Model
Topic: Software
Published: 5/31/2013
Authors: Raghu N Kacker, Linbin Yu, Yu Lei, David R Kuhn, Ram D Sriram, Kevin G Brady
Abstract: ISO/IEEE 11073 Personal Health Data (IEEE 11073 PHD) is a set of standards that addresses the interoperability of personal healthcare devices. As an important part of IEEE 11073 PHD, ISO/IEEE 1107-20601 optimized exchange protocol (IEEE 11073-20601) ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913823

7. A Linear Programming Based Algorithm for Multiple Sequence Alignments
Topic: Software
Published: 2/17/2003
Authors: Fern Y Hunt, Agnes (Abbie) O'Gallagher, Anthony J Kearsley
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50690

8. A New Convexity Measurement for 3D Meshes
Topic: Software
Published: 6/16/2012
Authors: Afzal A Godil, Zhouhui Lian
Abstract: This paper presents a novel convexity measurement for 3D meshes. The new convexity measure is calculated by minimizing the ratio of the summed area of valid regions in a mesh‰s six views, which are projected on faces of the bounding box whose edg ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911359

9. A Survey of hp-Adaptive Strategies for Elliptic Partial Differential Equations
Topic: Software
Published: 1/3/2011
Authors: William F Mitchell, Marjorie A McClain
Abstract: The hp version of the finite element method (hp-FEM) combined with adaptive mesh refinement is a particularly efficient method for solving partial differential equations because it can achieve a convergence rate that is exponential in the number of d ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=903240

10. Algorithm 838: Airy Functions
Topic: Software
Published: 12/1/2004
Author: Bruce R Fabijonas
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150042



Search NIST-wide:


(Search abstract and keywords)


Last Name:
First Name:







Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series