Automated Reasoning: Introduction And Applications

By Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle

Larry Wos ... [et Al.]. Includes Bibliographical References And Index.

Computer Assisted Analysis And Modeling On The Ibm 3090

By Hilton Brown, William Gropp, Ewing Lusk, Hilton U. Brown, Hilton U. Brown III

The Characteristics Of Parallel Algorithms

By Dennis B. Gannon, William Gropp, Leah H. Jamieson, Ewing Lusk, Robert J. Douglass, Leah H. Jamieson, Dennis Gannon, Robert J. Douglass

Although there has been a tremendous growth of interest in parallel architecture and parallel processing in recent years, comparatively little work has been done on the problem of characterizing pa...

Unstructured Scientific Computation On Scalable Multiprocessors

By William Gropp, Robert Voigt, Piyush Mehrotra, Ewing Lusk, Joel Saltz, Unstructured Scientific Computation On Scalable Multiprocessors

xvi, 405 p. : 24 cm Papers presented at a workshop held by ICASE in Nags Head, N.C. in Oct. 1990 Includes bibliographical references and index

Parallel Computational Fluid Dynamics: Implementations And Results

By Horst D. Simon, William Gropp, Ewing Lusk, Parallel Computational Fluid Dynamics Conference 2 1990 Indianapolis, Ind, Parallel CDF Conference

Computational Fluid Dynamics (CFD) is one of the most important applications areas for high-performance computing, setting the pace for developments in scientific computing. Anyone who wants to des...

Using Advanced MPI

By William Gropp, Torsten Hoefler, Ewing Lusk, Rajeev Thakur, William Gropp, Torsten Hoefler, Rajeev Thakur

A guide to advanced features of MPI, reflecting the latest version of the MPI standard, that takes an example-driven, tutorial approach. This book offers a practical guide to the advanced features...

Using MPI: Portable Parallel Programming With The Message-Passing Interface

By William Gropp, Ewing Lusk, Anthony Skjellum, Vijaya Ramachandran (Auth.), Michael T. Heath, Abhiram Ranade, Robert S. Schreiber (Eds.)

This IMA Volume in Mathematics and its Applications ALGORITHMS FOR PARALLEL PROCESSING is based on the proceedings of a workshop that was an integral part of the 1996-97 IMA program on "MATHEMATICS...

MPI: The Complete Reference (Vol. 2), Vol. 2 - The MPI-2 Extensions

By William Gropp, William Saphir, Bill Nitzberg, Steven Huss-Lederman, Ewing Lusk, Marc Snir, Andrew Lumsdaine

Using MPI - 2nd Edition: Portable Parallel Programming With The Message Passing Interface

By Massachusetts Institute Of Technology [, William Gropp, Ewing Lusk, Rajeev Thakur, Anthony Skjellum

Using MPI is a completely up-to-date version of the authors' 1994 introduction to the core functions of MPI. It adds material onthe new C++ and Fortran 90 bindings for MPI throughout the book. The...

Using MPI-2: Advanced Features Of The Message Passing Interface

By Massachusetts Institute Of Technology [, William Gropp, Ewing Lusk, Rajeev Thakur

Using MPI is a completely up-to-date version of the authors' 1994 introduction to the core functions of MPI. It adds material onthe new C++ and Fortran 90 bindings for MPI throughout the book. The...