2 search results - page 1 / 1 » Improving platform-based system synthesis by satisfiability ... |
124
click to vote
CODES
2010
IEEE
15 years 27 days 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...
140
Voted
ECAI
2010
Springer
15 years 4 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...