个性化文献订阅>文章检索

文章名     作者     期刊名     摘要     卷     期         如果没有找到您所需要的文献，请点击 ——此处申请     共8条记录   Soft N-Modular Redundancy [作者：Kim, EP; Shanbhag, NR,期刊：IEEE Transactions on Computers, 页码：323-336 , 文章类型： Article，,卷期：2012年61-3] Achieving robustness and energy efficiency in nanoscale CMOS process technologies is made challenging due to the presence of process, temperature, and voltage variations. Traditional fault-tolerance techniques such as N-... Load-Balancing Multipath Switching System with Flow Slice [作者：Shi, L; Liu, B; Sun, CH; Yin, ZY; Bhuyan, LN; Chao, HJ,期刊：IEEE Transactions on Computers, 页码：350-365 , 文章类型： Article，,卷期：2012年61-3] Multipath Switching systems (MPS) are intensely used in state-of-the-art core routers to provide terabit or even petabit switching capacity. One of the most intractable issues in designing MPS is how to load balance traf... Soft Error Sensitivity Evaluation of Microprocessors by Multilevel Emulation-Based Fault Injection [作者：Entrena, L; Garcia-Valderas, M; Fernandez-Cardenal, R; Lindoso, A; Garcia, MP; Lopez-Ongil, C,期刊：IEEE Transactions on Computers, 页码：313-322 , 文章类型： Article，,卷期：2012年61-3] Estimation of soft error sensitivity is crucial in order to devise optimal mitigation solutions that can satisfy reliability requirements with reduced impact on area, performance, and power consumption. In particular, th... Maxterm Covering for Satisfiability [作者：Yin, LZ; He, F; Hung, WNN; Song, XY; Gu, M,期刊：IEEE Transactions on Computers, 页码：420-426 , 文章类型： Article，,卷期：2012年61-3] This paper presents a novel efficient satisfiability (SAT) algorithm based on maxterm covering. The satisfiability of a clause set is determined in terms of the number of relative maxterms of the empty clause with respec... Modified Redundant Representation for Designing Arithmetic Circuits with Small Complexity [作者：Akleylek, S; Ozbudak, F,期刊：IEEE Transactions on Computers, 页码：427-432 , 文章类型： Article，,卷期：2012年61-3] We give a modified redundant representation for designing arithmetic circuits with small complexity. Using our modified redundant representation, we improve many of the complexity values significantly. Our method works f... Multithreaded Reactive Programming-the Kiel Esterel Processor [作者：Li, X; von Hanxleden, R,期刊：IEEE Transactions on Computers, 页码：337-349 , 文章类型： Article，,卷期：2012年61-3] The Kiel Esterel Processor (KEP) is a multithreaded reactive processor designed for the execution of programs written in the synchronous language Esterel. Design goals were timing predictability, minimal resource usage, ... On the Computation of Correctly Rounded Sums [作者：Kornerup, P; Lefevre, V; Louvet, N; Muller, JM,期刊：IEEE Transactions on Computers, 页码：289-298 , 文章类型： Article，,卷期：2012年61-3] This paper presents a study of some basic blocks needed in the design of floating-point summation algorithms. In particular, in radix-2 floating-point arithmetic, we show that among the set of the algorithms with no comp... Minimal-Memory Requirements for Pearl-Necklace Encoders of Quantum Convolutional Codes [作者：Houshmand, M; Hosseini-Khayat, S; Wilde, MM,期刊：IEEE Transactions on Computers, 页码：299-312 , 文章类型： Article，,卷期：2012年61-3] One of the major goals in quantum information processing is to reduce the overhead associated with the practical implementation of quantum protocols, and often, routines for quantum error correction account for most of t...