1290 search results - page 218 / 258 » Data Dependence Testing in Practice |
127
Voted
HEURISTICS
2010
15 years 4 days ago
2010
This paper investigates an adaptive constructive method for solving nurse rostering problems. The constraints considered in the problems are categorised into three classes: those t...
207
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
169
Voted
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
115
Voted
ORGSCI
2010
15 years 1 months ago
2010
A growing body of research in management and related public policy fields concludes that the 1980s and 1990s saw greater dynamic competition throughout technology−intensive (“...
163
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...