Tag Archives: specification

More computer science as humbug [updated with Brazil dream sequence]

Posted on March 15, 2010 by admin

Continuing my experiments in academic papers, I sent a paper on automata and circuit verification to CAV2010 (here’s an updated version with some corrections and better references). I actually got one carefully written and well informed review. Sending a paper … Continue reading →

Posted in academics, architecture, software engineering, specification, theoretical computer science | Tagged , , , | 2 Comments

New paper “H2″ on operating system semantics

Posted on May 18, 2008 by admin

Please see a new version here. I am continuing to try to develop a practical engineering mathematics for operating system and other complex system code.

Posted in operating systems, software engineering | Tagged , , , , | Leave a comment