Background
Conery, John Simpson was born on February 26, 1952 in Tacoma. Son of Patrick Daniel and Elaine Margaret Conery.
- Photos
- Works
- Photos
- Works
book
Parallel Execution of Logic Programs (The Springer International Series in Engineering and Computer Science)
(This book is an updated version of my Ph.D. dissertation,...)
This book is an updated version of my Ph.D. dissertation, The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that paper was finished (or so I thought then) have seen quite a bit of work in the area of parallel execution models and programming languages for logic programs. A quick glance at the bibliography here shows roughly 50 papers on these topics, 40 of which were published after 1983. The main difference between the book and the dissertation is the updated survey of related work. One of the appendices in the dissertation was an overview of a Prolog implementation of an interpreter based on the AND/OR Process Model, a simulator I used to get some preliminary measurements of parallelism in logic programs. In the last three years I have been involved with three other implementations. One was written in C and is now being installed on a small multiprocessor at the University of Oregon. Most of the programming of this interpreter was done by Nitin More under my direction for his M.S. project. The other two, one written in Multilisp and the other in Modula-2, are more limited, intended to test ideas about implementing specific aspects of the model. Instead of an appendix describing one interpreter, this book has more detail about implementation included in Chapters 5 through 7, based on a combination of ideas from the four interpreters.
http://www.amazon.com/gp/product/1461291879/?tag=2022091-20
(Parallel Execution of Logic Programs * * ) Author: John S. Conery Nov-2011
http://www.amazon.com/gp/product/B010BF7QXM/?tag=2022091-20
John Simpson Conery
Edit ProfileEducation
Bachelor in Psychology, University California San Diego, 1976. Master of Science in Computer Science, University California Irvine, 1979. Doctor of Philosophy in Computer Science, University California Irvine, 1983.
Career
Professor University Oregon, Eugene, 1983-1999. Director Software Engineering Research Center, Eugene, 1994-1995, Computational Science Institute, 1995-1997.
Achievements
Works
book
-
Parallel Execution of Logic Programs (The Springer International Series in Engineering and Computer Science)
(This book is an updated version of my Ph.D. dissertation,...)
- (Parallel Execution of Logic Programs * * ) Author: John S. Conery Nov-2011
-
Parallel Execution of Logic Programs (The Springer International Series in Engineering and Computer Science)
Interests
Connections
Married Leslie Suzanne Gatewood, August 24, 1985. 1 child, Kathleen.
-
Born
-
Nationality
American
Education
-
1976
-
1979
-
1983
Career
-
1983 - 1999
Awards
-
Recipient Outstanging Contribution award, Institute of Electrical and Electronics Engineers, 1986, Golden Core award, Institute of Electrical and Electronics Engineers, 1996.Recipient Outstanging Contribution award, Institute of Electrical and Electronics Engineers, 1986, Golden Core award, Institute of Electrical and Electronics Engineers, 1996.