2 search results - page 1 / 1 » Improving platform-based system synthesis by satisfiability ... |
CODES
2010
IEEE
13 years 2 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...
ECAI
2010
Springer
13 years 5 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...