Download paper. Unable to display
Cutting and pasting about Kodak’s demise
This graph from Peter Diamandis about how Kodak entered the sinkhole is kind of amazing. Diamandis explains Kodak’s failure to swerve in what is I think the orthodox Silicon Valley analysis: [in 1996] Kodak had a $28 billion market cap and
RTLinux
Some old stuff I found in the office
Synchronous processors
Imagine a processor with no interrupts. We can do a lot better and get rid of most exceptions (e.g. system calls, page faults etc.), most peripheral devices/buses, and even cache misses, but let’s start with interrupts. Modern micro-processors are bloated
IEEE 1588 PTP is a mess
IEEE 1588 was not designed for modern enterprise computer networks and contains many hacks to make it sort of work. The standard also suffers from being overly explicit on some things and overly unspecific on others. One marker of the
MiFID II Clock Sync – talk at Bank of England April 12 2016
download
Operations and maps on finite sequences
A lot of what I’m trying to do with mathematical models of computer systems involves operations on finite sequences. Define a “finite sequence of length n>0” to be any total map f: {1 … n} → X for some set X.
The difference between unspecified, undefined, and non-deterministic
There is too much confusion in the “formal methods” computer science literature between these three different terms. Let me start with what this means for a state machine and then move on to engineering objects such as threads. Suppose we
Software quality at toyota
The good stuff starts on page 36 Koopman.
A mathematical basis for understanding software modularity
Download.