Communications of the ACM
Practice Archive
The Practice archive provides access to all Practice articles published in past issues of Communications of the ACM.
February 2010
From Communications of the ACM
Power-Efficient Software
Power-manageable hardware can help save energy, but what can software developers do to address the problem?
From Communications of the ACM
Managing Contention For Shared Resources on Multicore Processors
Contention for caches, memory controllers, and interconnects can be eased by contention-aware scheduling algorithms.
From Communications of the ACM
Software Model Checking Takes Off
A translator framework enables the use of model checking in complex avionics systems and other industrial settings.