CACM logo

February 2010 (Vol. 53, No. 2)

Table of Contents

An Issue of Teamwork

This column was supposed to write itself. When Editor-in-Chief Moshe Vardi first asked me to tell readers how a typical issue of Communications comes together, I remember thinking "piece of cake."

Page 5

In the Virtual Extension

Communications' Virtual Extension brings more quality articles to ACM members. These articles are now available in the ACM Digital Library.

Page 9

DEPARTMENT: BLOG@CACM

Connecting Women and Technology

Guest blogger Valerie Barr writes about highlights of the ninth Grace Hopper Celebration of Women in Computing Conference, including keynote speeches by Megan Smith and Francine Berman.

Pages 10-11

DEPARTMENT: CACM online

Where the Data Is

The vast Internet delivers only a sliver of the information the average American consumes each day, according to a recent report by the University of California, San Diego ( …

Page 12

COLUMN: News

Alternate Interface Technologies Emerge

Researchers working in human-computer interaction are developing new interfaces to produce greater efficiencies in personal computing and enhance miniaturization in mobile devices.

Pages 13-15

Type Theory Comes of Age

Type systems are moving beyond the realm of data structure and into more complex domains like security and networking.

Pages 16-17

Improving Disaster Management

Social networking, sophisticated imaging, and dual-use technologies promise improved disaster management, but they must be adopted by governments and aid agencies if more lives are to be saved in the wake of crises.

Pages 18-20

ACM Fellows Honored

Forty-seven men and women are inducted as 2009 ACM Fellows.

Page 21

COLUMN: Privacy and security

Not Seeing the Crime for the Cameras?

Why it is difficult — but essential — to monitor the effectiveness of security technologies.

Pages 22-25

COLUMN: Education

Why an Informatics Degree?

Isn't computer science enough?

Pages 26-28

COLUMN: Inside risks

The Need for a National Cybersecurity R&D Agenda

Government-funded initiatives, in cooperation with private-sector partners in key technology areas, are fundamental to cybersecurity technical transformation.

Pages 29-31

COLUMN: Viewpoint

Open Access to Scientific Publications

In his July 2009 Communications editor's letter "Open, Closed, or Clopen Access?", editor-in-chief Moshe Vardi addressed the question of open access to this magazine and to …

Pages 32-34

COLUMN: Kode Vicious

Taking Your Network's Temperature

A prescription for capturing data to diagnose and debug a networking problem.

Pages 35-36

COLUMN: Interview

An Interview with Michael Rabin

Michael O. Rabin, co-recipient of the 1976 ACM A.M. Turing Award, discusses his innovative algorithmic work with Dennis Shasha.

Pages 37-42

SECTION: Practice

Power-Efficient Software

Power-manageable hardware can help save energy, but what can software developers do to address the problem?

Pages 44-48

Managing Contention for Shared Resources on Multicore Processors

Contention for caches, memory controllers, and interconnects can be eased by contention-aware scheduling algorithms.

Pages 49-57

Software Model Checking Takes Off

A translator framework enables the use of model checking in complex avionics systems and other industrial settings.

Pages 58-64

SECTION: Contributed Articles

A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World

How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.

Pages 66-75

Assessing the Changing U.S. IT R&D Ecosystem

The National Academy of Sciences recommends what the U.S. government should do to help maintain American IT leadership.

Pages 76-83

SECTION: Review Article

Recent Progress in Quantum Algorithms

What quantum algorithms outperform classical computation and how do they do it?

Pages 84-93

SECTION: Research Highlights

Technical Perspective: Strange Effects in High Dimension

In studying the genetic basis of a disease, it is now common to select a set of relevant genes G, and to measure how strongly they are expressed in cell samples from a group …

Page 96

Faster Dimension Reduction

Data represented geometrically in high-dimensional vector spaces can be found in many applications. The need to manipulate such data in huge corpora and to support various query types gives rise to the question of how to represent …

Pages 97-104

Technical Perspective: Want to be a Bug Buster?

Microprocessor performance has increased exponentially. These chips with ever increasing complexity are not always fully functional on the first attempt, they need to be debugged …

Page 105

Post-Silicon Bug Localization for Processors Using IFRA

IFRA overcomes major challenges associated with a very expensive step in post-silicon validation of processors — pinpointing a bug location and the instruction sequence that exposes the bug from a system failure, such as a crash …

Pages 106-113

COLUMN: Last byte: Puzzled

Breaking Chocolate Bars

Welcome to three new puzzles. Solutions to the first two will be published next month; the third is (as yet) unsolved. In each, the issue is how your intuition matches up with the mathematics.

Page 120

SECTION: Virtual Extension

Reversing the Landslide in Computer-Related Degree Programs

There is growing concern that a technologically educated workforce will not be available to meet the needs of the job market in information technology in the coming years, primarily because students are turning away from academic …

Pages 127-133

Practical Intelligence in IT: Assessing Soft Skills of IT Professionals

What qualities make a successful IT professional? When companies hire IT professionals, their focus is often on the "hard" skills needed to perform the work, such as years of Java programming experience. However, there is a growing …

Pages 149-154

Wireless Insecurity: Examining User Security Behavior on Public Networks

Wireless access points are increasingly serving as entry points to the Internet, increasing connectivity options and security concerns. Particularly significant are public access …

Pages 134-138

Informatics Creativity: A Role for Abductive Reasoning?

Despite the fact that creative problem solving is desirable at all levels, it is constantly in short supply. Part of the problem may be that while some technology trainers advocate the search for creative solutions, the learning …

Pages 144-148

Designs for Effective Implementation of Trust Assurances in Internet Stores

Improving customer trust in an Internet store is an important goal in B2C electronic commerce because it leads to outcomes important for the success of an Internet store, such as reduced customer risk perceptions in transacting …

Pages 121-126

Taking a Flexible Approach to ASPs

In 2001, subscription-based application service providers (ASPs) represented the new paradigm for application deployment. It was anticipated that ASP spending would reach $7.8 billion by 2004. However, this turned out not to …

Pages 139-143

Managing a Corporate Open Source Software Asset

We define

corporate open source

(COS) as applying the precepts and methodologies prevalent in the open source development community for creating industrial-strength software projects in a corporation for internal use. Our ongoing …

Pages 155-159

It Takes Two to Tango: How Relational Investments Improve IT Outsourcing Partnerships

The IT outsourcing industry landscape is dotted with broken contracts - results of unsuccessful client-vendor (C-V) partnerships. Approximately 78% C-V partnerships fail in the long term, inflicting high transition costs on clients …

Pages 160-164

About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us | Mobile Site

Copyright © 2012 by the ACM. All rights reserved.