Ralph Butler

28 papers A 7B 1C 1Misc 2Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2020 J jnl
The PATRIC Bioinformatics Resource Center: expanding data and analysis capabilities.
Nucleic Acids Res.
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
2018 J jnl
Evolution of a minimal parallel programming model.
Int. J. High Perform. Comput. Appl.
Ewing L. Lusk, Ralph Butler, Steven C. Pieper
2010 — conf
Hunting for truly relevant articles in bioinformatics literature: a preliminary study.
BCB
Cen Li, Suk Jai Seo, Ralph Butler
2010 Misc conf
PySMO: Python Shared Memory Objects.
PDPTA
Ralph Butler, David Ells, Chrisila C. Pettey
2008 J jnl
An open source tool for teaching concepts for building distributed isometric 3D games.
J. Comput. Sci. Coll.
Ralph Butler, Chrisila C. Pettey
2007 Misc conf
A Bilingual Theorem Prover for Evaluating HPC Systems.
PDPTA
Ralph Butler, Chrisila C. Pettey
2006 J jnl
An Interoperability Approach to System Software, Tools, and Libraries for Clusters.
Int. J. High Perform. Comput. Appl.
Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler
2006 — conf
CPVM: customizable portable virtual machines.
ACM Southeast Regional Conference
Ralph Butler, Chrisila C. Pettey, Zach Lowry
2005 — conf
A small and secure submission system for UNIX systems.
ACM Southeast Regional Conference (1)
Roland H. Untch, Ralph Butler, Chrisila C. Pettey
2003 C conf
The ProcessManagement Component of a Scalable Systems Software Environment.
CLUSTER
Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk
2002 J jnl
Simple maintenance of Beowulf clusters in an academic environment.
J. Comput. Sci. Coll.
Chrisila C. Pettey, Ralph Butler, Brad Rudnick, Thomas Naughton
2001 J jnl
Components and Interfaces of a Process Management System for Parallel Programs
CoRR
Ralph Butler, William Gropp, Ewing L. Lusk
2001 J jnl
Components and interfaces of a process management system for parallel programs.
Parallel Comput.
Ralph Butler, William Gropp, Ewing L. Lusk
2001 A conf
Interfacing Parallel Jobs to Process Managers.
HPDC
Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis
2000 — conf
A Scalable Process-Management Environment for Parallel Programs.
PVM/MPI
Ralph Butler, William Gropp, Ewing L. Lusk
1994 J jnl
Formula Databases for High-Performance Resolution/Paramodulation Systems.
J. Autom. Reason.
Ralph Butler, Ross A. Overbeek
1994 J jnl
Monitors, Messages, and Clusters: The p4 Parallel Programming System.
Parallel Comput.
Ralph Butler, Ewing L. Lusk
1993 A conf
P4-Linda: A Portable Implementation of Linda.
HPDC
Ralph Butler, Alan L. Leveton, Ewing L. Lusk
1990 A conf
A High-Performance Parallel Theorem Prover.
CADE
Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek
1990 A conf
Automated Reasoning Contributed to Mathematics and Logic.
CADE
Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
1990 J jnl
The Aurora or-parallel Prolog system.
New Gener. Comput.
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
1988 A conf
Exploitation of Parallelism in Prototypical Deduction Problems.
CADE
Ralph Butler, Nicholas T. Karonis
1988 A conf
Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.
CADE
Ralph Butler, Rasiah Loganantharaj, Robert Olson
1988 — conf
Scheduling OR-Parallelism: An Argonne Perspective.
ICLP/SLP
Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
1988 — conf
The Aurora Or-Parallel Prolog System.
FGCS
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
1986 B conf
Parallel Logic Programming for Numeric Applications.
ICLP
Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
1986 A conf
Paths to High-Performance Automated Theorem Proving.
CADE
Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
1985 — conf
Implementaion of a parallel subsumption algorithm (abstract only).
ACM Conference on Computer Science
Ralph Butler, Arlan R. DeKock