There’s a correspondence between the notions of “combinational” and “sequential” in digital circuit engineering and some structure in state machines (and therefore monoids) that seems
Read moreLinux descends into priority inheritance hell
The PI chain walk is implemented by the function rt_mutex_adjust_prio_chain. The implementation has gone through several iterations, and has ended up with what we believe
Read moreState machines and circuits
The cross coupled latch is one of the greatest inventions of the 20th century State machine models of timing and circuit design
Read morePublic spirit of programmers
It’s sad to note that while Doctors/engineers/journalists/even-lawyers without borders are all organizations of people who help less developed nations, “programmers/software/etc” without borders refers to outsourcing.
Read moreFake Steve Jobs: “Then I hung up”
I stopped, then. There was nothing on the line. Silence. I said, Randall? He goes, Yeah, I’m here. I said, Does any of that make
Read moreRecursive transducers and products – pre-submit version
Recursive transducers.
Read moreSoftware Design and time synchronization
I have a blog post up at fsmlabs.com about our TimeKeeper software for time synchronization. TimeKeeper is currently aimed at financial trading markets, but we
Read moreMontavista thoughts
Bill “Linux Pundit” Weinberg explains: Business Model and Execution: Many MontaVista watchers have argued that the company’s business model was essentially flawed. […] Such a
Read moreProcess Algebra and classical automata
The long awaited process algebra paper is now finally available in PDF Reducing Process Algebra.
Read morePrimitive recursion and transducers
11/23/2009 please see the updated version: here. Yet another version of the recursion/transducer paper . The main result is that simultaneous primitive recursion on strings
Read more