David W. Shipman

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