I thought it odd that Thomas only considered IEEE as a source for OS research. My experience has been that ACM and USENIX are much better (higher quality) sources. Perhaps the real-time OS community is more associated with IEEE.
Copyright © 2018, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds