1176 search results - page 155 / 236 » Implicit Abstraction Heuristics |
NOMS
2000
IEEE
15 years 5 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
120
Voted
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We have investigated the adaptation of AI-based search techniques as topologyindependent fault-tolerant routing strategies on multiprocessor networks [9]. The results sho...
107
Voted
EDBT
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. Fusion queries search for information integrated from distributed, autonomous sources over the Internet. We investigate techniques for e cient processing of fusion querie...
108
Voted
SEAL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper deals with the problem of nurse rostering in Belgian hospitals. This is a highly constrained real world problem that was (until the results of this research we...