Communications of the ACM
Practice Archive
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
Applying lessons from software languages to hardware languages using Bluespec SystemVerilog.
From Communications of the ACM
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
Big data is about more than size, and LINQ is more than up to the task.