Monthly Archives: October 2007

Smart engineering design

Amy Smith and her work and her student

Posted in software engineering | Leave a comment

more on missed wakeup

Here are some conventions [Update: typos fix, Friday] We are concerned with state machines and sequences of events. The prefixes of a sequence include the empty sequence “null” and the sequence itself. Relative state: If “w” is the sequence of … Continue reading

Posted in communications, microkernel, operating systems, real-time, software engineering | Leave a comment

Data structures and algebra

[Edited 9/10] There’s an easy connection between data structures and basic abstract algebra that may or may not mean anything, but keeps getting rediscovered. I’ve never seen it clearly explained (anyone with a reference or who notices an error in … Continue reading

Posted in software engineering | Leave a comment