An early RTLinux paper with Michael Barabanov. real_time_1996 Only 20 years later, the idea is now not too scary. Real-Time Linux Michael Barabanov Victor Yodaiken March 3, 1996 1 Introduction If you wanted to control a camera or a
ultrafinitism
I have seen some ultrafinitists go so far as to challenge the existence of 2100 as a natural number, in the sense of there being a series of “points” of that length. There is the obvious “draw the line” objection,
RISC-V and Bloat
Went to UT today to listen to David Patterson speak about the open RISC instruction set architecture and processors he and his colleagues are developing. As a software developer, hearing about free hardware makes me giddy with joy, perhaps with
Einstein and Peer Review
From Time. Although when I posted this on twitter, I got a good response. @vyodaiken @vassalos the problem being that we all think that we are Einstein, where in reality we are the "erroneous" anonymous expert — Lefteris Sidirourgos (@lsidir) March
Project Roseline
Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This simple statement underlies the RoseLine project. Emerging CPS [Cyber Physical Systems – vy] applications depend on
Why is computer science education so horrible
This is a post about CS education. It is prompted by a seriesofposts by Mark Guzdial in which he criticizes the pervasive belief among CS educators that when it comes to programming, there’s not much an instructor can do: some
Fischer Lynch Patterson and timeouts
There is a widely cited (over 1400 cites in CiteseerX ) result called the Fischer-Lynch-Patterson theorem about consensus – a key issue in distributed databases or any system where data is either distributed or replicated or both. In this paper, we
the terrible effect of Krohn-Rhodes
One of the most interesting theorems in computer science is the Krohn-Rhodes theorem that shows a strong link between basic computer science and group theory. Crudely, the KR theorem extends Jordan-Holder \( (H_1 \triangleleft H_2 … \triangleleft H_n=G)\) to state
The UNIX file system as a recursive function
Ignoring “write” operations, for the moment, a file system is just an implementation, a concrete manifestation, of a map from file names to file contents. A UNIX style file system complicates the story because file names are “paths” through a
Dennis Ritchie
Truly a brilliant engineer. http://en.wikipedia.org/wiki/Dennis_Ritchie