-
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
Monthly Archives: December 2005
Handbook of Networked and Embedded Control Systems
You can find an article on writing real-time control loops in RTLinux inside the giant Hristu-Varsakelis, Levine Handbook of Networked and Embedded Control. The article is by Edgar Hilton, Matt Sherer and myself and covers simple loops, loops with data … Continue reading
Posted in real-time, rtlinux, software engineering
Leave a comment
Proving Operating Systems Correct:#8
One of the longstanding problems with operating systems is that there is no way to validate their correctness in the same way that engineers can calculate the ability of a beam to carry a weight or a wire to carry … Continue reading
Posted in rtlinux, software engineering
Leave a comment