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

文章名     作者     期刊名     摘要     卷     期         如果没有找到您所需要的文献，请点击 ——此处申请     共15条记录   Improved Computation of Square Roots in Specific Finite Fields [作者：Han, DG; Choi, D; Kim, H,期刊：IEEE Transactions on Computers, 页码：188-196 , 文章类型： Article，,卷期：2009年58-2] In this paper, we study exponentiation in the specific finite fields F-q with very special exponents such as those that occur in algorithms for computing square roots. Here, q is a prime power, q = p(k), where k > 1, and... Low-Power Multiple-Precision Iterative Floating-Point Multiplier with SIMD Support [作者：Tan, D; Lemonds, CE; Schulte, MJ,期刊：IEEE Transactions on Computers, 页码：175-187 , 文章类型： Article，,卷期：2009年58-2] The demand for improved SIMD floating-point performance on general-purpose x86-compatible microprocessors is rising. At the same time, there is a conflicting demand in the low-power computing market for a reduction in po... An Efficient Rounding Boundary Test for pow(x, y) in Double Precision [作者：Lauter, CQ; Lefevre, V,期刊：IEEE Transactions on Computers, 页码：197-207 , 文章类型： Article，,卷期：2009年58-2] The correct rounding of the function pow: (x, y) vertical bar -> x(y) is currently based on Ziv's iterative approximation process. In order to ensure its termination, cases when x(y) falls on a rounding-boundary must be ... Pipelining Saturated Accumulation [作者：Papadantonakis, K; Kapre, N; Chan, S; Dehon, A,期刊：IEEE Transactions on Computers, 页码：208-219 , 文章类型： Article，,卷期：2009年58-2] Aggressive pipelining and spatial parallelism allow integrated circuits (e. g., custom VLSI, ASICs, and FPGAs) to achieve high throughput on many Digital Signal Processing applications. However, cyclic data dependencies ... Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven [作者：Boldo, S,期刊：IEEE Transactions on Computers, 页码：220-225 , 文章类型： Article，,卷期：2009年58-2] This article tackles Kahan's algorithm to compute accurately the discriminant. This is a known difficult problem, and this algorithm leads to an error bounded by 2 ulps of the floating-point result. The proofs involved a... An Enhanced Universal N x N Fully Nonblocking Quantum Switch [作者：Sue, CC,期刊：IEEE Transactions on Computers, 页码：238-250 , 文章类型： Article，,卷期：2009年58-2] This study develops a quantum switching device with fully nonblocking properties. Although previous studies have also presented quantum-based solutions for the blocking problem, the proposed schemes are characterized by ... Verified Real Number Calculations: A Library for Interval Arithmetic [作者：Daumas, M; Lester, D; Munoz, C,期刊：IEEE Transactions on Computers, 页码：226-237 , 文章类型： Article，,卷期：2009年58-2] Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a theorem prover or proof assistant in a con... Using Node Diagnosability to Determine t-Diagnosability under the Comparison Diagnosis Model [作者：Chiang, CF; Tan, JJM,期刊：IEEE Transactions on Computers, 页码：251-259 , 文章类型： Article，,卷期：2009年58-2] Diagnosis is an essential subject for the reliability of a multiprocessor system. Under the comparison diagnosis model, Sengupta and Dahbura proposed a polynomial-time algorithm with time complexity O(N-5) to identify al... Localized Independent Packet Scheduling for Buffered Crossbar Switches [作者：Pan, D; Yang, Y,期刊：IEEE Transactions on Computers, 页码：260-274 , 文章类型： Article，,卷期：2009年58-2] Buffered crossbar switches are a special type of crossbar switches. In such a switch, besides normal input queues and output queues, a small buffer is associated with each crosspoint. Due to the introduction of crosspoin... Error-Correcting Codes for Ternary Content Addressable Memories [作者：Krishnan, SC; Panigrahy, R; Parthasarathy, S,期刊：IEEE Transactions on Computers, 页码：275-U1 , 文章类型： Article，,卷期：2009年58-2] As VLSI silicon technology continues its relentless advance and memory densities increase, the problem of soft errors-bit upsets caused by alpha particles or neutron hits-demands solutions. Error-correcting codes (ECCs) ... A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines [作者：Bini, E; Nguyen, THC; Richard, P; Baruah, SK,期刊：IEEE Transactions on Computers, 页码：279-286 , 文章类型： Article，,卷期：2009年58-2] Since worst case response times must be determined repeatedly during the interactive design of real-time application systems, repeated exact computation of such response times would slow down the design process considera... Reduced Length Checking Sequences (vol 51, pg 1111, 2002) [作者：Hierons, RM; Ural, H,期刊：IEEE Transactions on Computers, 页码：287-287 , 文章类型： Correction，,卷期：2009年58-2] Guest Editors' Introduction: Special Section on Computer Arithmetic [作者：Kornerup, P; Montuschi, P; Muller, JM; Schwarz, E,期刊：IEEE Transactions on Computers, 页码：145-147 , 文章类型： Editorial Material，,卷期：2009年58-2] A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format [作者：Cornea, M; Harrison, J; Anderson, C; Tang, PTP; Schneider, E; Gvozdev, E,期刊：IEEE Transactions on Computers, 页码：148-162 , 文章类型： Article，,卷期：2009年58-2] The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [19] was revised [20], and an important addition is the definition of decimal floating-point arithmetic [8], [24]. This is intended mainly to provide a robu... A Discrete Logarithm Number System for Integer Arithmetic Modulo 2(k): Algorithms and Lookup Structures [作者：Fit-Florea, A; Li, L; Thornton, MA; Matula, DW,期刊：IEEE Transactions on Computers, 页码：163-174 , 文章类型： Article，,卷期：2009年58-2] We present a k-bit encoding of the k-bit binary integers based on a discrete logarithm representation. The representation supports a discrete logarithm number system (DLS) that allows integer multiplication to be reduced...