NIST logo

Publications Portal

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

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


31. Combinatorial Testing of ACTS: A Case Study
Topic: Software
Published: 4/21/2012
Authors: Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu N Kacker, David R Kuhn
Abstract: In this paper we present a case study of applying combinatorial testing to test a combinatorial test generation tool called ACTS. The purpose of this study is two-fold. First, we want to gain experience and insights about how to apply combinatorial t ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=911345

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

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

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

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

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

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

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

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

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



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