Text Size
- Home
-
News
Advanced computing news from Communications of the ACM, other ACM resources, and from around the Web.
- Blogs
- Opinion
-
Browse by Subject
Recent articles from Communications organized into categories that encompass the broad scope of computing.
-
Magazine Archive
-
Careers
Jump-start your career with information on trends, opportunities and jobs – in both industry and academia.
- ACM Resources
-
Subscribe
Receive the benefits of ACM membership with a subscription to its flagship publication, Communications of the ACM.
Contributed articles
Formal Analysis of MPI-based Parallel Programs
![[article image]](/system/assets/0000/6585/111811_CACMpg83_Formal-Analysis2.large.jpg?1321557715&1321557714 "Intrepid Blue Gene/P supercomputer")
The Intrepid Blue Gene/P Open Science machine at Argonne National Laboratory, with 163,840 cores and 557 TFlops peak performance.
Credit: Argonne National Laboratory
The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.
Read the Full Article:
Tools For Readers
Text Size
Related ACM Resources
Conferences:
- MobiSys 2012: The 10th International Conference on Mobile Systems, Applications, and Services - June 25 – 29, 2012; Windermere, United Kingdom
Courses:
- Managing Devices, Disks and Data - In this course, you will update and manage device drivers, manage disks to store data efficiently, and manage data stored on network storage devices. (Duration: …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us |
Mobile Site
Copyright © 2012 by the ACM. All rights reserved.