The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralph Butler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ralph Butler, Chrisila C. Pettey, Zach Lowry
    CPVM: customizable portable virtual machines. [Citation Graph (0, 0)][DBLP]
    ACM Southeast Regional Conference, 2006, pp:616-619 [Conf]
  2. Roland H. Untch, Ralph Butler, Chrisila C. Pettey
    A small and secure submission system for UNIX systems. [Citation Graph (0, 0)][DBLP]
    ACM Southeast Regional Conference (1), 2005, pp:341-344 [Conf]
  3. Ralph Butler, Arlan R. DeKock
    Implementaion of a parallel subsumption algorithm (abstract only). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1985, pp:422- [Conf]
  4. Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek
    A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:649-650 [Conf]
  5. Ralph Butler, Nicholas T. Karonis
    Exploitation of Parallelism in Prototypical Deduction Problems. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:333-343 [Conf]
  6. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Paths to High-Performance Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:588-597 [Conf]
  7. Ralph Butler, Rasiah Loganantharaj, Robert Olsen
    Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:323-332 [Conf]
  8. Larry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
    Automated Reasoning Contributed to Mathematics and Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:485-499 [Conf]
  9. Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk
    The ProcessManagement Component of a Scalable Systems Software Environment. [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2003, pp:190-198 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:819-830 [Conf]
  11. Ralph Butler, Alan L. Leveton, Ewing L. Lusk
    P4-Linda: A Portable Implementation of Linda. [Citation Graph (0, 0)][DBLP]
    HPDC, 1993, pp:50-58 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    HPDC, 2001, pp:431-432 [Conf]
  13. Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
    Scheduling OR-Parallelism: An Argonne Perspective. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1590-1605 [Conf]
  14. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Parallel Logic Programming for Numeric Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:375-388 [Conf]
  15. Ralph Butler, William Gropp, Ewing L. Lusk
    A Scalable Process-Management Environment for Parallel Programs. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2000, pp:168-175 [Conf]
  16. Ralph Butler, William Gropp, Ewing L. Lusk
    Components and Interfaces of a Process Management System for Parallel Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  17. Ralph Butler, Ross A. Overbeek
    Formula Databases for High-Performance Resolution/Paramodulation Systems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:12, n:2, pp:139-156 [Journal]
  18. Ralph Butler, William Gropp, Ewing L. Lusk
    Components and interfaces of a process management system for parallel programs. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2001, v:27, n:11, pp:1417-1429 [Journal]
  19. Ralph Butler, Ewing L. Lusk
    Monitors, Messages, and Clusters: The p4 Parallel Programming System. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1994, v:20, n:4, pp:547-564 [Journal]

  20. A Bilingual Theorem Prover for Evaluating HPC Systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002