Tag Archives: specification

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

Monday, March 15th, 2010

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 to an academic conference with no references more recent than 20 years, was probably more [...]

Filed in academics, architecture, software engineering, specification, theoretical computer science | Also tagged , , | Permalink | Comments (2)

New paper “H2″ on operating system semantics

Sunday, May 18th, 2008

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. Bookmark on Delicious Digg this post Recommend on Facebook Share on Linkedin share via Reddit Tweet about it Subscribe to the comments on this post

Filed in operating systems, software engineering | Also tagged , , , | Permalink | Comments (0)