2008 search results - page 152 / 402 » Computing with Equations |
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
AMC
2008
13 years 9 months ago
2008
In this paper, a new sufficient delay dependent exponential stability condition for a class of linear time-varying systems with nonlinear delayed perturbations is derived by using...
ICALP
2003
Springer
14 years 2 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
TCS
2008
13 years 9 months ago
2008
We apply our recent preconditioning techniques to the solution of linear systems of equations and computing determinants. We combine these techniques with the Sherman
AUTOMATICA
2008
13 years 9 months ago
2008
: For an infinite-horizon optimal control problem, the cost does not, in general, converge. The classical work-around to this problem is to introduce a discount or "forgetting...