Ralph Butler

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 2

Top Topics

Parallel Programming

Top Venues

Nucleic Acids Res.

Int. J. High Perform. Comput. Appl.

Publications

James J. Davis, Alice R. Wattam, Ramy K. Aziz, Thomas S. Brettin, Ralph Butler, Rory Butler, Philippe Chlenski, Neal Conrad, Allan Dickerman, Emily M. Dietrich, Joseph L. Gabbard, Svetlana Gerdes, Andrew Guard, Ronald W. Kenyon, Dustin Machi, Chunhong Mao, Daniel E. Murphy-Olson, Marcus Nguyen, Eric K. Nordberg, Gary J. Olsen, Robert Olson, Jamie C. Overbeek, Ross A. Overbeek, Bruce D. Parrello, Gordon D. Pusch, Maulik Shukla, Chris Thomas, Margo VanOeffelen, Veronika Vonstein, Andrew S. Warren, Fangfang Xia, Dawen Xie, Hyun Seung Yoo, Rick Stevens
The PATRIC Bioinformatics Resource Center: expanding data and analysis capabilities. Nucleic Acids Res. 48 (Database-Issue) (2020)
Ewing L. Lusk, Ralph Butler, Steven C. Pieper
Evolution of a minimal parallel programming model. Int. J. High Perform. Comput. Appl. 32 (1) (2018)
Ralph Butler, David Ells, Chrisila C. Pettey
PySMO: Python Shared Memory Objects. PDPTA (2010)
Cen Li, Suk Jai Seo, Ralph Butler
Hunting for truly relevant articles in bioinformatics literature: a preliminary study. BCB (2010)
Ralph Butler, Chrisila C. Pettey
A Bilingual Theorem Prover for Evaluating HPC Systems. PDPTA (2007)
Ralph Butler, Chrisila C. Pettey, Zach Lowry
CPVM: customizable portable virtual machines. ACM Southeast Regional Conference (2006)
Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler
An Interoperability Approach to System Software, Tools, and Libraries for Clusters. Int. J. High Perform. Comput. Appl. 20 (3) (2006)
Roland H. Untch, Ralph Butler, Chrisila C. Pettey
A small and secure submission system for UNIX systems. ACM Southeast Regional Conference (1) (2005)
Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk
The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER (2003)
Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis
Interfacing Parallel Jobs to Process Managers. HPDC (2001)
Ralph Butler, William Gropp, Ewing L. Lusk
Components and interfaces of a process management system for parallel programs. Parallel Comput. 27 (11) (2001)
Ralph Butler, William Gropp, Ewing L. Lusk
Components and Interfaces of a Process Management System for Parallel Programs CoRR (2001)
Ralph Butler, William Gropp, Ewing L. Lusk
A Scalable Process-Management Environment for Parallel Programs. PVM/MPI (2000)
Ralph Butler, Ewing L. Lusk
Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Comput. 20 (4) (1994)
Ralph Butler, Ross A. Overbeek
Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reason. 12 (2) (1994)
Ralph Butler, Alan L. Leveton, Ewing L. Lusk
P4-Linda: A Portable Implementation of Linda. HPDC (1993)
Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
Automated Reasoning Contributed to Mathematics and Logic. CADE (1990)
Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi
The Aurora or-parallel Prolog system. New Gener. Comput. 7 (2-3) (1990)
Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek
A High-Performance Parallel Theorem Prover. CADE (1990)
Ralph Butler, Nicholas T. Karonis
Exploitation of Parallelism in Prototypical Deduction Problems. CADE (1988)
Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP (1988)
Ralph Butler, Rasiah Loganantharaj, Robert Olson
Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. CADE (1988)
Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman
The Aurora Or-Parallel Prolog System. FGCS (1988)
Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
Parallel Logic Programming for Numeric Applications. ICLP (1986)
Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
Paths to High-Performance Automated Theorem Proving. CADE (1986)
Ralph Butler, Arlan R. DeKock
Implementaion of a parallel subsumption algorithm (abstract only). ACM Conference on Computer Science (1985)