1399 search results - page 185 / 280 » Verification of Test Suites |
143
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
In this paper1 we propose a novel approach to synthesis for low power under tight timing constraints. Starting from a mapped netlist, we apply a powerful generalized matching algo...
134
click to vote
DOLAP
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we deal with the problem of determining the best possible physical implementation of an ETL workflow, given its logical-level description and an appropriate cost mo...
159
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a novel method for merging sets of computational patterns into a reconfigurable cell respecting design constraints and optimizing specific design aspects...
143
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
187
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
The shaky ladder hyperplane-defined functions (sl-hdf's) are a test suite utilized for exploring the behavior of the genetic algorithm (GA) in dynamic environments. We present...