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

文章名     作者     期刊名     摘要     卷     期         如果没有找到您所需要的文献，请点击 ——此处申请     共13条记录   Model-Driven System Capacity Planning under Workload Burstiness [作者：Casale, G; Mi, NF; Smirni, E,期刊：IEEE Transactions on Computers, 页码：66-80 , 文章类型： Article，,卷期：2010年59-1] In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe and predict accurately the performance o... Conversion Algorithms and Implementations for Koblitz Curve Cryptography [作者：Brumley, BB; Jarvinen, KU,期刊：IEEE Transactions on Computers, 页码：81-92 , 文章类型： Article，,卷期：2010年59-1] In this paper, we discuss conversions between integers and tau-adic expansions and we provide efficient algorithms and hardware architectures for these conversions. The results have significance in elliptic curve cryptog... A Novel Weighted-Graph-Based Grouping Algorithm for Metadata Prefetching [作者：Gu, P; Wang, J; Zhu, YF; Jiang, H; Shang, PJ,期刊：IEEE Transactions on Computers, 页码：1-15 , 文章类型： Article，,卷期：2010年59-1] Although data prefetching algorithms have been extensively studied for years, there is no counterpart research done for metadata access performance. Existing data prefetching algorithms, either lack of emphasis on group ... Heterogeneous Interconnects for Energy-Efficient Message Management in CMPs [作者：Flores, A; Aragon, JL; Acacio, ME,期刊：IEEE Transactions on Computers, 页码：16-28 , 文章类型： Article，,卷期：2010年59-1] Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processing cores on the same chip. Chip multiprocessors (CMPs) constitute a good alternative t... Network-on-Chip Hardware Accelerators for Biological Sequence Alignment [作者：Sarkar, S; Kulkarni, GR; Pande, PP; Kalyanaraman, A,期刊：IEEE Transactions on Computers, 页码：29-41 , 文章类型： Article，,卷期：2010年59-1] The most pervasive compute operation carried out in almost all bioinformatics applications is pairwise sequence homology detection (or sequence alignment). Due to exponentially growing sequence databases, computing this ... Improving Flash Wear-Leveling by Proactively Moving Static Data [作者：Chang, YH; Hsieh, JW; Kuo, TW,期刊：IEEE Transactions on Computers, 页码：53-65 , 文章类型： Article，,卷期：2010年59-1] Motivated by the strong demand for flash memory with enhanced reliability, this work attempts to achieve improved flash-memory endurance without substantially increasing overhead and without excessively modifying popular... Scalable Node-Level Computation Kernels for Parallel Exact Inference [作者：Xia, YL; Prasanna, VK,期刊：IEEE Transactions on Computers, 页码：103-115 , 文章类型： Article，,卷期：2010年59-1] In this paper, we investigate data parallelism in exact inference with respect to arbitrary junction trees. Exact inference is a key problem in exploring probabilistic graphical models, where the computation complexity i... Integrating Evolutionary Computation with Abstraction Refinement for Model Checking [作者：He, F; Song, XY; Hung, WNN; Gu, M; Sun, JG,期刊：IEEE Transactions on Computers, 页码：116-126 , 文章类型： Article，,卷期：2010年59-1] Model checking for large-scale systems is extremely difficult due to the state explosion problem. Creating useful abstractions for model checking task is a challenging problem, often involving many iterations of refineme... Predictive Temperature-Aware DVFS [作者：Lee, JS; Skadron, K; Chung, SW,期刊：IEEE Transactions on Computers, 页码：127-133 , 文章类型： Article，,卷期：2010年59-1] In this paper, we propose predictive temperature-aware Dynamic Voltage and Frequency Scaling (DVFS) using the performance counters that are already embedded in commercial microprocessors. By using the performance counter... Proofs of Correctness and Properties of Integer Adder Circuits [作者：Chen, G; Liu, F,期刊：IEEE Transactions on Computers, 页码：134-136 , 文章类型： Article，,卷期：2010年59-1] Adder circuits have been extensively studied. Their formal properties are well known, but the proofs are either incomplete or difficult to find. This short contribution intends to integrate all formal proofs related to a... Comment on "Performability Analysis: A New Algorithm" [作者：Sune, V; Carrasco, JA; Nabli, H; Sericola, B,期刊：IEEE Transactions on Computers, 页码：137-138 , 文章类型： Editorial Material，,卷期：2010年59-1] The paper "Performability Analysis: A New Algorithm" describes an algorithm for computing the complementary distribution of the accumulated reward over an interval of time in a homogeneous Markov process. In this comment... Independent Spanning Trees on Multidimensional Torus Networks [作者：Tang, SM; Yang, JS; Wang, YL; Chang, JM,期刊：IEEE Transactions on Computers, 页码：93-102 , 文章类型： Article，,卷期：2010年59-1] Two spanning trees rooted at vertex r in a graph G are called independent spanning trees (ISTs) if for each vertex nu in G, nu not equal r, the paths from vertex nu to vertex r in these two trees are internally distinct.... Communication-Aware Load Balancing for Parallel Applications on Clusters [作者：Qin, X; Jiang, H; Manzanares, A; Ruan, XJ; Yin, S,期刊：IEEE Transactions on Computers, 页码：42-52 , 文章类型： Article，,卷期：2010年59-1] Cluster computing has emerged as a primary and cost-effective platform for running parallel applications, including communication-intensive applications that transfer a large amount of data among the nodes of a cluster v...