NIST logo

Publications Portal

You searched on:
Topic Area: Software

Displaying records 31 to 40 of 73 records.
Resort by: Date / Title


31. Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification
Topic: Software
Published: 4/21/2012
Authors: Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu N Kacker, David R Kuhn
Abstract: Combinatorial Testing (CT) is a systematic way of sampling input parameters of the software under test (SUT). A t-way combinatorial test set can exercise all behaviors of the SUT caused by interactions between t input parameters or less. Although com ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911450

32. Identifying Failure-Inducing Combinations in a Combinatorial Test Set
Topic: Software
Published: 4/17/2012
Author: Raghu N Kacker
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911457

33. OOF3D: An Image-Based Finite Element Solver for Materials Science
Topic: Software
Published: 3/28/2012
Authors: Valerie R. Coffman, Andrew Charles edmu Reid, Stephen A Langer, Gunay Dogan
Abstract: Recent advances in experimental techniques (micro CT scans, automated serial sectioning, electron back-scatter diffraction, synchrotron radiation x-rays) have made it possible to characterize the full, three dimensional structure of real materials. S ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=905504

34. The LaTeXML Daemon: Editable Math on the Collaborative Web
Topic: Software
Published: 12/31/2011
Authors: Deyan Ginev, Heinrich Stammerjohanns, Bruce R Miller, Michael Kohlhase
Abstract: The language of the {\TeX/\LaTeX} typesetting system has become all-pervasive in scientific publications and has proven its stability, convenience and expressivity in its three-decade history. With the advent of the Web 2.0 paradigm, it has also beco ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=908645

35. Just Try
Topic: Software
Published: 11/1/2011
Author: Isabel M Beichl
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909403

36. 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

37. Salient Local 3D Features for 3D Shape Retrieval
Topic: Software
Published: 4/7/2011
Authors: Afzal A Godil, Asim Wagan
Abstract: In this paper we describe a new formulation for the 3D salient local features based on the voxel grid inspired by the Scale Invariant Feature Transform (SIFT). We use it to identify the salient keypoints (invariant points) on a 3D voxelized model and ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=907645

38. 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

39. Changes
Topic: Software
Published: 1/3/2011
Author: Isabel M Beichl
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=907604

40. Bicubic B-Spline Surface Approximation of Invariant Tori
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7731
Topic: Software
Published: 10/20/2010
Authors: Sita Ramamurti, David E. Gilsinn
Abstract: The invariant torus of a coupled system of Van der Pol oscillators is approximated using bicubic B-splines. The paper considers the case of strong nonlinear coupling. In particular, the shapes of invariant torii for the Van der Pol coupling parameter ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=906906



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