Monthly Archives: June 2007

Formal methods for doing what?

Posted on June 22, 2007 by yodaiken

John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” - the general failure of researchers in the field to look at experimental data and the operation of actual systems.  The normal operation … Continue reading →

Posted in embedded systems, operating systems, security+fault-tolerance, software engineering | Leave a comment

Chapter 2: liveness and scheduling

Posted on June 21, 2007 by yodaiken

Draft is available http://www.yodaiken.com/papers/rec.html

Posted in operating systems, real-time | 1 Comment

They took all the water, what could I do?

Posted on June 12, 2007 by yodaiken

We’re in process of moving to Austin Texas where the humidity should help ripen new ideas.

Posted in software engineering | Leave a comment