911 search results - page 81 / 183 » Combining programs and state machines |
CPAIOR
2007
Springer
14 years 3 months ago
2007
Springer
Portfolio selection is a relevant problem arising in finance and economics. While its basic formulations can be efficiently solved through linear or quadratic programming, its mor...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
CP
2009
Springer
14 years 9 months ago
2009
Springer
Many problems require minimally perturbing an initial state in order to repair some violated constraints. We consider two search spaces for exactly solving this minimal perturbatio...