Publications

G. von Laszewski, J. Gawor, P. Lane, N. Rehn, and M. Russell, "Features of the Java Commodity Grid Kit," Concurrency Computat.: Pract. Exper., vol. 14, no. 13, 2000, pp. 1045-1055. Also Preprint ANL/MCS-P862-1200, December 2000. [pdf]
[more info]

G. von Laszewski, I. Foster, J. Gawor, and P. Lane, "A Java Commodity Grid Kit," Preprint ANL/MCS-P862-1200, December 2000. [pdf]
[more info]

W. D. Gropp, D. K. Kaushik, D. E. Keyes, B. F. Smith, "High Performance Parallel Implicit CFD," Preprint ANL/MCS-P863-1200, December 2000. [pdf]
[more info]

M. Anitescu, "On Solving Mathematical Programs with Complementarity Constraints as Nonlinear Programs," Preprint ANL/MCS-P864-1200, December 2000. [pdf]
[more info]

S. J. Wright, "Constraint Identification and Algorithm Stabilization for Degenerate Nonlinear Programs," Preprint ANL/MCS-P865-1200, December 2000. [pdf]
[more info]

E. D. Dolan and J. J. More, "Benchmarking Optimization Software with COPS," 2000, . Also Preprint ANL/MCS-TM-246, November 2000. [pdf]
[more info]

P. D. Hovland and L. C. McInnes, "Parallel Simulation of Compressible Flow Using Automatic Differentiation and PETSc," Preprint ANL/MCS-P796-0200, November 2000. [pdf]
[more info]

R. Butler, D. Engert, I. Foster, C. Kesselman, S. Tuecke, J. Volmer, V. Welch, "A National-Scale Authentication Infrastructure," IEEE Computer, vol. 33, no. 12, 2000, pp. 60-66. Also Preprint ANL/MCS-P853-1100, November 2000. [pdf]
[more info]

P. D. Hovland, D. E. Keyes, L. C. McInnes, and W. Samyono, "Using Automatic Differentiation for Second-Order Matrix-free Methods in PDE-constrained Optimization," Preprint ANL/MCS-P855-1100, November 2000. [pdf]
[more info]

B. Norris and P. D. Hovland,, "A Distributed Application Server for Automatic Differentiation," Preprint ANL/MCS-P856-1100, November 2000. [pdf]
[more info]

T. Iliescu, "Genuinely Nonlinear Models for Convection-Dominated Problems," Preprint ANL/MCS-P857-1100, November 2000. [pdf]
[more info]

K. R. Buschelman, W. D. Gropp, L. C. McInnes, and B. F. Smith, "PETSc and Overture: Lessons Learned Developing an Interface between Components," The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conf. on the Architecture of Scientific Software, vol. 10, no. 2, Kluwer Academic, 2000, . Also Preprint ANL/MCS-P858-1100, November 2000. [pdf]
[more info]

J. More, "Automatic Differentiation Tools in Optimization Software," Preprint ANL/MCS-P859-1100, November 2000. [pdf]
[more info]

M. C. Ferris and T. S. Munson, "Semismooth Support Vector Machines," Math. Program., Ser. B, vol. 101, 2000, pp. 185-204. Also Preprint ANL/MCS-P860-1100, November 2000. [pdf]
[more info]

M. Anitescu, "Nonlinear Programs with Unbounded Lagrange Multiplier Sets," Preprint ANL/MCS-P793-0200, October 2000. [pdf]
[more info]

W. McCune, "The Robbins Equation," Preprint ANL/MCS-P847-1000, October 2000. [pdf]
[more info]

W. D. Gropp, D. K. Kaushik, D. E. Keyes, and B. F. Smith, "Latency, Bandwidth, and Concurrent Issue Limitations in High-Performance CFD," Preprint ANL/MCS-P850-1000, October 2000. [pdf]
[more info]

H. M. BEcker, K. R. Buschelman, P. C. Hovland, "A Matrix-Matrix Multiplication Approach to the Automatic Differentiation and Parallelization of Straight-Line Codes," Workshop Proceedings of the Int'l Conf. on Architecture of Computing Systems ARCS-2002, Germany, April 8-12, 2002, VDE Verlag, 2000, pp. 203-210. Also Preprint ANL/MCS-P854-1000, October 2000. [pdf]
[more info]

J. No, R. Thakur, D. Kaushik, L. Freitag, A. Choudary, "A Scientific Data Management System for Irregular Applications," Preprint ANL/MCS-P866-1000, October 2000. [pdf]
[more info]

J. Taylor, "Global Environmental Management: A Historical Perspective," Preprint ANL/CGC-004-0900, September 2000.
[more info]

I. Foster and C. Kesselman, "Computational Grids," Preprint ANL/MCS-P844-0900, September 2000. [pdf]
[more info]

W. D. Gropp, D. K. Kaushik, D. E. Keyes, B. F. Smith, "Understanding the Parallel Scalability of an Implicit Unstructured Mesh CFD Code," Preprint ANL/MCS-P845-0900, September 2000. [pdf]
[more info]

A. C. Calder, B. C. Curtis, L. J. Dursi, B. Fryxell, G. Henry, P. MacNeice, K. Olson, P. Ricker, R. Rosner, F. X. Timmes, H. M. Tufo, J. W. Truran, M. Zingale, "High-Performance Reactive Fluid Flow Simulations Using Adaptive Mesh Refinement on Thousands of Processors," Preprint ANL/MCS-P846-0900, September 2000. [pdf]
[more info]

W. McCune, R. Veroff, B. Fitelson, K. Harris, A. Feist, L. Wos, "Short Single Axioms for Boolean Algebra," J. Automated Reasoning, vol. 29, no. 1, 2000, pp. 1-16. Also Preprint ANL/MCS-P848-1000, September 2000. [pdf]
[more info]

P. M. Dickens and R. Thakur, "An Evaluation of Java's I/O Capabilities for High-Performance Computing," Proc. ACM 2000 Java Grande Conf, 2000, pp. 26-35. Also Preprint ANL/MCS-P849-1000, September 2000. [pdf]
[more info]

P. M. Dickens and R. Thakur, "On Implementing High-Performance Collective I/O," Preprint ANL/MCS-P852-0900, September 2000. [pdf]
[more info]

D. Bonachea, P. Dickens, R. Thakur, "High-Performance File I/O in Java: Existing Approaches and Bulk I/O Extensions," Preprint ANL/MCS-P840-0800, August 2000. [pdf]
[more info]

P. D. Cha and L. G. de Pillis, "Model Updating by Adding Known Masses," International Journal for Numerical Methods in Engineering, vol. 50, no. 11, 2000, pp. 2547-2571. Also Preprint ANL/MCS-P841-0800, August 2000. [pdf]
[more info]

W. D. Gropp, D. K. Kaushik, D. E. Keyes, and B. F. Smith, "Performance Modeling and Tuning of an Unstructured Mesh CFD Application," Preprint ANL/MCS-P833-0700, July 2000. [pdf]
[more info]

S. Balay, W. D. Gropp, L. C. McInnes, B. F. Smith, "Software for the Scalable Solution of PDEs," Preprint ANL/MCS-P834-0700, July 2000. [pdf]
[more info]

H. G. Kaper and H. Nordborg, "The Frozen-Field Approximation and the Ginzburg-Landau Equations of Superconductivity," J. Eng. Math., vol. 39, 2000, pp. 221-240. Also Preprint ANL/MCS-P835-0700, July 2000. [pdf]
[more info]

B. Fitelson and L. Wos, "Finding Missing Proofs with Automated Reasoning," Studia Logica, vol. 68, no. 3, 2000, pp. 329-356. Also Preprint ANL/MCS-P836-0700, July 2000. [pdf]
[more info]

R. Thakur and W. Gropp, "Parallel I/O," Preprint ANL/MCS-P837-0700, July 2000. [pdf]
[more info]

A. Roy, I. Foster, W. Gropp, N. Karonis, V. Sander, and B. Toonen, "MPICH-GQ: Quality-of-Service for Message Passing Programs," Preprint ANL/.MCS-P838-0700, July 2000. [pdf]
[more info]

W. McCune,, "Single Axioms for Boolean Algebra," Preprint ANL/MCS-TM-243, June 2000. [pdf]
[more info]

R. Veroff and W. McCune, "A Short Sheffer Axiom for Boolean Algebra," Technical Memorandum ANL/MCS-TM-244, June 2000. [pdf]
[more info]

F. A. Potra and S. J. Wright, "Interior-Point Methods," J. of Computational and Applied Mathematics, vol. 124, 2000, pp. 281-302. Also Preprint ANL/MCS-P828-0600, June 2000. [pdf]
[more info]

J. Lyness and R. Cools, "Notes on a Search for Optimal Lattice Rules," Preprint ANL/MCS-P829-0600, June 2000. [pdf]
[more info]

S. J. Benson and Y. Ye, "Approximating Maximum Stable Set and Minimum Graph Coloring Problems with the Positive Semidefinite Relaxation," Preprint ANL/MCS-P830-0600, June 2000. [pdf]
[more info]

L. Childers, T. Disz, M. Hereld, R. Hudson, I. Judson, R. Olson, M. Papka, J. Paris, and R. Stevens, "ActiveSpaces on the Grid: The Construction of Advanced Visualization and Interaction Environments," Preprint ANL/MCS-P832-0600, June 2000. [pdf]
[more info]

L. A. Freitag and P. M. Knupp, "Tetrahedral Mesh Improvement via Optimization of the Element Condition Number," Preprint ANL/MCS-P810-0500, May 2000. [pdf]
[more info]

L. Wos and B. Fitelson, "The Automation of Sound Reasoning and Successful Proof Finding," Preprint ANL/MCS-P811-0500, May 2000.
[more info]

L. Wos, "A Milestone Reached and a Secret Revealed," J. Automated Reasoning, vol. 27, 2000, pp. 89-95. Also Preprint ANL/MCS-P814-0500, May 2000. [pdf]
[more info]

L. Wos, "Conquering the Meredith Single Axiom," J. Automated Reasoning, vol. 27, 2000, pp. 175-199. Also Preprint ANL/MCS-P815-0500, May 2000. [pdf]
[more info]

B. Fitelson and L. Wos, "Missing Proofs Found," J. Automated Reasoning, vol. 27, 2000, pp. 201-225. Also Preprint ANL/MCS-P816-0500, May 2000. [pdf]
[more info]

E. G. de Pillis and L. G. de Pillis, "The Long-Term Impmact of University Budget Cuts: A Mathematical Model," Preprint ANL/MCS-P817-0500, May 2000. [pdf]
[more info]

S. L. Lee and P. D. Hovland, "Sensitivity Analysis Using Parallel ODE Solvers and Automatic Differentiation inC: SensPVODE and ADIC," Preprint ANL/MCS-P818-0500, May 2000. [pdf]
[more info]

J. G. Kim and P. D. Hovland, "Sensitivity Analysis and Parameter Tuning of a Sea-Ice Model," Preprint ANL/MCS-P819-0500, May 2000. [pdf]
[more info]

J. Abate, S. Benson, L. Grignon, P. Hovland, L. McInnes, B. Norris, "Integrating Automatic Differentiation with Object-Oriented Toolkits for High-Performance Scientific Computing," Preprint ANL/MCS-P820-0500, May 2000. [pdf]
[more info]

L. Childers, T. Disz, R. Olson, M. E. Papka, R. Stevens, and T. Udesh, "Access Grid: Immersive Group-to-Group Collaborative Visualization," Preprint ANL/MCS-P821-0500, May 2000.
[more info]

M. Hereld, I. Judson, and R. Stevens, "Introduction to Building Projection-based Tiled Display Systems," Preprint ANL/MCS-P822-0500, May 2000.
[more info]

G. von Laszewski, K. Shudo, and Y. Muraoka, "Grid-based Asynchronous Migration of Execution Context in Java Virtual Machines," Preprint ANL/MCS-P823-0500, May 2000. [pdf]
[more info]

M. Hereld, I. R. Judson, J. Paris, and R. L. Stevens, "Developing Tiled Projection Display Systems," Preprint ANL/MCS-P824-0500, May 2000.
[more info]

L. Wos and B. Fitelson, "Automating the Search for Answers to Open Questions," Preprint ANL/MCS-P825-0500, May 2000. [pdf]
[more info]

L. Wos, "Appendix (to P825): Conjectures Concerning Proof, Design, and Verification," Preprint ANL/MCS-P825A-0500, May 2000. [pdf]
[more info]

W. D. Gropp, "Runtime Checking of Datatype Signatures in MPI," Preprint ANL/MCS-P826-0500, May 2000. [pdf]
[more info]

B. Fitelson and L. Wos, "Axiomatic Proofs through Automated Reasoning," Bulletin of the Section of Logic, vol. 29, no. 1, 2000, pp. 1-12. Also Preprint ANL/MCS-P827-0500, May 2000. [pdf]
[more info]

J. A. Taylor and J. C. Orr,, "The Natural Latitudinal Distribution of Atmospheric CO2," Global and Planetary Change, vol. 26, 2000, pp. 375-386. Also Preprint ANL/CGC-002-0400, April 2000.
[more info]

P. H. Carns, W. B. Ligon III, R. B. Ross, and R. Thakur, "PVFS: A Parallel File System for Linux Clusters," Proc. Extreme Linux Track: 4th Annual linux Showcase and Conference, 2000, . Also Preprint ANL/MCS-P804-0400, April 2000. [pdf]
[more info]

L. G. de Pillis and A. Radunskaya, "A Mathematical Tumor Model with Immune Resistance and Drug Therapy: an Optimal Control Approach," Preprint ANL/MCS-P805-0400, April 2000. [pdf]
[more info]

L. G. de Pillis and E. G. de Pillis, "A Mathematical Framework for Understanding Continuum Effects of Budget Fluctuations on a University," Preprint ANL/MCS-P806-0400, April 2000. [pdf]
[more info]

I. Foster, A. Roy, and V. Sander, "A Quality of Service Architecture that Combines Resource Reservation and Application Adaptation," Preprint ANL/MCS-P807-0400, April 2000. [pdf]
[more info]

S. J. Wright, "On Reduced Convex QP Formulations of Monotone LCP Problems," Preprint ANL/MCS-P808-0400, April 2000. [pdf]
[more info]

L. A. Freitag and R. M. Loy, "Using Desktop Graphics Workstations for Interactive Remote Exploration of Large Data Sets," Preprint ANL/MCS-P809-0400, April 2000.
[more info]

R. Butler, W. Gropp, and E. Lusk, "A Scalable Process-Management Environment for Parallel Programs," Preprint ANL/MCS-P812-0400, April 2000. [pdf]
[more info]

C. H. Bischof and H. M. Becker, "Computing Derivatives of Computer Programs," Proceedings Modern Methods and Algorithms of Quantum Chemistry, 2000, . Also Preprint MCS-P813-0400, April 2000. [pdf]
[more info]

M. M. Marino, "Relativistic Pseudopotentional Incorporating Core/Valence Polarization and Nonlocal Effects," Technical Memorandum ANL/MCS-TM-229, March 2000.
[more info]

J. No, R. Thakur, A. Choudhary, "Integrating Parallel File I/O and Database Support for High-Performance Scientific Data Management," Preprint ANL/MCS-P798-0300, March 2000. [pdf]
[more info]

E. A. Yildirim and S. J. Wright, "Warm-start Strategies in Interior-Point Methods for Linear Programming," Preprint ANL/MCS-P799-0300, March 2000. [pdf]
[more info]

T. Canfield, T. Chien, H. Domanus, A. Tentner, C. Tzanos, R. Valentin, D. Weber, "A Coupled Newton-Krylov Solver for Improved CHAD Cache Utilization and Performance," Preprint ANL/MCS-P800-0300, March 2000. [pdf]
[more info]

T. Udeshi, R. Hudson, and M. E. Papka, "Seamless Multiresolution Isosurfaces Using Wavelets," Preprint ANL/MCS-P801-0300, March 2000. [pdf]
[more info]

G. von Laszewski, M.-H. Su, I. Foster,C. Kesselman, "Quasi Real-Time Microtomography Experiments at Photon Sources," Preprint ANL/MCS-P802-0300, March 2000. [pdf]
[more info]

L. A. Freitag and R. M. Loy, "Comparison of Remote Visualization Strategies for Interactive Exploration of Large Data Sets," Preprint ANL/MCS-P803-0300, March 2000. [pdf]
[more info]

J. Taylor, "Workshop Report - Bridging the Climate Information Gap," Preprint ANL/CGC-001-0200, February 2000.
[more info]

J. Bresnahan, J. Insley, and M. E. Papka, "Interacting with Scientific Visualizations: User-Interface Tools within Spatially Immersive Displays," Preprint ANL/MCS-P789-0100, February 2000. [pdf]
[more info]

N. T. Karonis, B. R. de Supinski, I. Foster, W. Gropp, E. Lusk, and J. Bresnahan, "Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation Performance," Preprint ANL/MCS-P791-0200, February 2000. [pdf]
[more info]

J.-P. Goux, J. Linderoth, and M. Yoder,, "Metacomputing and the Master-Worker Paradigm," Preprint ANL/MCS-P792-0200, February 2000. [pdf]
[more info]

G. von Laszewski, J. A. Insley, I. Foster, J. Bresnahan, C. Kesselman, M. Su, M. Thiebaux, M. L. Rivers, S. Wang, B. Tieman, I. McNulty, "Real-Time Analysis, Visualization, and Steering of Microtomography Experiments at Photon Sources," Preprint ANL/MCS-P794-0200, February 2000. [pdf]
[more info]

C. H. Bischof, H. M. Becker and P. D. Hovland, "On Combining Computational Differentiation and Toolkits for Parallel Scientific Computing," Preprint ANL/MCS-P797-0200, February 2000. [pdf]
[more info]

H. G. Kaper and H. Nordborg, "The Ginzburg-Landau Equations of Superconductivity in the Limit of Weak Coupling Near the Upper Critical Field," Preprint ANL/MCS-P786-0100, January 2000. [pdf]
[more info]

W. McCune and O. Shumsky, "System Description: IVY," Preprint ANL/MCS-P787-0100, January 2000. [pdf]
[more info]

W. D. Gropp, D. E. Keyes, L. C. McInnes, and M. D. Tidriri, "Globalized Newton-Krylov-Schwarz Algorithms and Software for Parallel Implicit CFD," Preprint ANL/MCS-P788-0100, January 2000. [pdf]
[more info]

P. B. Albee, G. C. Stockman, and A. J. M. Smucker, "Extraction of Pores from Microtomographic Reconstructions of Intact Soil Aggregates," Preprint ANL/MCS-P790-0100, January 2000. [pdf]
[more info]