Donald A. Smith

Publication Activity (10 Years)

Years Active: 1974-2007
Publications (10 Years): 0

Publications

Oleg V. Sindiy, Daniel A. DeLaurentis, Kirk A. Akaydin, Donald A. Smith
Improved Decision Support in Space Exploration via System-of-Systems Analysis. SoSE (2007)
Donald A. Smith, Mark Utting
Pseudo-Naive Evaluation. Australasian Database Conference (1999)
Donald A. Smith
Computerizing Computer Science. Commun. ACM 41 (9) (1998)
Donald A. Smith, Mark Utting
Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. Implementation Technology for Programming Languages based on Logic (1998)
Donald A. Smith
MixLog: a generalized rule-based language. JFPLC (1997)
Donald A. Smith
Multilog and Data or-Parallelism. J. Log. Program. 29 (1-3) (1996)
Donald A. Smith, Timothy J. Hickey
Multi-SLD Resolution. LPAR (1994)
Donald A. Smith
Why Multi-SLD Beats SLD (Even on a Uniprocessor). PLILP (1994)
Donald A. Smith
Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Donald A. Smith
MultiLog: Data Or-Parallel Logic Programming. ICLP (1993)
Donald A. Smith
MultiLog: Data Or-Parallel Logic Programming. IJCSLP Workshop on Concurrent and Parallel Implementations (1992)
Donald A. Smith
Constraint Operations for CLP(FT). ICLP (1991)
Timothy J. Hickey, Donald A. Smith
Toward the Partial Evaluation of CLP Languages. PEPM (1991)
Donald A. Smith
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. PEPM (1991)
Donald A. Smith, Timothy J. Hickey
Partial Evaluation of a CLP Language. NACLP (1990)
Donald A. Smith, James G. Greeno, Theresa M. Vitolo
A Model of Competence for Counting. Cogn. Sci. 13 (2) (1989)
Donald A. Smith, Walter J. Butler, Charles M. Puckette
Programmable Bandpass Filter and Tone Generator Using Bucket-Brigade Delay Lines. IEEE Trans. Commun. 22 (7) (1974)
Charles M. Puckette, Walter J. Butler, Donald A. Smith
Bucket-Brigade Transversal Filters. IEEE Trans. Commun. 22 (7) (1974)