An Interview with Ed Feigenbaum
ACM Fellow and A.M. Turing Award recipient Edward A. Feigenbaum, a pioneer in the field of expert systems, reflects on his career.
Software Engineering and Programming Languages
Advertisement
Efficiently Searching For Similar Images
New algorithms provide the ability for robust but scalable image search.
Robin Milner: The Elegant Pragmatist
Remembering a rich legacy in verification, languages, and concurrency.
A better understanding of heavy-tailed probability distributions can improve activities from Internet commerce to the design of server farms.
The electrical grid isn't the only utility acquiring intelligence, as water and gas meters throughout the U.S. gain radio communication capabilities and other innovations.
Technical Perspective: Building Confidence in Multicore Software
Surprises may be fun in real life, but not so in software. One approach to avoiding surprises in software is to establish its functional correctness, either by construction or by verification, but this is feasible in only a limited set of domains.
Researchers are developing new techniques to gauge employee productivity from information flow.
Dear KV, I've been working with some code that generates massive data sets, and . . . I'm finding that more and more often I have to explain my data to people who are either unwilling to or incapable of understanding the data in a raw format.
Emulating a video system shows how even a simple interface can be more complex—and capable—than it appears.
Securing Elasticity in the Cloud
Elastic computing has great potential, but many security challenges remain.
Needed are generic, rather than one-off, DBMS solutions automating storage and analysis of data from scientific collaborations.
Myths and Fallacies of ‘Personally Identifiable Information’
Developing effective privacy protection technologies is a critical challenge for security and privacy research as the amount and variety of data collected about individuals increase exponentially.
CS and Technology Leaders Honored
Awards were recently announced by ACM and the American Association for the Advancement of Science honoring leaders in the fields of computer science and technology.
seL4: Formal Verification of an Operating-System Kernel
We report on the formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code, hardware, and boot code.
Successful Software Platforms Are the Byproducts of Successful Businesses
Startups need their current business to be successful and self-sustaining before they place serious effort in building a general software platform.
Is Web-Based Supply Chain Integration Right For Your Company?
Companies are increasingly realizing that the progression from departmental to enterprise information systems has a logical next step: inter-organizational or supply chain solutions.
Beyond Total Capture: A Constructive Critique of Lifelogging
Rather than try to capture everything, system design should focus on the psychological basis of human memory.
Moshe Y. Vardi wrote in his Editor's Letter "Revisiting the Publication Culture in Computing Research" (Mar. 2010) about computer science being a field in which conferences are the primary venue for reporting research.
Microsoft's Charles P. Thacker named 56th recipient of ACM's A.M. Turing Award.
The relational model of data management, which dates to 1970, still dominates today and influences new paradigms as the field evolves.
Cloud Computing and Developing Nations
For a growing number of organizations worldwide, cloud computing offers a quick and affordable way to tap into IT infrastructure as an Internet service. But obstacles and challenges remain.
Advances in computer technology have changed the way astronomers see and study the universe.
Why Cloud Computing Will Never Be Free
The competition among cloud providers may drive prices downward, but at what cost?
Enhanced Debugging With Traces
An essential technique used in emulator development is a useful addition to any programmer's toolbox.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More