Application-level correctness and its impact on fault tolerance

Proceedings - International Symposium on High-Performance Computer Architecture

Volumn , Issue , 2007, Pages 181-192

  Li, Xuanhua ^a   Yeung, Donald ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION-LEVEL CORRECTNESS; ERROR RESILIENCE; PROGRAM EXECUTION; SOFT COMPUTATIONS;

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER ARCHITECTURE; ERROR CORRECTION; MULTIMEDIA SYSTEMS; USER INTERFACES;

FAULT TOLERANCE;

EID: 34547697289     PISSN: 15300897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HPCA.2007.346196     Document Type: Conference Paper

References (35)

1. C. Alvarez, J. Corbal, and M. Valero. Fuzzy Memoization for Floating-Point Multimedia Applications. IEEE Transactions on Computers, July 2005.
2. T. M. Austin. DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design. In Proc. of the 32nd annual IEEE/ACM Int'l Symp. on Microarchitecture, Nov. 1999.
3. M. A. Breuer. Multi-media Applications and Imprecise Computation. In Proc. of the. 8th Euromicro Conf. on Digital System Design, Sept. 2005.
4. M. A. Breuer, S. K. Gupta, and T. M. Mak. Defect and Error Tolerance in the Presence of Massive Numbers of Defects. IEEE Design and Test Magazine, May-June 2004.
5. D. Burger, T. Austin, and S. Bennett. Evaluating future microprocessors: the simplescalar tool set. Tech. Report CSTR-1996-1308, Univ. of Wisconsin - Madison, July 1996.
6. C. Chang and C. Lin. LIBSVM : a library for support vector machines, http://www.csie.ntu.edu.tw/ cjlin/libsvm.
7. I.S. Chong and A. Ortega. Hardware Testing For Error Tolerant Multimedia Compression based on Linear Transforms. In Proc. of the 20th IEEE Int'l Symp. on Defect and Fault Tolerance in VLSI Systems, Oct. 2005.
8. P. Dubey. Recognition, Mining and Synthesis Moves Computers to the Era of Tera. Technology @ Intel Magazine, Feb. 2005.
9. M. Gomaa and T. N. Vijaykumar. Opportunistic TransientFault Detection. In Proc. of the 32nd Annual Int'l Symp. on Computer Architecture, June 2005.
10. Y. Jin. A Definition of Soft Computing, http://www.soft-computing.de/def. htm.
11. T. Joachims. Making Large-Scale Support Vector Machine Learning Practical. In Advances in Kernel Methods: Support Vector Learning. MIT Press, Cambridge, MA, 1998.
12. V. Kianzad and S. S. Bhattacharyya. Efficient Techniques for Clustering and Scheduling onto Embedded Multiprocessors. IEEE Transactions on Parallel and Distributed Systems, July 2006.
13. J. S. Kim, C. Nicopoulos, N. Vijaykrishnan, Y. Xie, and E. Lattanzi. A Probabilistic Model for Soft-Error Rate Estimation in Combinational Logic. In Proc. of the Int'l Workshop on Probabilistic Analysis Techniques for Real-time and Embedded Systems, Italy, Sept. 2004.
14. S. Kim and A. K. Somani. Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement Strategy. In Proc. of the 2002 Int'l Conf. on Dependable Systems and Networks, Sept. 2002.
15. C. Lee. MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems. In Proc. of the 30th annual IEEE/ACM Int'l Symp. on Microarchitecture, Dec. 1997.
16. C.-C. J. Li and W. K. Fuchs. Catch - Compiler-Assisted Techniques for Checkpointing. In Proc. of the 20th Int'l Symp. on Fault Tolerant Computing, June 1990.
17. J. W. S. Liu, W.-K. Shih, K.-J. Lin, R. Bettati, and J.-Y. Chung. Imprecise Computations. Proc. of the IEEE, Jan. 1994.
18. S. S. Mukherjee, C. T. Weaver, J. Emer, S. K. Reinhardt, and T. Austin. A Systematic Methodology to Compute the Architectural Vulnerability Factor for a High-Performance Microprocessor. In Proc. of the 36th annual IEEE/ACM Int'l Symp. on Microarchitecture, Dec. 2003.
19. S. R. Nassif. Design for Variability in DSM Technologies. In Proc. of the 1st Int'l Symp. on Quality of Electronic Design, March 2000.
20. U. of California at Berkeley. The Berkeley Initiative in Soft Computing, http://www-bisc.cs.berkeley.edu/.
21. K. V. Palem. Energy Aware Computing Through Probabilistic Switching: A Study of Limits. IEEE Transactions on Computers, Sept. 2005.
22. J. Pearl. Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann Publishers Inc., 1988.
23. P.Shivakumar, M.Kistler, S.W.Keckler, D.Burger, and L.Alvisi. Modeling the effect of technology trends on the soft error rate of combinatorial logic. In Proc. of the Int'l Conf. on Dependable Systems and Networks, June 2002.
24. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: Treating Bugs As Allergies- A Safe Method to Survive Software Failures. In Proc. of the 12th ACM Symp. on Operating systems principles, Oct. 2005.
25. G. A. Reis, J. Chang, N. Vachharajani, S. S. Mukherjee, R. Rangan, and D. I. Aug. Design and Evaluation of Hybrid Fault-Detection Systems. In Proc. of the 32st Annual Int'l Symp. on Computer Architecture, June 2005.
26. G. A. Reis, J. Chang, N. Vachharajani, R. Rangan, and D. I. Aug. SWIFT: Software implemented fault tolerance. In Proc. of the 3rd Int'l Symp. on Code Generation and Optimization, March 2005.
27. M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu, and W. Beebee. Enhancing server availability and security through failure-oblivious computing. In Proc. of the 6th Symp. on Operating Systems Design and Implementation, Dec. 2004.
28. G. P. Saggese, A. Vetteth, Z. Kalbarczyk, and R. Iyer. Microprocessor Sensitivity to Failures: Control vs. Execution and Combinational vs. Sequential Logic. In Proc. of the 2005 Int 7 Conf. on Dependable Systems and Networks, June 2005.
29. J. Srinivasan, S. V. Adve, P. Bose, and J. A. Rivers. Lifetime Reliability: Toward an Architectural Solution. In Proc. of the 38th annual IEEE/ACM Int 7 Symp. on Microarchitecture, Nov. 2005.
30. B. Taskar, M.-F. Wong, P. Abbeel, and D. Koller. Link Prediction in Relational Data. In Proc. of Neural Information Processing Systems, Dec. 2003.
31. D. Thaker, D. Franklin, J. Oliver, S. Biswas, D. Lockhart, T. Metodi, and F. T. Chong. Characterization of Error-Tolerant Applications when Protecting Control Data. In Proc. of the IEEE Int 7 Symp. on Workload Characterization, Oct. 2006.
32. T. N. Vijaykumar, I. Pomeranz, and K. Cheng. Transientfault recovery using simultaneous multithreading. In Proc. of the 29th annual Int'l Symp. on Computer Architecture, May 2002.
33. N. Wang, M. Fertig, and S. J. Patel. Y-branches: When you come to a fork in the road, take it. In Proc. of the 12th Int'l Conf. on Parallel Architectures and Compilation Techniques, Sept. 2003.
34. N. Wang, J. Quek, T. M. Rafacz, and S. Patel. Characterizing the effects of transient faults on a high-performance processor pipeline. In Proc. of the 2004 Int 7 Conf. on Dependable Systems and Networks, June 2004.
35. X. Zhang, N. Gupta, and R. Gupta. Locating Faults Through Automated Predicate Switching. In Proc. of the 28th Int 7 Conf. on Software Engineering, May 2006.