共 30 条
- [1] Avizienis A., Laprie J.-C., Randell B., Landwehr C., Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secure Comput., 1, 1, pp. 11-33, (2004)
- [2] Balaban H.S., Some effects of redundancy on system reliability, National symposium on reliability and quality control, pp. 385-402, (1960)
- [3] Baleani M., Ferrari A., Mangeruca L., Peri M., Pezzini S., Sangiovanni-Vincentelli A., Fault-tolerant platforms for automotive safety-critical applications, International conference on compilers, (2003)
- [4] Benoit A., Dufosse F., Girault A., Robert Y., Reliability and performance optimization of pipelined real-time systems, International Conference on Parallel Processing, ICPP'10, pp. 150-159, (2010)
- [5] Burd T.D., Brodersen R.W., Energy efficient CMOS micro-processor design, Hawaii international conference on system sciences, HICSS'95, (1995)
- [6] Colin A., Puaut I., Worst case execution time analysis for a processor with branch prediction, Real Time Syst., 18, 2-3, pp. 249-274, (2000)
- [7] Ibm, ILOG CPLEX Optimizer, (2010)
- [8] Dogan A., Ozguner F., Matching and scheduling algorithms for minimizing execution time and failure probability of applications in heterogeneous computing, IEEE Trans. Parallel Distrib. Syst., 13, 3, pp. 308-323, (2002)
- [9] Elnozahy E., Kistler M., Rajamony R., Energy-efficient server clusters, Workshop on Power-Aware Computing Systems, WPACS'02, pp. 179-196, (2002)
- [10] Ferdinand C., Heckmann R., Langenbach M., Martin F., Schmidt M., Theiling H., Thesing S., Wilhelm R., Reliable and precise WCET determination for a real-life processor, International Workshop on Embedded Software, EMSOFT'01. LNCS, 2211, (2001)