1710 search results - page 188 / 342 » High-Level Programs and Program Conditions |
105
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
101
click to vote
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
145
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
AUTOMATICA
2008
15 years 1 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...
105
click to vote
EOR
2007
15 years 1 months ago
2007
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...