9264 search results - page 1394 / 1853 » Space Between Languages |
189
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inïŹ...
172
click to vote
WEA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to ïŹnd a mapping between the two input graphs using...
214
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
â A hyperheuristic is a high level problem solving methodology that performs a search over the space generated by a set of low level heuristics. One of the hyperheuristic framewo...
192
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
â By dividing the multiobjective optimization of the decision space into several small regions, this paper proposes multi-objective optimization algorithm based on sub-regional s...
213
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
AbstractâSoftware Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...