7 Matching Results

Search Results

Advanced search parameters have been applied.

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, insulating the user from each package's details, such as matrix and vector formats, and data distribution.
Date: May 1, 2004
Creator: Sala, Marzio & Stanley, Ken D. (Oberlin, OH)
Partner: UNT Libraries Government Documents Department

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 software to new platforms or enhancing the software for whatever reason (for
Date: December 6, 2006
Creator: Smith, Brian T.
Partner: UNT Libraries Government Documents Department

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 restricted implementation of the Java Virtual Machine (JVM). The implementation is called the SSP and is intended for use in high-consequence safety-critical embedded systems. Verification of the strategic program using ACL2 is also discussed.
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)
Partner: UNT Libraries Government Documents Department

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 tutorial for setting up and solving linear and nonlinear PDEs in Sundance. With several simple examples, we show how to set up mesh objects, geometric regions for BC application, the weak form of the PDE, and boundary conditions. Each example then illustrates use of an appropriate solver and solution visualization.
Date: July 1, 2004
Creator: Long, Kevin R.
Partner: UNT Libraries Government Documents Department

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 interoperability of components while providing a full-featured set of concrete classes that implement all the abstract interfaces. This document introduces the use of Trilinos, version 4.0. The presented material includes, among others, the definition of distributed matrices and vectors with Epetra, the iterative solution of linear systems with AztecOO, incomplete factorizations with IF-PACK, multilevel and domain decomposition preconditioners with ML, direct solution of linear system with Amesos, and iterative solution of nonlinear systems with NOX. The tutorial is a self-contained introduction, intended to help computational scientists effectively apply the appropriate Trilinos package to their applications. Basic examples are presented that are fit to be imitated. This document is a companion to the Trilinos User's Guide [20] and Trilinos Development Guides [21,22]. Please note that the documentation included in each of the Trilinos' packages is of fundamental importance.
Date: May 1, 2004
Creator: Sala, Marzio; Day, David Minot & Heroux, Michael Allen
Partner: UNT Libraries Government Documents Department

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 term multi-domain systems. The value of our tool is that an analyst can model the entirety of a system, not just the software, and we believe that this makes for a significant increase in power. We are building a prototype system.
Date: June 1, 2000
Creator: CAMPBELL,PHILIP L. & ESPINOZA,JUAN
Partner: UNT Libraries Government Documents Department