2584 search results - page 187 / 517 » On the Forward Checking Algorithm |
RTCSA
1999
IEEE
14 years 17 days ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
AUSDM
2006
Springer
14 years 1 days ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
EUC
2004
Springer
14 years 1 days ago
2004
Springer
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
AAAI
1996
13 years 9 months ago
1996
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
ENTCS
2007
13 years 8 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...