AccessMyLibrary provides FREE access to over 30 million articles from top publications available through your library.
ACM Computing Surveys articles from March 1997
Set up an RSS feed
Create a link to this page
Copy and paste this link tag into your Web page or blog:
ACM Computing Surveys archives from March 1997
Second-generation image coding: an overview.
March 1, 1997... 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.
March 1, 1997... INTRODUCTION
Mathematics never saw much of a reason to deal with something called nondeterminism. It works with values, functions, sets, and relations. In computing science, however, nondeterminism has been an issue from the very...
Verification techniques for cache coherence protocols.
March 1, 1997... 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 these techniques search the state...