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

文章名     作者     期刊名     摘要     卷     期         如果没有找到您所需要的文献，请点击 ——此处申请     共12条记录   Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks [作者：Xiao, Y; Chen, H; Wu, K; Sun, B; Zhang, Y; Sun, XY; Liu, C,期刊：IEEE Transactions on Computers, 页码：507-521 , 文章类型： Article，,卷期：2010年59-4] In wireless sensor networks, some sensor nodes are put in sleep mode while other sensor nodes are in active mode for sensing and communication tasks in order to reduce energy consumption and extend network lifetime. This... Performance Comparison of Graphics Processors to Reconfigurable Logic: A Case Study [作者：Cope, B; Cheung, PYK; Luk, W; Howes, L,期刊：IEEE Transactions on Computers, 页码：433-448 , 文章类型： Article，,卷期：2010年59-4] A systematic approach to the comparison of the graphics processor (GPU) and reconfigurable logic is defined in terms of three throughput drivers. The approach is applied to five case study algorithms, characterized by th... A Unified Architecture for the Accurate and High-Throughput Implementation of Six Key Elementary Functions [作者：Alimohammad, A; Fard, SF; Cockburn, BF,期刊：IEEE Transactions on Computers, 页码：449-456 , 文章类型： Article，,卷期：2010年59-4] This paper presents a unified architecture for the compact implementation of several key elementary functions, including reciprocal, square root, and logarithm, in single-precision floating-point arithmetic. The proposed... To SAT or Not to SAT: Scalable Exploration of Functional Dependency [作者：Jiang, JHR; Lee, CC; Mishchenko, A; Huang, CY,期刊：IEEE Transactions on Computers, 页码：457-467 , 文章类型： Article，,卷期：2010年59-4] Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g(1),...,g(n)}, i. e., f h(g(1),...,g(n)). It plays an important role in many aspects of electronic des... Upper Bounds for Dynamic Memory Allocation [作者：Hasan, Y; Chen, WM; Chang, JM; Gharaibeh, BM,期刊：IEEE Transactions on Computers, 页码：468-477 , 文章类型： Article，,卷期：2010年59-4] In this paper, we study the upper bounds of memory storage for two different allocators. In the first case, we consider a general allocator that can allocate memory blocks anywhere in the available heap space. In the sec... Dynamic Multiway Segment Tree for IP Lookups and the Fast Pipelined Search Engine [作者：Chang, YK; Lin, YC; Su, CC,期刊：IEEE Transactions on Computers, 页码：492-506 , 文章类型： Article，,卷期：2010年59-4] A dynamic multiway segment tree (DMST) is proposed for IP lookups in this paper. DMST is designed for dynamic routing tables that can dynamically insert and delete prefixes. DMST is implemented as a B-tree that has all d... Adaptive CORDIC: Using Parallel Angle Recoding to Accelerate Rotations [作者：Rodrigues, TK; Swartzlander, EE,期刊：IEEE Transactions on Computers, 页码：522-531 , 文章类型： Article，,卷期：2010年59-4] The CORDIC algorithm is used in the evaluation of a wide variety of elementary functions. It is a simple and elegant method, but it suffers from long latency. The Angle Recoding method is able to reduce the number of ite... Algorithmic Aspects of Hardware/Software Partitioning: 1D Search Algorithms [作者：Jigang, W; Srikanthan, T; Chen, G,期刊：IEEE Transactions on Computers, 页码：532-544 , 文章类型： Article，,卷期：2010年59-4] Hardware/software (HW/SW) partitioning is one of the key challenges in HW/SW codesign. This paper presents efficient algorithms for the HW/SW partitioning problem, which has been proved to be NP- hard. We reduce the HW/S... Solving Stochastic Nonlinear Resource Allocation Problems Using a Hierarchy of Twofold Resource Allocation Automata [作者：Granmo, OC; Oommen, BJ,期刊：IEEE Transactions on Computers, 页码：545-560 , 文章类型： Article，,卷期：2010年59-4] In a multitude of real-world situations, resources must be allocated based on incomplete and noisy information. However, in many cases, incomplete and noisy information render traditional resource allocation techniques i... Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement [作者：Zheng, H; Yao, HQ; Yoneda, T,期刊：IEEE Transactions on Computers, 页码：561-573 , 文章类型： Article，,卷期：2010年59-4] Divide-and-conquer is essential to address state explosion in model checking. Verifying each individual component in a system, in isolation, efficiently requires an appropriate context, which traditionally is obtained by... An Optimal Encoding to Represent a Single Set in an ROBDD [作者：Lhotak, O; Curial, S; Amaral, JN,期刊：IEEE Transactions on Computers, 页码：574-575 , 文章类型： Article，,卷期：2010年59-4] The contribution is an optimal encoding for a set in a Reduced Ordered Binary Decision Diagram (ROBDD) when the number of elements in the set's domain is not a power of 2. The contribution includes a proof that the propo... Adaptive Power Management for Environmentally Powered Systems [作者：Moser, C; Thiele, L; Brunelli, D; Benini, L,期刊：IEEE Transactions on Computers, 页码：478-491 , 文章类型： Article，,卷期：2010年59-4] Recently, there has been a substantial interest in the design of systems that receive their energy from regenerative sources such as solar cells. In contrast to approaches that minimize the power consumption subject to p...