4211 search results - page 137 / 843 » Types as Abstract Interpretations |
110
click to vote
MOC
2002
15 years 3 months ago
2002
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...
131
click to vote
INFORMATICALT
2010
15 years 2 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...
114
click to vote
JFP
2008
15 years 3 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
132
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
108
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...