Category 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

State machines and circuits

Posted on January 17, 2010 by admin

The cross coupled latch is one of the greatest inventions of the 20th century State machine models of timing and circuit design

Posted in specification, theoretical computer science | Tagged , | Leave a comment

Recursive transducers and products – pre-submit version

Posted on November 22, 2009 by admin

Recursive transducers.

Posted in specification, theoretical computer science | Tagged , | Leave a comment