Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.
David K. ProbstHon Fung LiPublished in: IEEE Trans. Computers (1988)
Keyphrases
- data types
- user defined
- abstract data types
- data structure
- data model
- database management systems
- database systems
- high level
- back end
- data manipulation language
- microsoft sql server
- database objects
- database server
- peer to peer
- data mining algorithms
- data flow
- face recognition
- object oriented
- nearest neighbor
- storage structures
- data sets