Travelled to:1 × United Kingdom
4 × USA
Collaborated with:E.L.Lusk R.A.Overbeek W.McCune N.T.Karonis R.Olson I.T.Foster A.L.Leveton R.Loganantharaj R.L.Stevens A.Jindal T.Disz L.Wos S.Winker B.R.Toonen D.Ashton W.Gropp E.Gabriel
Talks about:parallel (5) theorem (2) program (2) perform (2) prolog (2) logic (2) linda (2) autom (2) high (2) transform (1)
Person: Ralph Butler
DBLP: Butler:Ralph
Contributed to:
20011993
19901988
198819861986Wrote 9 papers:
- HPDC-2001-ToonenALFGGBK #parallel #process
- Interfacing Parallel Jobs to Process Managers (BRT, DA, ELL, ITF, WG, EG, RB, NTK), pp. 431–432.
- HPDC-1993-ButlerLL #implementation #named
- P4-Linda: A Portable Implementation of Linda (RB, ALL, ELL), pp. 50–58.
- CADE-1990-ButlerFJO #parallel #proving #theorem proving
- A High-Performance Parallel Theorem Prover (RB, ITF, AJ, RAO), pp. 649–650.
- CADE-1990-WosWMOLSB #automation #logic #reasoning
- Automated Reasoning Contributed to Mathematics and Logic (LW, SW, WM, RAO, ELL, RLS, RB), pp. 485–499.
- CADE-1988-ButlerK #deduction #parallel #problem #prototype
- Exploitation of Parallelism in Prototypical Deduction Problems (RB, NTK), pp. 333–343.
- CADE-1988-ButlerLO #automaton #compilation #performance #program transformation #prolog
- Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.
- JICSCP-1988-ButlerDLOOS88 #perspective #scheduling
- Scheduling OR-Parallelism: An Argonne Perspective (RB, TD, ELL, RO, RAO, RLS), pp. 1590–1605.
- CADE-1986-ButlerLMO #automation #proving #theorem proving
- Paths to High-Performance Automated Theorem Proving (RB, ELL, WM, RAO), pp. 588–597.
- ICLP-1986-ButlerLMO86 #logic programming #parallel
- Parallel Logic Programming for Numeric Applications (RB, ELL, WM, RAO), pp. 375–388.