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.