7195 search results - page 1077 / 1439 » On Computing Power |
153
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We present a novel computational framework for characterizing signal in brain images via nonlinear pairing of critical values of the signal. Among the astronomically larg...
169
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Due to shrinking technology, increasing functional frequency and density, and reduced noise margins with supply voltage scaling, the sensitivity of designs to supply voltage noise...
200
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Substantial increase in leakage current and threshold voltage fluctuations are making design of robust wide fan-in dynamic gates a challenging task. Traditionally, a PMOS keeper t...
210
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
174
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Many modern natural language-processing applications utilize search engines to locate large numbers of Web documents or to compute statistics over the Web corpus. Yet Web search e...