Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 46 Issue 3, January 2014

A survey of migration mechanisms of virtual machines
Violeta Medina, Juan Manuel García
Article No.: 30
DOI: 10.1145/2492705

In the virtualization area, replication has been considered as a mechanism to provide high availability. A high-availability system should be active most of the time, and this is the reason that its design should consider almost zero downtime and...

Distributed data management using MapReduce
Feng Li, Beng Chin Ooi, M. Tamer Özsu, Sai Wu
Article No.: 31
DOI: 10.1145/2503009

MapReduce is a framework for processing and managing large-scale datasets in a distributed cluster, which has been used for applications such as generating search indexes, document clustering, access log analysis, and various other forms of data...

Light on horizontal interactive surfaces: Input space for tabletop computing
Andrea Bellucci, Alessio Malizia, Ignacio Aedo
Article No.: 32
DOI: 10.1145/2500467

In the last 25 years we have witnessed the rise and growth of interactive tabletop research, both in academic and in industrial settings. The rising demand for the digital support of human activities motivated the need to bring computational power...

A tutorial on human activity recognition using body-worn inertial sensors
Andreas Bulling, Ulf Blanke, Bernt Schiele
Article No.: 33
DOI: 10.1145/2499621

The last 20 years have seen ever-increasing research activity in the field of human activity recognition. With activity recognition having considerably matured, so has the number of challenges in designing, implementing, and evaluating activity...

Loop invariants: Analysis, classification, and examples
Carlo A. Furia, Bertrand Meyer, Sergey Velder
Article No.: 34
DOI: 10.1145/2506375

Software verification has emerged as a key concern for ensuring the continued progress of information technology. Full verification generally requires, as a crucial step, equipping each loop with a “loop invariant.” Beyond their role...

Online portfolio selection: A survey
Bin Li, Steven C. H. Hoi
Article No.: 35
DOI: 10.1145/2512962

Online portfolio selection is a fundamental problem in computational finance, which has been extensively studied across several research communities, including finance, statistics, artificial intelligence, machine learning, and data mining. This...

A survey of address translation technologies for flash memories
Dongzhe Ma, Jianhua Feng, Guoliang Li
Article No.: 36
DOI: 10.1145/2512961

Flash is a type of Electronically Erasable Programmable Read-Only Memory (EEPROM). Different from traditional magnetic disks, flash memories have no moving parts and are purely electronic devices, giving them unique advantages, such as lower...

Benchmarks for dynamic multi-objective optimisation algorithms
Mardé Helbig, Andries P. Engelbrecht
Article No.: 37
DOI: 10.1145/2517649

Algorithms that solve Dynamic Multi-Objective Optimisation Problems (DMOOPs) should be tested on benchmark functions to determine whether the algorithm can overcome specific difficulties that can occur in real-world problems. However, for Dynamic...

Multimedia search reranking: A literature survey
Tao Mei, Yong Rui, Shipeng Li, Qi Tian
Article No.: 38
DOI: 10.1145/2536798

The explosive growth and widespread accessibility of community-contributed media content on the Internet have led to a surge of research activity in multimedia search. Approaches that apply text search techniques for multimedia search have...

Software testing with an operational profile: OP definition
Carol Smidts, Chetan Mutha, Manuel Rodríguez, Matthew J. Gerber
Article No.: 39
DOI: 10.1145/2518106

This article is devoted to the survey, analysis, and classification of operational profiles (OP) that characterize the type and frequency of software inputs and are used in software testing techniques. The survey follows a mixed method based on...

A menagerie of timed automata
Peter Fontana, Rance Cleaveland
Article No.: 40
DOI: 10.1145/2518102

Timed automata are state-machine-like structures used to model real-time systems. Since their invention in the early 1990s, a number of often subtly differing variants have appeared in the literature; one of this article’s key contributions...

Aggregated search: A new information retrieval paradigm
Arlind Kopliku, Karen Pinel-Sauvagnat, Mohand Boughanem
Article No.: 41
DOI: 10.1145/2523817

Traditional search engines return ranked lists of search results. It is up to the user to scroll this list, scan within different documents, and assemble information that fulfill his/her information need. Aggregated search represents a new...

Statistical machine translation enhancements through linguistic levels: A survey
Marta R. Costa-Jussà, Mireia Farrús
Article No.: 42
DOI: 10.1145/2518130

Machine translation can be considered a highly interdisciplinary and multidisciplinary field because it is approached from the point of view of human translators, engineers, computer scientists, mathematicians, and linguists. One of the most...