1329 search results - page 121 / 266 » Constraint-based model synthesis |
180
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
174
click to vote
DEDS
2000
15 years 4 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
166
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
142
click to vote
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
157
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...