## Annual ACM Symposium on Parallel Algorithms and Architectures, Volume 5Association for Computing Machinery, 1993 - Parallel processing (Electronic computers) |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The Verification of Cache Coherence Protocols | 11 |

Fault Diagnosis in a Small Constant Number of Parallel Testing Rounds | 21 |

Tight Bounds on the Size of FaultTolerant Merging and Sorting Networks | 30 |

Copyright | |

36 other sections not shown

### Common terms and phrases

application architecture array assume attribute grammars augmenting path block BMMC breadth-first search broadcast bucket buffer cache cell cessors column component Computer Science connected constant construction contains CRCW cycle data structure defined denote destination deterministic disk edges efficient elements execution faults gorithm graph G Hamiltonian path healthy nodes high probability hypercube IEEE implementation input integer iteration iWarp label Lemma length load balancing log log lower bound MasPar matrix mesh message passing multiprefix nodes O(logn operations optimal output packets pair parallel algorithms parallel computers partition path pattern performance permutation phase planar graphs PRAM prefix problem Proc processor consistency processors Proof protocol random receive requires rithm routing sequence sequentially consistent shared memory simulation sorting sorting network string submatrix subset suffix tree supernode target group technique Theorem tion vector vertex vertices