9626 search results - page 35 / 1926 » Invariant Based Programming |
123
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
We study the task to infer and to track the viewpoint onto a 3D rigid object by observing its image contours in a sequence of images. To this end, we consider the manifold of invar...
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
88
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
ENTCS
2008
15 years 1 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...