/rtc

Code and papers related to real-time computing.