default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRalph M. Butler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j7]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): D606-D612 (2020)
2010 – 2019
- 2018
- [j6]Ewing L. Lusk, Ralph Butler, Steven C. Pieper:
Evolution of a minimal parallel programming model. Int. J. High Perform. Comput. Appl. 32(1): 4-13 (2018) - 2010
- [c21]Cen Li, Suk Jai Seo, Ralph Butler:
Hunting for truly relevant articles in bioinformatics literature: a preliminary study. BCB 2010: 481-483 - [c20]Ralph Butler, David Ells, Chrisila C. Pettey:
PySMO: Python Shared Memory Objects. PDPTA 2010: 203-209
2000 – 2009
- 2007
- [c19]Ralph Butler, Chrisila C. Pettey:
A Bilingual Theorem Prover for Evaluating HPC Systems. PDPTA 2007: 1000-1003 - 2006
- [j5]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): 401-407 (2006) - [c18]Ralph Butler, Chrisila C. Pettey, Zach Lowry:
CPVM: customizable portable virtual machines. ACM Southeast Regional Conference 2006: 616-619 - 2005
- [c17]Roland H. Untch, Ralph Butler, Chrisila C. Pettey:
A small and secure submission system for UNIX systems. ACM Southeast Regional Conference (1) 2005: 341-344 - 2004
- [c16]Joseph A. Driscoll, Ralph M. Butler, Joelle M. Key:
A virtual machine environment for teaching the development of system software. ACM Southeast Regional Conference 2004: 440-441 - 2003
- [c15]Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk:
The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198 - 2001
- [j4]Ralph Butler, William Gropp, Ewing L. Lusk:
Components and interfaces of a process management system for parallel programs. Parallel Comput. 27(11): 1417-1429 (2001) - [c14]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: 431-432 - [i1]Ralph Butler, William Gropp, Ewing L. Lusk:
Components and Interfaces of a Process Management System for Parallel Programs. CoRR cs.DC/0102017 (2001) - 2000
- [c13]Ralph Butler, William Gropp, Ewing L. Lusk:
A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175
1990 – 1999
- 1994
- [j3]Ralph Butler, Ross A. Overbeek:
Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reason. 12(2): 139-156 (1994) - [j2]Ralph Butler, Ewing L. Lusk:
Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Comput. 20(4): 547-564 (1994) - 1993
- [c12]Ralph Butler, Alan L. Leveton, Ewing L. Lusk:
P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58 - 1990
- [j1]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): 243-271 (1990) - [c11]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: 485-499 - [c10]Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek:
A High-Performance Parallel Theorem Prover. CADE 1990: 649-650
1980 – 1989
- 1988
- [c9]Ralph Butler, Rasiah Loganantharaj, Robert Olson:
Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. CADE 1988: 323-332 - [c8]Ralph Butler, Nicholas T. Karonis:
Exploitation of Parallelism in Prototypical Deduction Problems. CADE 1988: 333-343 - [c7]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: 819-830 - [c6]Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens:
Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605 - [c5]Ralph M. Butler, Roger Eggen, Susan R. Wallace:
Introducing parallel processing at the undergraduate level. SIGCSE 1988: 63-67 - 1987
- [c4]Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson:
A logic programming model of the game of sprouts. SIGCSE 1987: 319-323 - 1986
- [c3]Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek:
Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597 - [c2]Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek:
Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388 - 1985
- [c1]Ralph Butler, Arlan R. DeKock:
Implementaion of a parallel subsumption algorithm (abstract only). ACM Conference on Computer Science 1985: 422
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
