Ruth E. Davis

Publication Activity (10 Years)

Years Active: 1984-2001
Publications (10 Years): 0

Publications

James M. Henson, Ruth E. Davis
The Modeling of Forested Areas for Real and Synthetic Aperture Imaging Radar Simulation when Tree Locations are Known. Int. J. Comput. Their Appl. 8 (3) (2001)
Paul A. Stuopis, James M. Henson, Ruth E. Davis, Kenneth Hall
Interactive way-point forward secctor scan imaging radar simulation. CATA (1999)
Timothy K. Shih, Ruth E. Davis
IMMPS: A Multimedia Presentation Design System. IEEE Multim. 4 (2) (1997)
Timothy K. Shih, Nam Ling, Ruth E. Davis, Fuyau Lin
On the Construction of a Prolog-Based Verifier for Systolic Array Designs. Comput. Intell. 11 (1995)
Timothy K. Shih, Ruth E. Davis
Spec: A Specification Processing Environment with Controls. J. Inf. Sci. Eng. 10 (4) (1994)
Ruth E. Davis, Ronald L. Danielson
LSL + Ada → reusable data structures. WADAS (1993)
Timothy K. Shih, Ruth E. Davis, Fuyau Lin
Disciplined Exceptions in Logic Programming. ALPUK (1992)
Nam Ling, Fuyau Lin, Timothy K. Shih, Ruth E. Davis
Automatic formal verification of systolic array designs. ASAP (1991)
Ruth E. Davis
Logic Programming and Prolog: A Tutorial. IEEE Softw. 2 (5) (1985)
Ruth E. Davis
Logic Programming is NOT Circuit Design. COMPCON (1984)