Skip to main content
Reference | Publication | Mathematics and Computer Science Division

MCS 1999 - 1985 Publications

1999

M. Hereld, Judson, I. R., Paris, J., and Stevens, R. L., “Developing Tiled Projection Display Systems”, 1999.

W. D. Gropp, Lusk, E. L., and Swider, D., “Improving the Performance of MPI Derived Datatypes”, in Message Passing Interface Developer, Atlanta, Georgia, 1999.

1997

T. L. Disz, Judson, I. R., Olson, R., and Stevens, R. L., “The Argonne Voyager Multimedia Server”, in Proceedings of the 6th IEEE International Symposium on High Performance Distributed Computing, 1997.

T. L. Disz, Papka, M. E., and Stevens, R. L., “UBIWorld: An Environment Integrating Virtual Reality”, in Proceedings of the 6th Heterogeneous Computing Workshop (HCW '97), Geneva, Switzerland, 1997.

1996

T. L. Disz, Olson, R., and Stevens, R. L., “Performance Model of the Argonne Voyager Multimedia Server”, in Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors, 1996.

I. T. Foster, Papka, M. E., and Stevens, R. L., “Tools for Distributed Collaborative Environments: A Research Agenda”, in Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing, Syracuse, NY, USA, 1996.

V. E. Taylor, Chen, J., Canfield, T., and Stevens, R. L., “A Decomposition Method for Efficient Use of Distributed Supercomputers for Finite Element Applications”, in Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures, and Processors, 1996.

M. E. Papkaand Stevens, R. L., “UbiWorld: An Environment Integrating Virtual Reality, Supercomputing and Design”, in Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing, Syracuse, New York, 1996.

1995

V. E. Taylor, Stevens, R. L., and Canfield, T., “Performance Models of Interactive, Immersive Visualization for Scientific Applications”, in Proceedings of the International Workshop on High Performance Computing for Computer Graphics, Swansea, U.K., 1995.

M. E. Papka, Disz, T. L., Pellegrino, M., and Stevens, R. L., “Sharing Visualization Experiences among Remote Virtual Environments”, in Proceedings of the International Workshop on HPC for Computer Graphics and Visualisation, 1995.

M. E. Papka, Disz, T. L., Stevens, R. L., Pellegrino, M., and Taylor, V. E., “Virtual Reality Visualization of Parallel Molecular Dynamics Simulations”, in Society for Computer Simulation, 1995.

W. D. Groppand Lusk, E. L., “Dynamic Process Management in an MPI Setting”, in Proc. 7th IEEE Symposium on Parallel and Distributed Processing, 1995.

V. E. Taylor, Stevens, R. L., and Arnold, K., “Parallel Molecular Dynamics: Communication Requirements for Massively Parallel Machines”, in Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers'95), 1995.

1994

J. Slaney, Lusk, E. L., and McCune, W., “SCOTT: Semantically Constrained OTTER System Description”, The International Conference on Automated Deduction (CADE-12), Lecture Notes in Computer Science, Springer, vol. 814, pp. 764-768, 1994.

M. Henderson, Nickless, W., and Stevens, R. L., “A Scalable High-Performance I/O System”, in In Scalable High-Performance Computing Conference, Knoxville, TN, 1994.

1993

J. B. Drake, Flannery, R. E., Walker, D., Worley, P. H., Foster, I. T., Michalakes, J. G., Stevens, R. L., Hack, J. J., and Williamson, D. L., “The Message-Passing Version of the Parallel Community Climate Model”, in Parallel Supercomputing in Atmospheric Sciences, 1993.

1992

R. L. Stevens, “Computational Science Experiences on the Intel Touchstone DELTA Supercomputer”, in Proceedings of the thirty-seventh international conference on COMPCON, San Francisco, California, United States, 1992.

1990

I. T. Fosterand Stevens, R. L., “Parallel Programming with Algorithmic Motifs”, in Proceedings of the 1990 International Conference on Parallel Processing, Urbana-Champaign, IL, USA, 1990.

L. Wos, Winker, S., McCune, W., Overbeek, R. A., Lusk, E. L., Stevens, R. L., and Butler, R. M., “Automated Reasoning Contributes to Mathematics and Logic”, in 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Springer, 1990.

J. Slaneyand Lusk, E. L., “Parallelizing the Closure Computation in Automated Deduction”, 1990.

E. L. Lusk, Butler, R. M., Disz, T. L., Olson, R., Overbeek, R. A., Stevens, R. L., Warren, D. H. D., Calderwood, A., Szeredi, P., Haridi, S., Brand, P., Carlsson, M., Ciepielewski, A., and Housman, B., “The Aurora OR-Parallel Prolog System”, in Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988, 1990.

1988

R. L. Stevens, “Challenge Problems from Nonassociative Rings for Theorem Provers”, in Lecture Notes in Computer Science,, New York, New York, USA, 1988.

1985

E. L. Luskand Overbeek, R. A., “Reasoning about Equality”, Journal of Automated Reasoning, vol. 1, no. 2, pp. 209-228, 1985.