755 search results - page 12 / 151 » Sequential Diagnosis by Abstraction |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
19
Voted
INFORMATICALT
2000
13 years 7 months ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
Abstract