Sciweavers

2168 search results - page 245 / 434
» Using Approximation Hardness to Achieve Dependable Computati...
Sort
View
RECOMB
2008
Springer
16 years 4 months ago
Rapid and Accurate Protein Side Chain Prediction with Local Backbone Information
High-accuracy protein structure modeling demands accurate and very fast side chain prediction since such a procedure must be repeatedly called at each step of structure refinement....
Jing Zhang, Xin Gao, Jinbo Xu, Ming Li
IPPS
2009
IEEE
15 years 11 months ago
Improving MPI-HMMER's scalability with parallel I/O
We present PIO-HMMER, an enhanced version of MPI-HMMER. PIO-HMMER improves on MPIHMMER’s scalability through the use of parallel I/O and a parallel file system. In addition, we...
John Paul Walters, Rohan Darole, Vipin Chaudhary
DAC
1999
ACM
15 years 8 months ago
Stand-by Power Minimization Through Simultaneous Threshold Voltage Selection and Circuit Sizing
We present a new approach for estimation and optimization of the average stand-by power dissipation in large MOS digital circuits. To overcome the complexity of state dependence i...
Supamas Sirichotiyakul, Tim Edwards, Chanhee Oh, J...
DSN
2004
IEEE
15 years 8 months ago
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
Jennifer Morris, Daniel Kroening, Philip Koopman
DICTA
2003
15 years 6 months ago
Isotropic Subpixel Measurement of Circular Objects
Many industrial manufacturing processes depend on the rapid and accurate measurement of circular objects, for example, pipe, tube and ball and roller bearings, to ensure that the c...
Russell Horney, Imants D. Svalbe, Peter Wells