3495 search results - page 586 / 699 » On the random satisfiable process |
158
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been prop...
169
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
The Human Protein Atlas is a rich source of location proteomics data. In this work, we present an automated approach for processing and classifying major subcellular patterns in t...
161
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
The scalability of future massively parallel processing (MPP) systems is being severely challenged by high failure rates. Current hard disk drive (HDD) checkpointing results in ov...
156
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
General purpose programming on the graphics processing units (GPGPU) has received a lot of attention in the parallel computing community as it promises to offer the highest perfo...
183
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...