959 search results - page 24 / 192 » New Techniques for Algorithm Portfolio Design |
JMLR
2012
12 years 12 months ago
2012
NIMFA is an open-source Python library that provides a unified interface to nonnegative matrix factorization algorithms. It includes implementations of state-of-the-art factoriza...
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
CASES
2003
ACM
15 years 2 months ago
2003
ACM
Reducing the power consumption of computing devices has gained a lot of attention recently. Many research works have focused on reducing power consumption in the off-chip buses as...
142
click to vote
DATE
1998
IEEE
15 years 1 months ago
1998
IEEE
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
70
Voted
TVLSI
2002
14 years 9 months ago
2002
Abstract--Hardward/software (HW/SW) codesign and reconfigurable computing are commonly used methodologies for digitalsystems design. However, no previous work has been carried out ...