|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 12 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ralph Butler, David Ells, Chrisila C. Pettey |
PySMO: Python Shared Memory Objects.  |
PDPTA  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cen Li, Suk Jai Seo, Ralph Butler |
Hunting for truly relevant articles in bioinformatics literature: a preliminary study. |
BCB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Chrisila C. Pettey |
A Bilingual Theorem Prover for Evaluating HPC Systems. |
PDPTA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler |
An Interoperability Approach to System Software, Tools, and Libraries for Clusters. |
IJHPCA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Chrisila C. Pettey, Zach Lowry |
CPVM: customizable portable virtual machines. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
portable computing, virtual computing |
| 1 | Roland H. Untch, Ralph Butler, Chrisila C. Pettey |
A small and secure submission system for UNIX systems. |
ACM Southeast Regional Conference |
2005 |
DBLP DOI BibTeX RDF |
assignment management, courseware, NFS |
| 1 | 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 |
DBLP DOI BibTeX RDF |
DLX, education, GUI, virtual machine, system software |
| 1 | Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk |
The ProcessManagement Component of a Scalable Systems Software Environment. |
CLUSTER |
2003 |
DBLP DOI BibTeX RDF |
XML, scalability, parallel programming, process management, Systems software |
| 1 | Ralph Butler, William Gropp, Ewing L. Lusk |
Components and interfaces of a process management system for parallel programs. |
Parallel Computing |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, William Gropp, Ewing L. Lusk |
Components and Interfaces of a Process Management System for Parallel Programs |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
HPDC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, William Gropp, Ewing L. Lusk |
A Scalable Process-Management Environment for Parallel Programs. |
PVM/MPI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Ewing L. Lusk |
Monitors, Messages, and Clusters: The p4 Parallel Programming System. |
Parallel Computing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Ross A. Overbeek |
Formula Databases for High-Performance Resolution/Paramodulation Systems. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Alan L. Leveton, Ewing L. Lusk |
P4-Linda: A Portable Implementation of Linda. |
HPDC |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek |
A High-Performance Parallel Theorem Prover. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Rasiah Loganantharaj, Robert Olson |
Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Nicholas T. Karonis |
Exploitation of Parallelism in Prototypical Deduction Problems. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens |
Scheduling OR-Parallelism: An Argonne Perspective. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ralph M. Butler, Roger Eggen, Susan R. Wallace |
Introducing parallel processing at the undergraduate level. |
SIGCSE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson |
A logic programming model of the game of sprouts. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
Paths to High-Performance Automated Theorem Proving. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
Parallel Logic Programming for Numeric Applications. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Butler, Arlan R. DeKock |
Implementaion of a parallel subsumption algorithm (abstract only). |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")