601 search results - page 105 / 121 » Edge-dominating cycles in graphs |
96
Voted
AI
2005
Springer
15 years 11 days ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
115
click to vote
TCAD
1998
15 years 3 days ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
108
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
113
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
With increasing process variation, binning has become an important technique to improve the values of fabricated chips, especially in high performance microprocessors where transpa...
129
click to vote
BMCBI
2010
14 years 7 months ago
2010
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...