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.

October 2011


From Communications of the ACM

Abstraction in Hardware System Design

Abstraction in Hardware System Design

Applying lessons from software languages to hardware languages using Bluespec SystemVerilog.


From Communications of the ACM

Verification of Safety-Critical Software

Verification of Safety-Critical Software

Avionics software safety certification is achieved through objective-based standards.


From Communications of the ACM

The World According to LINQ

The World According to LINQ

Big data is about more than size, and LINQ is more than up to the task.

Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device
ACM DL Logo