7 Matching Results

Search Results

Advanced search parameters have been applied.
in subjects: "Software Maintenance."  
Results: 1 - 7
open access

Amesos 1.0 reference guide.

Description: This document describes the main functionalities of the Amesos package, version 1.0. Amesos, available as part of Trilinos 4.0, provides an object-oriented interface to several serial and parallel sparse direct solvers libraries, for the solution of the linear systems of equations A X = B where A is a real sparse, distributed matrix, defined as an EpetraRowMatrix object, and X and B are defined as EpetraMultiVector objects. Amesos provides a common look-and-feel to several direct solvers, insul… more
Date: May 1, 2004
Creator: Sala, Marzio & Stanley, Ken D. (Oberlin, OH)
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

A Netaware Development, Support, and Maintenance Environment For DOE Numerical Libraries.

Description: A study was performed to identify tools needed to support the maintenance of DOE scientific software and libraries destined to operate over a computational grid. The study quickly identified the need for a harness, called the Test Harness, that could evaluate the numeric results obtained from the same software over a variety of computational platforms. The test harness is installed in the application software or library procedures and monitors the results obtained from porting the application s… more
Date: December 6, 2006
Creator: Smith, Brian T.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Dependable software through higher-order strategic programming.

Description: Program transformation is a restricted form of software construction that can be amenable to formal verification. When successful, the nature of the evidence provided by such a verification is considered strong and can constitute a major component of an argument that a high-consequence or safety-critical system meets its dependability requirements. This article explores the application of novel higher-order strategic programming techniques to the development of a portion of a class loader for a… more
Date: March 1, 2004
Creator: Winter, Victor Lono (University of Nebraska at Omaha); Fraij, Fares (University of Texas at El Paso) & Roach, Steve (University of Texas at El Paso)
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Sundance 2.0 tutorial.

Description: Sundance is a system of software components that allows construction of an entire parallel simulator and its derivatives using a high-level symbolic language. With this high-level problem description, it is possible to specify a weak formulation of a PDE and its discretization method in a small amount of user-level code; furthermore, because derivatives are easily available, a simulation in Sundance is immediately suitable for accelerated PDE-constrained optimization algorithms. This paper is a… more
Date: July 1, 2004
Creator: Long, Kevin R.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Trilinos 4.0 tutorial.

Description: The Trilinos Project is an effort to facilitate the design, development, integration and ongoing support of mathematical software libraries. The goal of the Trilinos Project is to develop parallel solver algorithms and libraries within an object-oriented software framework for the solution of large-scale, complex multiphysics engineering and scientific applications. The emphasis is on developing robust, scalable algorithms in a software framework, using abstract interfaces for flexible interope… more
Date: May 1, 2004
Creator: Sala, Marzio; Day, David Minot & Heroux, Michael Allen
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

A System Analysis Tool

Description: In this paper we describe a tool for analyzing systems. The analysis is based on program slicing. It answers the following question for the software: if the value of a particular variable changes, what other variable values also change, and what is the path in between? program slicing was developed based on intra-procedure control and data flow. It has been expanded commercially to inter-procedure flow. However, we extend slicing to collections of programs and non-program entities, which we ter… more
Date: June 1, 2000
Creator: CAMPBELL,PHILIP L. & ESPINOZA,JUAN
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
Back to Top of Screen