Volume 26, Number 1, January 2000
Volume 26, Number 2, February 2000
Volume 26, Number 3, March 2000 Architecture-Independent Languages and Software Tools for Parallel Processing
: Parallaxis-III: Architecture-Independent Data Parallel Processing.
, Zhiyuan Li
: Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization.
: Toward Formally-Based Design of Message Passing Programs.
Volume 26, Number 4, April 2000 Architecture-Independent Languages and Software Tools for Parallel Processing
, Marianne Winslett
: Automated Tuning of Parallel I/O Systems: An Approach to Portable I/O Performance for Scientific Applications.
Volume 26, Number 5, May 2000 Architecture-Independent Languages and Software Tools for Parallel Processing
Fifth International Conference on Software Reuse
: Editorial: Sloan Research Project.
Volume 26, Number 6, June 2000
Volume 26, Number 7, July 2000 Formal Methods for Object Systems
Volume 26, Number 8, August 2000 Special Section on the 1999 Formal Methods Conference (FM '99)
Jeannette M. Wing
, Jim Woodcock
: Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems.
, Mazen Samaan
: Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
Volume 26, Number 9, September 2000 Current Trends in Exception Handling
: A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems.
Volume 26, Number 10, October 2000 Current Trends in Exception Handling (Part II)
José Javier Dolado
: A Validation of the Component-Based Method for Software Size Estimation.
Volume 26, Number 11, November 2000 Workshop on Software and Performance - Part I
Vikram S. Adve
, Rajive Bagrodia
, James C. Browne
, Ewa Deelman
, Aditya Dube
, Elias N. Houstis
, John R. Rice
, Rizos Sakellariou
, David Sundaram-Stukel
, Patricia J. Teller
, Mary K. Vernon
: POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.
Volume 26, Number 12, December 2000 Workshop on Software and Performance - Part II