936 search results - page 126 / 188 » The Synthesis Problem of Netcharts |
104
Voted
AAAI
1994
15 years 4 months ago
1994
It has recently been shown that local search is surprisingly good at nding satisfying assignments for certain computationally hard classes of CNF formulas. The performance of basi...
109
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
91
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
135
Voted
CLIMA
2010
15 years 4 months ago
2010
Half positionality is the property of a language of infinite words to admit positional winning strategies, when interpreted as the goal of a two-player game on a graph. Such proble...
148
click to vote
JPDC
2000
15 years 3 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...