Vol. 9 No. 8 – August 2011



Verification of Safety-critical Software

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

by B. Scott Andersen, George Romanski

The World According to LINQ

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

by Erik Meijer

Abstraction in Hardware System Design

Applying lessons from software languages to hardware languages using Bluespec SystemVerilog

by Rishiyur S. Nikhil

How to Improve Security?

It takes more than flossing once a year.

by George Neville-Neil