Ruth E. Davis

According to our database, Ruth E. Davis authored at least 11 papers between 1984 and 2001.

Collaborative distances:

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

2001

The Modeling of Forested Areas for Real and Synthetic Aperture Imaging Radar Simulation when Tree Locations are Known.

James M. Henson, Ruth E. Davis

Int. J. Comput. Their Appl., 2001

1999

Interactive way-point forward secctor scan imaging radar simulation.

Paul A. Stuopis, James M. Henson, Ruth E. Davis, Kenneth Hall

Proceedings of the Computers and Their Applications (CATA-99), 1999

1997

IMMPS: A Multimedia Presentation Design System.

Timothy K. Shih, Ruth E. Davis

IEEE Multim., 1997

1995

On the Construction of a Prolog-Based Verifier for Systolic Array Designs.

Timothy K. Shih, Nam Ling, Ruth E. Davis, Fuyau Lin

Comput. Intell., 1995

1994

Spec: A Specification Processing Environment with Controls.

Timothy K. Shih, Ruth E. Davis

J. Inf. Sci. Eng., 1994

1993

LSL + Ada → reusable data structures.

Ruth E. Davis, Ronald L. Danielson

Proceedings of the Tenth Annual Washington Ada Symposium on Ada, 1993

1992

Disciplined Exceptions in Logic Programming.

Timothy K. Shih, Ruth E. Davis, Fuyau Lin

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

Automatic formal verification of systolic array designs.

Nam Ling, Fuyau Lin, Timothy K. Shih, Ruth E. Davis

Proceedings of the Application Specific Array Processors, 1991

1989

Truth, deduction, and computation - logic and semantics for computer science.

Ruth E. Davis

Principles of computer science series, Computer Science Press, ISBN: 978-0-7167-8201-8, 1989

1985

Logic Programming and Prolog: A Tutorial.

Ruth E. Davis

IEEE Softw., 1985

1984

Logic Programming is NOT Circuit Design.

Ruth E. Davis

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984