479 search results - page 45 / 96 » On Static Properties of Specialized Programs |
110
click to vote
PAMI
2007
15 years 4 days ago
2007
A new framework is presented for both understanding and developing graph-cut based combinatorial algorithms suitable for the approximate optimization of a very wide class of MRFs ...
85
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
111
Voted
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
105
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
113
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...