Development and application of NASA's first standard spacecraft computer
Communications of the ACM
Design, development, integration: space shuttle primary flight software system
Communications of the ACM
Architecture of the space shuttle primary avionics software system
Communications of the ACM
High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
On the reliability of consensus-based fault-tolerant distributed computing systems
ACM Transactions on Computer Systems (TOCS)
Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
A module on distributed systems for the operating systems course
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Experiences with defect prevention
IBM Systems Journal
| Hi-index | 48.22 |