On the way to India

October 21, 2006 | 0 Comments

I’m off to give a talk in Bangalore and then visit Chennai and Mumbai. In his delightful book called The Argumentative Indian Amrtya Sen writes A good example is the [...]

Paul Erdös day

March 20, 2006 | 1 Comment

March 26 is Paul Erdös birthday. The book about Erdös by Paul Hoffman is a nice read and thought provoking. Erdös’ concept of the BOOK recording the most [...]

Spinning the press about technology

March 5, 2006 | 0 Comments

We’ve been an engineering driven company from day one – something that leads us to be frustrated with “analysts” and reporters who seem unwilling to [...]

AMD powered 16 core systems are real

February 25, 2006 | 0 Comments

We’re finishing some tests on the IWill 8-chip 16 core server and seeing outstanding timing. RTCore can share Linux with cores or reserve them for real-time. On [...]

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 [...]

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 [...]

Engineering cool factor

December 20, 2004 | 0 Comments

One of our customers wrote to us today and said that he was impressed with how enthusiastic our engineers are about our software and customer applications. And why not? [...]

Soft real-time and software costs

December 20, 2004 | 0 Comments

Imagine designing an automobile with a motor that runs really well on a demonstration frame, with none of those heavy panels or safety devices, and only tested on a short [...]

What is software security for

December 19, 2004 | 0 Comments

The natural tendency of an engineer is to assume that “security” is an engineering issue that reduces to a type of reliability. And the Common Criteria security [...]
1 10 11 12