2 search results - page 1 / 1 » Improving platform-based system synthesis by satisfiability ... |
102
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
117
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Learning in the context of constraint solving is a technique by which previously unknown constraints are uncovered during search and used to speed up subsequent search. R...