Sign In

Communications of the ACM

Practice Archive


Archives

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-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

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

Software Model Checking Takes Off

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