Uncategorized

wish I was like Mr. Gates, all my money in big crates – Bruce Springstein One of the many peculiar features of the software industry is the stubborn manner in which important innovations are ignored. If you read this account

One of my correspondents has said my comments on formal method (here and here) were too terse. There are a couple of things that annoy me about formal methods, but the lack of results is the foremost annoyance. After multiple

I’ll finish it someday, but here is a variant.

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 transformation of Âryabhat’s Sanskrit term jya … [which] was translated,

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 elegant proofs is one that is natural for both mathematicians and engineers

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 challenge marketing. For example, here’s how a recent Investor’s Business Daily article starts: “With a

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 reserved cores the jitter time we have found to be fundamental never reaches

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 methods are essential to avoid design flaws) is logically flawed, and unnecessarily complex

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 spyware” you get 44000 hits. The commercial (and governmental) utility of building security

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? Real-time software is core technology for so many incredible applications. Here’s