OpenComRTOS, distributed real-time OS using formal methods, ten times smaller than its hand-optimized rivals http://bit.ly/epvG4f
7:30 AM - 3 Feb 2011
0 replies
2 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.