Sciweavers

1878 search results - page 275 / 376
» Feature Generation Using General Constructor Functions
Sort
View
DAC
2007
ACM
16 years 3 months ago
On Resolution Proofs for Combinational Equivalence
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...
DAC
2002
ACM
16 years 3 months ago
Software-based diagnosis for processors
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
Li Chen, Sujit Dey
SIGMOD
2007
ACM
150views Database» more  SIGMOD 2007»
16 years 2 months ago
Exploiting self-monitoring sample views for cardinality estimation
Good cardinality estimates are critical for generating good execution plans during query optimization. Complex predicates, correlations between columns, and user-defined functions...
Jingren Zhou, Per-Åke Larson, Peter Zabback,...
GECCO
2005
Springer
119views Optimization» more  GECCO 2005»
15 years 7 months ago
A multi-objective evolutionary approach to peptide structure redesign and stabilization
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
Tim Hohm, Daniel Hoffmann
IPPS
1998
IEEE
15 years 6 months ago
Optimistic Synchronization of Mixed-Mode Simulators
Mixed-Mode simulation has been generating considerable interest in the simulation community and has continued to grow as an active research area. Traditional mixed-mode simulation...
Peter Frey, Radharamanan Radhakrishnan