Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 33 Issue 2, June 2001

Enhanced operational semantics: a tool for describing and analyzing concurrent systems
Pierpaolo Degano, Corrado Priami
Pages: 135-176
DOI: 10.1145/384192.384194
This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and also addresses issues of distribution and mobility of code. The focus is on how enriching the...

Modeling software design diversity: a review
Bev Littlewood, Peter Popov, Lorenzo Strigini
Pages: 177-208
DOI: 10.1145/384192.384195
Design diversity has been used for many years now as a means of achieving a degree of fault tolerance in software-based systems. While there is clear evidence that the approach can be expected to deliver some increase in reliability compared to...

External memory algorithms and data structures: dealing with massive data
Jeffrey Scott Vitter
Pages: 209-271
DOI: 10.1145/384192.384193
Data sets in large applications are often too massive to fit completely inside the computers internal memory. The resulting input/output communication (or I/O) between fast internal memory and slower external memory (such as disks) can be a...