Journal: IEEE Transactions on Computers

Volume 51, Issue 2

97 -- 99Dimiter R. Avresky, Barry W. Johnson, Fabrizio Lombardi. Guest Editors Introduction
100 -- 107David L. Oppenheimer, Aaron B. Brown, James Beck, Daniel Hettena, Jon Kuroda, Noah Treuhaft, David A. Patterson, Katherine A. Yelick. ROC-1: Hardware Support for Recovery-Oriented Computing
108 -- 120Roy A. Maxion, Kymie M. C. Tan. Anomaly Detection in Embedded Systems
121 -- 137Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders. Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond
138 -- 163Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles. Dependability of COTS Microkernel-Based Systems
164 -- 179Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
180 -- 199Nahmsuk Oh, Subhasish Mitra, Edward J. McCluskey. ED4I: Error Detection by Diverse Data and Duplicated Instructions
200 -- 215Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto. Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications
216 -- 228David Lee, Mihalis Yannakakis. Closed Partition Lattice and Machine Decomposition
229 -- 234Stanislaw J. Piestrak. Design Method of a Class of Embedded Combinational Self-Testing Checkers for Two-Rail Codes
235 -- 239Andreas Steininger, Christoph Scherrer. Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault Injection Experiments