640 search results - page 101 / 128 » Discovering State Invariants |
147
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Value locality, a recently discovered program attribute that describes the likelihood of the recurrence of previously-seen program values, has been studied enthusiastically in the...
147
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
158
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
169
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
131
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...