Parallel software tools at Langley Research Center

This document gives a brief overview of parallel software tools available on the Intel iPSC/860 parallel computer at Langley Research Center. It is intended to provide a source of information that is somewhat more concise than vendor-supplied material on the purpose and use of various tools. Each of the chapters on tools is organized in a similar manner covering an overview of the functionality, access information, how to effectively use the tool, observations about the tool and how it compares to similar software, known problems or shortfalls with the software, and reference documentation. It is primarily intended for users of the iPSC/860 at Langley Research Center and is appropriate for both the experienced and novice user

Bringing Back-in-Time Debugging Down to the Database

With back-in-time debuggers, developers can explore what happened before observable failures by following infection chains back to their root causes. While there are several such debuggers for object-oriented programming languages, we do not know of any back-in-time capabilities at the database-level. Thus, if failures are caused by SQL scripts or stored procedures, developers have difficulties in understanding their unexpected behavior. In this paper, we present an approach for bringing back-in-time debugging down to the SAP HANA in-memory database. Our TARDISP debugger allows developers to step queries backwards and inspecting the database at previous and arbitrary points in time. With the help of a SQL extension, we can express queries covering a period of execution time within a debugging session and handle large amounts of data with low overhead on performance and memory. The entire approach has been evaluated within a development project at SAP and shows promising results with respect to the gathered developer feedback.Comment: 24th IEEE International Conference on Software Analysis, Evolution, and Reengineerin

MEDATA - A new concept in medical records management

Computer program for medical records managemen

CRAY mini manual. Revision D

This document briefly describes the use of the CRAY supercomputers that are an integral part of the Supercomputing Network Subsystem of the Central Scientific Computing Complex at LaRC. Features of the CRAY supercomputers are covered, including: FORTRAN, C, PASCAL, architectures of the CRAY-2 and CRAY Y-MP, the CRAY UNICOS environment, batch job submittal, debugging, performance analysis, parallel processing, utilities unique to CRAY, and documentation. The document is intended for all CRAY users as a ready reference to frequently asked questions and to more detailed information contained in the vendor manuals. It is appropriate for both the novice and the experienced user

A multiscale constitutive model for intergranular stress corrosion cracking in type 304 austenitic stainless steel

Peer reviewedPublisher PD

A multiscale constitutive model for intergranular stress corrosion cracking in type 304 austenitic stainless steel

Intergranular stress corrosion cracking (IGSCC) is a fracture mechanism in sensitised austenitic stainless steels exposed to critical environments where the intergranular cracks extends along the network of connected susceptible grain boundaries. A constitutive model is presented to estimate the maximum intergranular crack growth by taking into consideration the materials mechanical properties and microstructure characters distribution. This constitutive model is constructed based on the assumption that each grain is a two phase material comprising of grain interior and grain boundary zone. The inherent micro-mechanisms active in the grain interior during IGSCC is based on crystal plasticity theory, while the grain boundary zone has been modelled by proposing a phenomenological constitutive model motivated from cohesive zone modelling approach. Overall, response of the representative volume is calculated by volume averaging of individual grain behaviour. Model is assessed by performing rigorous parametric studies, followed by validation and verification of the proposed constitutive model using representative volume element based FE simulations reported in the literature. In the last section, model application is demonstrated using intergranular stress corrosion cracking experiments which shows a good agreement

A multiscale constitutive model for intergranular stress corrosion cracking in type 304 austenitic stainless steel

Intergranular stress corrosion cracking (IGSCC) is a fracture mechanism in sensitised austenitic stainless steels exposed to critical environments where the intergranular cracks extends along the network of connected susceptible grain boundaries. A constitutive model is presented to estimate the maximum intergranular crack growth by taking into consideration the materials mechanical properties and microstructure characters distribution. This constitutive model is constructed based on the assumption that each grain is a two phase material comprising of grain interior and grain boundary zone. The inherent micro-mechanisms active in the grain interior during IGSCC is based on crystal plasticity theory, while the grain boundary zone has been modelled by proposing a phenomenological constitutive model motivated from cohesive zone modelling approach. Overall, response of the representative volume is calculated by volume averaging of individual grain behaviour. Model is assessed by performing rigorous parametric studies, followed by validation and verification of the proposed constitutive model using representative volume element based FE simulations reported in the literature. In the last section, model application is demonstrated using intergranular stress corrosion cracking experiments which shows a good agreement

Is the porcine RN locus a pleiotropic QTL? A Bayesian marker assisted segregation analysis

International audienc

Specifications and programs for computer software validation

Three software products developed during the study are reported and include: (1) FORTRAN Automatic Code Evaluation System, (2) the Specification Language System, and (3) the Array Index Validation System