Ralph M. Butler

Ralph Butler

2007
23		Ralph Butler, Chrisila C. Pettey: A Bilingual Theorem Prover for Evaluating HPC Systems. PDPTA 2007: 1000-1003
2006
22	EE	Ralph Butler, Chrisila C. Pettey, Zach Lowry: CPVM: customizable portable virtual machines. ACM Southeast Regional Conference 2006: 616-619
2005
21	EE	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
20	EE	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
19	EE	Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk: The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198
2001
18	EE	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
17	EE	Ralph Butler, William Gropp, Ewing L. Lusk: Components and Interfaces of a Process Management System for Parallel Programs CoRR cs.DC/0102017: (2001)
16		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)
2000
15	EE	Ralph Butler, William Gropp, Ewing L. Lusk: A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175
1994
14		Ralph Butler, Ross A. Overbeek: Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reasoning 12(2): 139-156 (1994)
13		Ralph Butler, Ewing L. Lusk: Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Computing 20(4): 547-564 (1994)
1993
12		Ralph Butler, Alan L. Leveton, Ewing L. Lusk: P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58
1990
11		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
10		Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650
1988
9		Ralph Butler, Rasiah Loganantharaj, Robert Olsen: Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. CADE 1988: 323-332
8		Ralph Butler, Nicholas T. Karonis: Exploitation of Parallelism in Prototypical Deduction Problems. CADE 1988: 333-343
7		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
6		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
5	EE	Ralph M. Butler, Roger Eggen, Susan R. Wallace: Introducing parallel processing at the undergraduate level. SIGCSE 1988: 63-67
1987
4	EE	Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson: A logic programming model of the game of sprouts. SIGCSE 1987: 319-323
1986
3		Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597
2		Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388
1985
1	EE	Ralph Butler, Arlan R. DeKock: Implementaion of a parallel subsumption algorithm (abstract only). ACM Conference on Computer Science 1985: 422

Coauthor Index

1	David Ashton	[18]
2	Per Brand	[7]
3	Alan Calderwood	[7]
4	Mats Carlsson	[7]
5	Andrzej Ciepielewski	[7]
6	Arlan R. DeKock	[1]
7	Narayan Desai	[19]
8	Terry Disz	[6] [7]
9	Joseph A. Driscoll	[20]
10	Roger Eggen	[5]
11	Ian T. Foster	[10] [18]
12	Edgar Gabriel	[18]
13	William Gropp (William D. Gropp, Bill Gropp)	[15] [16] [17] [18]
14	Seif Haridi	[7]
15	Bogumil Hausman	[7]
16	Anita Jindal	[10]
17	Nicholas T. Karonis	[8] [18]
18	Joelle M. Key	[20]
19	Alan L. Leveton	[12]
20	Rasiah Loganantharaj (Raja Loganantharaj)	[9]
21	Zach Lowry	[22]
22	Andrew Lusk	[19]
23	Ewing L. Lusk	[2] [3] [6] [7] [11] [12] [13] [15] [16] [17] [18] [19]
24	William McCune	[2] [3] [11]
25	Robert Olsen	[9]
26	Robert Olson	[6] [7]
27	Ross A. Overbeek	[2] [3] [6] [7] [10] [11] [14]
28	Chrisila C. Pettey	[21] [22] [23]
29	Rick L. Stevens (Rick Stevens)	[6] [7] [11]
30	Péter Szeredi	[7]
31	Brian R. Toonen	[18]
32	Selden Y. Trimble	[4]
33	Roland H. Untch	[21]
34	Susan R. Wallace	[5]
35	David H. D. Warren	[7]
36	Ralph W. Wilkerson	[4]
37	S. Winker	[11]
38	Larry Wos	[11]

Colors in the list of coauthors