26957 search results - page 102 / 5392 » Information Systems Modernization |
INFORMATICALT
2010
13 years 7 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
WWW
2010
ACM
14 years 27 days ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
FLAIRS
2008
13 years 11 months ago
2008
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
JSA
2008
13 years 9 months ago
2008
Architectural advancements in modern processor designs increase average performance with features such as pipelines, caches, branch prediction, and out-of-order execution. However...