Category 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 [...]

Also filed in academics, architecture, software engineering, theoretical computer science | Tagged , , , | Permalink | Comments (2)

State machines and circuits

Sunday, January 17th, 2010

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

Also filed in theoretical computer science | Tagged , | Permalink | Comments (0)

Recursive transducers and products – pre-submit version

Sunday, November 22nd, 2009

Recursive transducers.

Also filed in theoretical computer science | Tagged , | Permalink | Comments (0)