BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Butler:Ralph

Contributed to:

HPDC 20012001
HPDC 19931993
CADE 19901990
CADE 19881988
ICLP/SPL 19881988
CADE 19861986
ICLP 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.