1738 search results - page 209 / 348 » Local Consistency and SAT-Solvers |
175
click to vote
CP
2001
Springer
15 years 10 months ago
2001
Springer
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...
172
click to vote
FMLDO
1999
Springer
15 years 10 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
149
click to vote
AAAI
2008
15 years 8 months ago
2008
Diagnosability is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. An unobservable fault event in...
200
click to vote
FAST
2007
15 years 7 months ago
2007
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
166
click to vote
NDQA
2003
15 years 7 months ago
2003
Early TREC-style Question Answering Systems were characterized by the following features: (a) the answer of the question was known to be included in a given local corpus, (b) the ...