Donald A. Smith

According to our database, Donald A. Smith authored at least 17 papers between 1974 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Improved Decision Support in Space Exploration via System-of-Systems Analysis.

Oleg V. Sindiy, Daniel A. DeLaurentis, Kirk A. Akaydin, Donald A. Smith

Proceedings of the 2nd IEEE International Conference on System of Systems Engineering, 2007

1999

Pseudo-Naive Evaluation.

Donald A. Smith, Mark Utting

Proceedings of the Database Systems 99, 1999

1998

Computerizing Computer Science.

Donald A. Smith

Commun. ACM, 1998

Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.

Donald A. Smith, Mark Utting

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

1997

MixLog: a generalized rule-based language.

Donald A. Smith

Proceedings of the JFPLC'97, 1997

1996

Multilog and Data or-Parallelism.

Donald A. Smith

J. Log. Program., 1996

1994

Why Multi-SLD Beats SLD (Even on a Uniprocessor).

Donald A. Smith

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Multi-SLD Resolution.

Donald A. Smith, Timothy J. Hickey

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism.

Donald A. Smith

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

1992

MultiLog: Data Or-Parallel Logic Programming.

Donald A. Smith

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

1991

Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages.

Donald A. Smith

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Toward the Partial Evaluation of CLP Languages.

Timothy J. Hickey, Donald A. Smith

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Constraint Operations for CLP(FT).

Donald A. Smith

Proceedings of the Logic Programming, 1991

1990

Partial Evaluation of a CLP Language.

Donald A. Smith, Timothy J. Hickey

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

A Model of Competence for Counting.

Donald A. Smith, James G. Greeno, Theresa M. Vitolo

Cogn. Sci., 1989

1974

Programmable Bandpass Filter and Tone Generator Using Bucket-Brigade Delay Lines.

Donald A. Smith, Walter J. Butler, Charles M. Puckette

IEEE Trans. Commun., 1974

Bucket-Brigade Transversal Filters.

Charles M. Puckette, Walter J. Butler, Donald A. Smith

IEEE Trans. Commun., 1974