Sciweavers

44651 search results - page 369 / 8931
» A Generalization of the Least General Generalization
Sort
View
DAC
2003
ACM
16 years 7 months ago
Generalized cofactoring for logic function evaluation
Yunjian Jiang, Slobodan Matic, Robert K. Brayton
DAC
2004
ACM
16 years 7 months ago
A general decomposition strategy for verifying register renaming
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
Hazem I. Shehata, Mark Aagaard
ICML
2008
IEEE
16 years 7 months ago
Closed-form supervised dimensionality reduction with generalized linear models
Irina Rish, Genady Grabarnik, Guillermo Cecchi, Fr...