6960 search results - page 560 / 1392 » Continuity Analysis of Programs |
162
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
We study the Sherali-Adams lift-and-project hierarchy of linear programming relaxations of the matching polytope. Our main result is an asymptotically tight expression 1 + 1/k for...
175
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
163
click to vote
DEXAW
2005
IEEE
16 years 26 days ago
2005
IEEE
In this paper, we present our approach and architecture for fault diagnosis and self-healing of interpreted objectoriented applications. By combining aspect-oriented programming, ...
173
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
157
click to vote
IPL
2007
15 years 7 months ago
2007
The MIN algorithm is an offline strategy for deciding which item to replace when writing a new item to a cache. Its optimality was first established by Mattson, Gecsei, Slutz, a...