-
Recent
- Timestamp based reconciliation
- Murdoch strikes against copyrights
- Loose cables at CERN and Time synchronization is hard
- Manufacturing and devices
- Julia programming language and hadoop
- The UNIX file system as a recursive function
- Apple’s A5 chip made in Austin
- Richard Stallman speaks
- Dennis Ritchie
- Droning on about computer security
- The multics file system
- Fukushima Robot Blog
- Sinking in too many layers
- Computer architecture, power, and PHP
- VCs bailing on signed term sheets
Tag Archives: state machines
New paper “H2″ on operating system semantics
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 formal methods, moore machines, operating systems, specification, state machines
|
Leave a comment