What can be done to make cooling systems in data centers more energy efficient?
Software Engineering and Programming Languages
Advertisement
Combining the paradigm features of both logic and functional programming makes for some powerful implementations.
Communications' site performs ably on today's leading mobile systems. However, support for these and other mobile devices will be improved.
Data structures are part of the foundation of computer science. It pays to revisit them from time to time.
Cryptographic protocols safeguard the privacy of user queries to public databases.
Andrew S. Tanenbaum talks about MINIX, microkernels, and electronic voting systems.
Cloud Computing and SaaS as New Computing Platforms
To become an industry platform, vendors must open their infrastructure technology to other product companies.
CHOC’LATE: A Framework For Specification-Based Testing
In spite of its importance in software reliability, testing is labor intensive and expensive. It has been found that software testing without a good strategy may not be more effective than testing the system with random data.
How Much Software Testing Is Enough?
Investing in a large amount of software testing can be difficult to justify, particularly for a startup company. How much software testing is enough?
Jpl Program Cleans Mars Mission Code
Jet Propulsion Laboratory uses formal verification at every step of software development, and is applying some of those techniques to the flight code for next year's Mars Science Laboratory robotic exploration mission.
Researchers are focusing on the so-called "removal chain" in an attempt to save landfill space, improve recycling rates, and trim the flow of toxic materials into the environment.
Katayanagi Prizes and Other CS Awards
Donald E. Knuth, Jon Kleinberg, Andrew Herbert, and other members of the computer science community were recently honored for their innovative research and service.
Engineering the Web’s Third Decade
As Web technologies move beyond two-way interactive capabilities to facilitate more dynamic and pervasive experiences, the Web is quickly advancing toward its third major upgrade.
Orchestrating Coordination in Pluralistic Networks
Learning to build virtual teams of people of diverse backgrounds is an urgent challenge.
Global IT Management: Structuring For Scale, Responsiveness, and Innovation
To succeed on a global scale, businesses should focus on a trio of key elements.
GFS: Evolution on Fast-Forward
Kirk McKusick and Sean Quinlan discuss the origin and evolution of the Google File System.
Future Tense, one of the revolving features on this page, presents stories and essays from the intersection of computational science and technological speculation, their boundaries limited only by our ability to imagine what will and could be.
Cybersecurity depends on the human dimension.
Too Much Programming Too Soon?
Mark Guzdial and Judy Robertson discuss the role of programming in introductory computer science.
How gaming, as the first media market to successfully transition toward media-as-a-service, is an exemplar for a similar evolutionary transition of content and entertainment.
With no HIV vaccine in sight, virologists need to know how the virus will react to a given combination drug therapy.
Making Decisions Based on the Preferences of Multiple Agents
Computer scientists have made great strides in how decision-making mechanisms are used.
Agent-Oriented Embedded Electronic Measuring Systems
Agent-based systems, or multi-agent systems in general, are a contemporary paradigm for software development.
Business Continuity and the Banking Industry
There is renewed interest in emergency planning in both the private and public sectors. As managers realize the size of potential exposure to unmanaged risk, insuring "business continuity" is becoming a key task within all industrial and financial sectors.
User Participation in Software Development Projects
A recent industry survey observed that only 34% of IT projects were considered successful. Of the several potential factors contributing to this hard-to-achieve success, user involvement was noted as the most important one.
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