188 search results - page 4 / 38 » A System-Level Synthesis Algorithm with Guaranteed Solution ... |
CAV
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
TCAD
2008
15 years 5 days ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
168
Voted
CP
2011
Springer
14 years 2 days ago
2011
Springer
A Distributed Constraint Optimization Problem (DCOP) is a fundamental problem that can formalize various applications related to multi-agent cooperation. Since it is NP-hard, consi...
74
Voted
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
84
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...