Ralph Butler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
5
Active years
1986–2010
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | PDPTA | PySMO: Python Shared Memory Objects. | Ralph Butler, David Ells, Chrisila C. Pettey |
| 2007 | PDPTA | A Bilingual Theorem Prover for Evaluating HPC Systems. | Ralph Butler, Chrisila C. Pettey |
| 2003 | CLUSTER | The ProcessManagement Component of a Scalable Systems Software Environment. | Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk |
| 2001 | HPDC | Interfacing Parallel Jobs to Process Managers. | Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis |
| 1993 | HPDC | P4-Linda: A Portable Implementation of Linda. | Ralph Butler, Alan L. Leveton, Ewing L. Lusk |
| 1990 | CADE | A High-Performance Parallel Theorem Prover. | Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek |
| 1990 | CADE | Automated Reasoning Contributed to Mathematics and Logic. | Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler |
| 1988 | CADE | Exploitation of Parallelism in Prototypical Deduction Problems. | Ralph Butler, Nicholas T. Karonis |
| 1988 | CADE | Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. | Ralph Butler, Rasiah Loganantharaj, Robert Olson |
| 1988 | ICLP | Scheduling OR-Parallelism: An Argonne Perspective. | Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens |
| 1986 | CADE | Paths to High-Performance Automated Theorem Proving. | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1986 | ICLP | Parallel Logic Programming for Numeric Applications. | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |