David W. Shipman

Publication Activity (10 Years)

Years Active: 1978-1983
Publications (10 Years): 0

Publications

David W. Shipman
SpireX: Statistical analysis in the spire acoustic-phonetic workstation. ICASSP (1983)
David W. Shipman, Victor W. Zue
Properties of large lexicons: Implications for advanced isolated word recognition systems. ICASSP (1982)
David W. Shipman
The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6 (1) (1981)
Philip A. Bernstein, David W. Shipman
The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5 (1) (1980)
Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.
Concurrency Control in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5 (1) (1980)
Michael Hammer, David W. Shipman
Reliability Mechanisms for SDD-1: A System for Distributed Databases. ACM Trans. Database Syst. 5 (4) (1980)
James B. Rothnie Jr., Philip A. Bernstein, Stephen Fox, Nathan Goodman, Michael Hammer, Terry A. Landers, Christopher L. Reeve, David W. Shipman, Eugene Wong
Introduction to a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5 (1) (1980)
David W. Shipman
The Functional Data Model and the Data Language DAPLEX (Abstract). SIGMOD Conference (1979)
Philip A. Bernstein, David W. Shipman, Wing S. Wong
Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5 (3) (1979)
David W. Shipman
Handling Network Partitions in Distributed Databases. IEEE Database Eng. Bull. 3 (1) (1979)
David W. Shipman, Mitchell P. Marcus
Towards Minimal Data Structures for Deterministic Parsing. IJCAI (1979)
Philip A. Bernstein, David W. Shipman
A Formal Model of Concurrency Control Mechanisms for Database Systems. Berkeley Workshop (1978)
S. Bing Yao, Stewart A. Schuster, Philip A. Bernstein, David W. Shipman, Nathan Goodman, Diane C. P. Smith
The Oregon Report Data-Base Systems. Computer 11 (9) (1978)