http://www.mscs.mu.edu/~globsol/walster-papers.html

[ Global Solutions | Sun Microsystems ]
This site: [ Progress | People | Papers | Talks | Sites | Search | Contents ]
Globsol @ USL Marquette Houston Lehigh Notre Dame
People: Kearfott Corliss Hu Schulte Stadtherr
[GlobSol logo]
Kluwer nonconvex optimization series

Global Solutions
Papers by Bill Walster

GlobSol: [ Working Notes | Publications | Talks | Walster papers ]

Papers by Project Staff:

G. William (Bill) Walster, Sun Microsystems
George F. Corliss, Marquette
Chenyi Hu, Houston
R. Baker Kearfott, Southwestern Louisiana
Michael Schulte, Lehigh
Mark A. Stadtherr, Notre Dame
Others

G. William (Bill) Walster

Interval Arithmetic Specification,
Dmitri Chiriaev and G. William Walster,
spec.ps (Postscript - 460 Kb) 04 May 1998
Abstract: Compiler support for interval arithmetic requires a specification of both the syntax and semantics of the implementation. The Fortran 77 specification contained herein defines a set of extended real intervals and their internal representation for IEEE 754 compliant processors. The defined set of extended real intervals is closed with respect to arithmetic operations and interval enclosures of real functions.
The Extended Real Interval System,
G. William (Bill) Walster,
extended_intervals.ps (Postscript - 295 Kb) 29 April 1998
Figure 1, page 8 (Postscript - 130 Kb)
Figures, pages 38 - 42. (Postscript - 188 Kb)
Abstract: Three extended real interval systems are defined and distinguished by their implementation complexity and result sharpness. The three systems are closed with respect to interval arithmetic and the enclosure of functions and relations, notwithstanding domain restrictions or the presence of singularities.
Interval Extensions of Real Functions with Finite Domains,
G. William (Bill) Walster,
domain.ps (Postscript - 84 Kb) 28 April 1998.
Abstract: Alternatives are considered for constructing interval enclosures of real functions with finite domains.
Interval Algebra, Composite Functions and Dependence in Compilers. Submitted to Reliable Computing.
G. William (Bill) Walster and Eldon R. Hansen,
composite.ps (Postscript - 139 Kb) 27 Apr 1998.
Abstract: Algebra of interval variables, together with composites of interval functions and relations are used to justify transformations that a compiler may automatically apply to interval expressions. A generalization of the fundamental theorem of interval arithmetic, as well as the value-assignment and expression assignment operators are used to rationalize interval expression folding.
Compiler Support of Interval Arithmetic with Inline Code Generation and Nonstop Exception Handling,
G. William (Bill) Walster,
compile-support.ps (Postscript - 92 Kb) 27 April 1998
- Abstract: A proposal is made to provide compiler support for interval arithmetic with inline code generation and nonstop exception handling. The proposal satisfies the fundamental containment requirement of interval arithmetic and produces sharp results without sacrificing performance whenever possible.
Empty Intervals,
G. William (Bill) Walster,
empty.ps (Postscript - 81 Kb) 27 April 1998
Abstract: Returning "Not-an-Interval", NaI, "Not-a-Real-Interval", NaRI, or the entire extended complex plane, Cn, are neither required not desirable in the implementation of an extended real interval system.
Finding Roots on the Edge of a Function's Domain,
G. William (Bill) Walster,
newton-edge.ps (Postscript - 42 Kb) 27 April, 1998
Abstract: The utility of implicitly intersecting interval enclosure augments domain of definition of the enclosed function is illustrated using the interval Newton method.
The Interval Power Function,
G. William (Bill) Walster,
interval_power.ps (Postscript - 48 Kb) 16 Mar 1998.
Abstract:An algorithm is developed for computing XY for negative values of X.
Stimulating Hardware and Software Support for Interval Arithmetic,
G. William (Bill) Walster,
Interval Manifesto.
manifesto.ps (Postscript - 108 Kb), 21 Oct 1997.

Interval Arithmetic: A New Floating-Point Arithmetic Paradigm.
G. William (Bill) Walster,
Global Optimization - Explained.
f90-support-clean.ps (Postscript - 191 Kb) 21 Oct 1997.

Introduction to Interval Arithmetic,
G. William (Bill) Walster,
Simple examples.
introduction.ps (Postscript - 82 Kb) 19 May 1997.
GlobSol: [ Working Notes | Publications | Talks | Walster papers ]



[ Global Solutions | Sun Microsystems ]
This site: [ Progress | People | Papers | Talks | Sites | Search | Contents ]
Globsol @ USL Marquette Houston Lehigh Notre Dame
People: Kearfott Corliss Hu Schulte Stadtherr
[GlobSol logo]
Kluwer nonconvex optimization series

This research project is sponsored by Sun Microsystems. This Web page © Copyright 1997-2001 Marquette University and Sun Microsystems.
Last Modified Thursday, April 12, 2001 by Dr. George Corliss.
Send comments to georgec@mscs.mu.edu