3954 search results - page 340 / 791 » Image-based Model Completion |
158
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
137
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...
143
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
165
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
152
Voted
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...