Ralph Butler
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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. IJHPCA 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 Computing 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 |
| 1994 | ||
| j3 | | Ralph Butler, Ross A. Overbeek: Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reasoning 12(2): 139-156 (1994) |
| j2 | | Ralph Butler, Ewing L. Lusk: Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Computing 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 Generation Comput. 7(2-3): 243-271 (1990) |
| c11 | | Larry Wos, S. 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 |
| 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 |
Colors in the list of coauthors
Last update Sat May 18 23:38:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page