Formal methods and academic computer science

January 2, 2006 | 0 Comments

Holloway [22] points out that the typical argument in favor of formal methods (that software is bad, unique, and discontinuous; that testing is inadequate; and that formal [...]

Why programs fail and get hacked

December 30, 2005 | 0 Comments

“People’s distrust of the high-pressure engines was confirmed when the boiler of a stationary engine exploded at Greenwich on 8 September 1803. It was the usual [...]

Priority Inheritance: Hack or Error

December 27, 2005 | 1 Comment

The subject of priority inheritance has come up again on the Linux kernel mailing list and Torvalds correctly notes “Friends don’t let friends use priority [...]

Comparing VXworks to RTLinux

December 16, 2005 | 0 Comments

A couple of years ago, one of our salesmen asked us to comment on a comparison between VxWorks and RTLinux performance that had a prospective customer worried. When we [...]

Proving Operating Systems Correct:#8

December 16, 2005 | 0 Comments

One of the longstanding problems with operating systems is that there is no way to validate their correctness in the same way that engineers can calculate the ability of a [...]

The romance of trade and fuzzy slippers

April 8, 2005 | 0 Comments

Commerce used to be more fashionable. The French historian Fernand Braudel writes that in the 1630s “ten ships a year from the Indian ocean, from Calicut, Surat, or [...]

Spyware and Security

February 24, 2005 | 0 Comments

So an exec from Claria (formerly known as Gator) heads off to the US Government’s . department of Homeland Security. As of today, if you Google “claria [...]

RTLinux easy but RT hard.

January 1, 2005 | 0 Comments

I wrote a chapter for an academic book recently and the publisher sent me a “copyright assignment” form ( don’t even start) that asked me, among other [...]
1 38 39 40 41