78 search results - page 7 / 16 » Cluster-Based Partial-Order Reduction |
FMSD
2002
14 years 9 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
ORDER
2006
14 years 9 months ago
2006
We study finite partial orders which have a chain such that every element of the order either belongs to this chain or has all its covers in this chain. We show that such orders a...
MCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we propose a cluster-based cumulative representation for cluster ensembles. Cluster labels are mapped to incrementally accumulated clusters, and a matching...
GECCO
2004
Springer
15 years 2 months ago
2004
Springer
Two efficient clustering-based genetic algorithms are developed for the optimisation of reaction rate parameters in chemical kinetic modelling. The genetic algorithms employed are ...
77
Voted
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...