Ralph M. Butler

Ralph Butler

	2010
27		Cen Li, Suk Jai Seo, Ralph Butler: Hunting for truly relevant articles in bioinformatics literature: a preliminary study. BCB 2010: 481-483
26		Ralph Butler, David Ells, Chrisila C. Pettey: PySMO: Python Shared Memory Objects. PDPTA 2010: 203-209
	2007
25		Ralph Butler, Chrisila C. Pettey: A Bilingual Theorem Prover for Evaluating HPC Systems. PDPTA 2007: 1000-1003
	2006
24		Ralph Butler, Chrisila C. Pettey, Zach Lowry: CPVM: customizable portable virtual machines. ACM Southeast Regional Conference 2006: 616-619
23		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)
	2005
22		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
21		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
20		Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk: The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198
	2001
19		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
18		Ralph Butler, William Gropp, Ewing L. Lusk: Components and Interfaces of a Process Management System for Parallel Programs CoRR cs.DC/0102017: (2001)
17		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
16		Ralph Butler, William Gropp, Ewing L. Lusk: A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175
	1994
15		Ralph Butler, Ross A. Overbeek: Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reasoning 12(2): 139-156 (1994)
14		Ralph Butler, Ewing L. Lusk: Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Computing 20(4): 547-564 (1994)
	1993
13		Ralph Butler, Alan L. Leveton, Ewing L. Lusk: P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58
	1990
12		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
11		Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650
10		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)
	1988
9		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
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		Ralph M. Butler, Roger Eggen, Susan R. Wallace: Introducing parallel processing at the undergraduate level. SIGCSE 1988: 63-67
	1987
4		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		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	[19]
2	Rick Bradshaw	[23]
3	Per Brand	[7]
4	Alan Calderwood	[7] [10]
5	Mats Carlsson	[7]
6	Andrzej Ciepielewski	[7]
7	Arlan R. DeKock	[1]
8	Narayan Desai	[20] [23]
9	Terry Disz (Terrence Disz)	[6] [7] [10]
10	Joseph A. Driscoll	[21]
11	Roger Eggen	[5]
12	David Ells	[26]
13	Ian T. Foster	[11] [19]
14	Edgar Gabriel	[19]
15	William Gropp (William D. Gropp, Bill Gropp)	[16] [17] [18] [19]
16	Seif Haridi	[7] [10]
17	Bogumil Hausman	[7]
18	Anita Jindal	[11]
19	Nicholas T. Karonis	[8] [19]
20	Joelle M. Key	[21]
21	Alan L. Leveton	[13]
22	Cen Li	[27]
23	Rasiah Loganantharaj (Raja Loganantharaj)	[9]
24	Zach Lowry	[24]
25	Andrew Lusk	[20] [23]
26	Ewing L. Lusk	[2] [3] [6] [7] [10] [12] [13] [14] [16] [17] [18] [19] [20] [23]
27	William McCune	[2] [3] [12]
28	Robert Olson	[6] [7] [9] [10]
29	Ross A. Overbeek	[2] [3] [6] [7] [10] [11] [12] [15]
30	Chrisila C. Pettey	[22] [24] [25] [26]
31	Suk Jai Seo	[27]
32	Rick L. Stevens (Rick Stevens)	[6] [7] [10] [12]
33	Péter Szeredi	[7] [10]
34	Brian R. Toonen	[19]
35	Selden Y. Trimble	[4]
36	Roland H. Untch	[22]
37	Susan R. Wallace	[5]
38	David H. D. Warren	[7] [10]
39	Ralph W. Wilkerson	[4]
40	S. Winker	[12]
41	Larry Wos	[12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page