Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 38 Issue 3, 2006

Hands-on, simulated, and remote laboratories: A comparative literature review
Jing Ma, Jeffrey V. Nickerson
Article No.: 7
DOI: 10.1145/1132960.1132961
Laboratory-based courses play a critical role in scientific education. Automation is changing the nature of these laboratories, and there is a long-running debate about the value of hands-on versus simulated laboratories. In addition, the...

Symmetry in temporal logic model checking
Alice Miller, Alastair Donaldson, Muffy Calder
Article No.: 8
DOI: 10.1145/1132960.1132962
Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often this involves checking symmetrically equivalent areas of the state-space. The use of symmetry reduction...

Interestingness measures for data mining: A survey
Liqiang Geng, Howard J. Hamilton
Article No.: 9
DOI: 10.1145/1132960.1132963
Interestingness measures play an important role in data mining, regardless of the kind of patterns being mined. These measures are intended for selecting and ranking patterns according to their potential interest to the user. Good measures also allow...

Implementing sorting in database systems
Goetz Graefe
Article No.: 10
DOI: 10.1145/1132960.1132964
Most commercial database systems do (or should) exploit many sorting techniques that are publicly known, but not readily available in the research literature. These techniques improve both sort performance on modern computer systems and the ability...