Ralph M. Butler

According to our database, Ralph M. Butler authored at least 28 papers between 1985 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

The PATRIC Bioinformatics Resource Center: expanding data and analysis capabilities.

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

Nucleic Acids Res., 2020

2018

Evolution of a minimal parallel programming model.

Ewing L. Lusk, Ralph Butler, Steven C. Pieper

Int. J. High Perform. Comput. Appl., 2018

2010

PySMO: Python Shared Memory Objects.

Ralph Butler, David Ells, Chrisila C. Pettey

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

Hunting for truly relevant articles in bioinformatics literature: a preliminary study.

Cen Li, Suk Jai Seo, Ralph Butler

Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

2007

A Bilingual Theorem Prover for Evaluating HPC Systems.

Ralph Butler, Chrisila C. Pettey

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

2006

An Interoperability Approach to System Software, Tools, and Libraries for Clusters.

Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler

Int. J. High Perform. Comput. Appl., 2006

CPVM: customizable portable virtual machines.

Ralph Butler, Chrisila C. Pettey, Zach Lowry

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

A small and secure submission system for UNIX systems.

Roland H. Untch, Ralph Butler, Chrisila C. Pettey

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

A virtual machine environment for teaching the development of system software.

Joseph A. Driscoll, Ralph M. Butler, Joelle M. Key

Proceedings of the 42nd Annual Southeast Regional Conference, 2004

2003

The ProcessManagement Component of a Scalable Systems Software Environment.

Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk

Proceedings of the 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 2003

2001

Components and interfaces of a process management system for parallel programs.

Ralph Butler, William Gropp, Ewing L. Lusk

Parallel Comput., 2001

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

Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), 2001

2000

A Scalable Process-Management Environment for Parallel Programs.

Ralph Butler, William Gropp, Ewing L. Lusk

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2000

1994

Monitors, Messages, and Clusters: The p4 Parallel Programming System.

Ralph Butler, Ewing L. Lusk

Parallel Comput., 1994

Formula Databases for High-Performance Resolution/Paramodulation Systems.

Ralph Butler, Ross A. Overbeek

J. Autom. Reason., 1994

1993

P4-Linda: A Portable Implementation of Linda.

Ralph Butler, Alan L. Leveton, Ewing L. Lusk

Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

1990

The Aurora or-parallel Prolog system.

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

New Gener. Comput., 1990

Automated Reasoning Contributed to Mathematics and Logic.

Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler

Proceedings of the 10th International Conference on Automated Deduction, 1990

A High-Performance Parallel Theorem Prover.

Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

Introducing parallel processing at the undergraduate level.

Ralph M. Butler, Roger Eggen, Susan R. Wallace

Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988

Scheduling OR-Parallelism: An Argonne Perspective.

Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens

Proceedings of the Logic Programming, 1988

The Aurora Or-Parallel Prolog System.

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

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.

Ralph Butler, Rasiah Loganantharaj, Robert Olson

Proceedings of the 9th International Conference on Automated Deduction, 1988

Exploitation of Parallelism in Prototypical Deduction Problems.

Ralph Butler, Nicholas T. Karonis

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

A logic programming model of the game of sprouts.

Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson

Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, 1987

1986

Parallel Logic Programming for Numeric Applications.

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek

Proceedings of the Third International Conference on Logic Programming, 1986

Paths to High-Performance Automated Theorem Proving.

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Implementaion of a parallel subsumption algorithm (abstract only).

Ralph Butler, Arlan R. DeKock

Proceedings of the 13th ACM Annual Conference on Computer Science, 1985