2584 search results - page 269 / 517 » On the Forward Checking Algorithm |
121
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
130
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
121
click to vote
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
The paper deals with synthesis technique for designing circuits with cascade errors detection. The proposed technique is based on partitioning a scheme into a number of cascades f...
133
click to vote
FLAIRS
2006
15 years 4 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
108
click to vote
FUIN
2006
15 years 3 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...