647 search results - page 47 / 130 » Generation of BDDs from hardware algorithm descriptions |
120
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Accurate selection of splice sites during the splicing of precursors to messenger RNA requires both relatively well-characterized signals at the splice sites and auxil...
133
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
143
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
145
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper addresses the problem of automatic reconstruction of a 3D relief from a line drawing on top of a given base object. Reconstruction is challenging due to four reasons ...
144
click to vote
UML
1998
Springer
15 years 7 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...