Donald A. Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2007

Improved Decision Support in Space Exploration via System-of-Systems AnalysisOleg V. Sindiy, Daniel A. DeLaurentis, Kirk A. Akaydin, Donald A. Smith. sysose 2007: 1-6 [doi]

1999

Pseudo-Naive EvaluationDonald A. Smith, Mark Utting. adc 1999: 211-223

1998

Computerizing Computer ScienceDonald A. Smith. CACM, 41(9):21-23, 1998.

Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic ProgramsDonald A. Smith, Mark Utting. ICLP 1998: 113-126

1997

MixLog: a generalized rule-based languageDonald A. Smith. jfplc 1997: 21-36

1996

Multilog and Data or-ParallelismDonald A. Smith. jlp, 29(1-3):195-244, 1996.

1994

Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-ParallelismDonald A. Smith. ICLP 1994: 33-47 [doi]

Why Multi-SLD Beats SLD (Even on a Uniprocessor)Donald A. Smith. plilp 1994: 40-56

Multi-SLD ResolutionDonald A. Smith, Timothy J. Hickey. lpar 1994: 260-274

1993

MultiLog: Data Or-Parallel Logic ProgrammingDonald A. Smith. ICLP 1993: 314-331

1992

MultiLog: Data Or-Parallel Logic ProgrammingDonald A. Smith. ICLP 1992:

1991

Toward the Partial Evaluation of CLP LanguagesTimothy J. Hickey, Donald A. Smith. PEPM 1991: 43-51

Constraint Operations for CLP(FT)Donald A. Smith. ICLP 1991: 760-774

Partial Evaluation of Pattern Matching in Constraint Logic Programming LanguagesDonald A. Smith. PEPM 1991: 62-71

1990

Partial Evaluation of a CLP LanguageDonald A. Smith, Timothy J. Hickey. SLP 1990: 119-138

1989

A Model of Competence for CountingDonald A. Smith, James G. Greeno, Theresa M. Vitolo. cogsci, 13(2):183-211, 1989.

1974

Bucket-Brigade Transversal FiltersCharles M. Puckette, Walter J. Butler, Donald A. Smith. tcom, 22(7):926-934, 1974. [doi]

Programmable Bandpass Filter and Tone Generator Using Bucket-Brigade Delay LinesDonald A. Smith, Walter J. Butler, Charles M. Puckette. tcom, 22(7):921-925, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL