[Keyword: data structures] AND [Book/Issue: Vol 37, Issue 6] : Search

Applied Filters

People

Publications

Publication Date

2 Results for: [Keyword: data structures] AND [Book/Issue: Vol 37, Issue 6]Edit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,790,159 records)|Limit your search to The ACM Full-Text Collection (766,444 records)

Showing 1 - 2of2 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
June 1988
Systolic Tree Implementation of Data Structures
IEEE Transactions on Computers (ITCO), Volume 37, Issue 6Pages 727–735https://doi.org/10.1109/12.2211

Systolic tree architectures are presented for data structures such as stacks, queues, dequeues, priority queues, and dictionary machines. The stack, queue, and dequeue have a unit response time and a unit pipeline interval. The priority queue also has a ...
0
Metrics
Total Citations0
research-article
June 1988
Abstract pecification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations
- David K. Probst,
- Hon F. Li
IEEE Transactions on Computers (ITCO), Volume 37, Issue 6Pages 710–720https://doi.org/10.1109/12.2209

A combined methodology is presented for specifying abstract synchronous data types and proving the correctness of systolic network implementations. It is shown that an extension of the Parnas trace method of specifying software modules containing ...
1
Metrics
Total Citations1