Sciweavers

2715 search results - page 211 / 543
» Total Generalized Variation
Sort
View
140
Voted
CASES
2011
ACM
14 years 3 months ago
Architecting processors to allow voltage/reliability tradeoffs
Escalating variations in modern CMOS designs have become a threat to Moore’s law. While previous works have proposed techniques for tolerating variations by trading reliability ...
John Sartori, Rakesh Kumar
137
Voted
BMCBI
2007
113views more  BMCBI 2007»
15 years 3 months ago
miRAS: a data processing system for miRNA expression profiling study
Background: The study of microRNAs (miRNAs) is attracting great considerations. Recent studies revealed that miRNAs play as important regulators of gene expression and some even a...
Feng Tian, Huayue Zhang, Xinyu Zhang, Chi Song, Yo...
DAC
2007
ACM
16 years 4 months ago
Fine-Grained Sleep Transistor Sizing Algorithm for Leakage Power Minimization
Power gating is one of the most effective ways to reduce leakage power. In this paper, we introduce a new relationship among Maximum Instantaneous Current, IR drops and sleep tran...
De-Shiuan Chiou, Da-Cheng Juan, Yu-Ting Chen, Shih...
122
Voted
WWW
2006
ACM
16 years 4 months ago
A pruning-based approach for supporting Top-K join queries
An important issue arising from large scale data integration is how to efficiently select the top-K ranking answers from multiple sources while minimizing the transmission cost. T...
Jie Liu, Liang Feng, Yunpeng Xing
CADE
2006
Springer
16 years 3 months ago
Partial Recursive Functions in Higher-Order Logic
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
Alexander Krauss