Monthly Archives: December 2007

formal methods considered harmful and more on soft real-time

[fixed a couple of typos, Dec. 20 2007] John Regehr writes: On the other hand, there is plenty of useful work to be done on supporting time sensitive applications (I’ll just avoid saying “soft real-time”) even when no guarantees are … Continue reading

Posted in data center, operating systems, real-time, security+fault-tolerance, software engineering, software security | Leave a comment