| Home page | Background | Research | Publications | Courses |
|---|
Setting up an SQA environment that is responsive to the details and needs of the developers and fits the development environment.
Designs for web-based pages for collecting, approving, and providing interactive access to requirements.
An example how even terms common to the national laboratories can be different and lead to misunderstandings in requirements and designs.
A discussion of the approaches commonly used for parallel file I/O and their problems in implementation complexity and performance.
The overview of the messaging aspects of a system for high speed file I/O in parallel processor environments.
The user manual for a system for high speed file I/O in parallel processor environments.
The requirements document for a system for high speed file I/O in parallel processor environments.
The design document for a system for high speed file I/O in parallel processor environments.
The overview document for a system for high speed file I/O in parallel processor environments.
Preliminary designs for the parallel processors high speed file I/O.
Generating high-level abstract data structure descriptive API.
The API specification document for a system for high speed file I/O in parallel processor environments.
The notes document for upgrades to a system for high speed file I/O in parallel processor environments.
The FORTRAN API specification document for a system for high speed file I/O in parallel processor environments.
A discussion of general API requirements for a system for high speed file I/O in parallel processor environments.
The general API requirements document for a system for high speed file I/O in parallel processor environments.
The approaches commonly used for parallel file I/O and their problems in implementation complexity and performance.
The basics concepts for the SRF Algebra concepts and notation, including the basic abstractions, objects, and operations.
Describes how to partition on major elements, projecting to secondary and tertiary elements, then generate the communications maps needed for each partition.
Basics in theoretical and practical use of the low-level abstractions.
Using low-level abstractions to get interoperability among high-level object abstractions. An overview.
Using the low-level abstractions to define and implement the operations needed to perform dynamic repartitioning in a running parallel application.
An early description of the sets, relations, and fields (SRF) constructs and their utility.
An early description of the sets, relations, and fields (SRF) constructs and their utility.
The foundations for the low-level abstractions of sets, relations, and fields (SRF) for representing object collections, their attributes (properties), and relationships between the objects in any one or two collections.
A simple set of macros for manipulating doubly linked lists for any C++ class or c structure. They use the C preprocessor (cpp) to allow compile-time validity checking of a class and structure compatibilities.
An overview of a library for efficient machine portablility of mixed data types among varying computer architectures.
The requirements for the library for efficient machine portablility of mixed data types among varying computer architectures.
The foundations for defining a "similarity measure" that can include integration of similarity measures over heterogeneous data sets, such as various properties of achaeological artifacts or "found" visual object properties in images.
The foundations for the low-level abstractions of sets, relations, and fields (SRF) for representing object collections, their attributes (properties), and relationships between the objects in any one or two collections.
Computer Science Department Homepage
Information Technology Department Homepage
New Mexico Tech Homepage
ICASA Homepage