Donald A. Smith

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