ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name below:

Archive


ACM Computing Surveys (CSUR), Volume 29 Issue 1, March 1997

Editorial statement
Peter Wegner
Pages: 1-2
DOI: 10.1145/248621.251369

Second-generation image coding: an overview
M. M. Reid, R. J. Millar, N. D. Black
Pages: 3-29
DOI: 10.1145/248621.248622
This article gives an overview of a diverse selection of currently used second-generation image coding techniques. These techniques have been grouped into similar categories in order to allow a direct comparison among the varying methods. An...

Algebraic approaches to nondeterminism—an overview
Michał Walicki, Sigurd Meldal
Pages: 30-81
DOI: 10.1145/248621.248623

Verification techniques for cache coherence protocols
Fong Pong, Michel Dubois
Pages: 82-126
DOI: 10.1145/248621.248624
In this article we present a comprehensive survey of various approaches for the verification of cache coherence protocols based on state enumeration, (symbolic model checking, and symbolic state models. Since...