3047 search results - page 572 / 610 » On the Meaning of Logical Completeness |
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
Emerging non-volatile memory technologies such as phase change memory (PCM) promise to increase storage system performance by a wide margin relative to both conventional disks and ...
EDBT
2009
ACM
13 years 6 months ago
2009
ACM
Stream applications gained significant popularity over the last years that lead to the development of specialized stream engines. These systems are designed from scratch with a di...
HIPC
2009
Springer
13 years 6 months ago
2009
Springer
Large scale compute clusters continue to grow to ever-increasing proportions. However, as clusters and applications continue to grow, the Mean Time Between Failures (MTBF) has redu...
CLEF
2010
Springer
13 years 5 months ago
2010
Springer
Recent years have seen a growing interest in research into patent retrieval. One of the key issues in conducting information retrieval (IR) research is meaningful evaluation of the...
BMCBI
2011
13 years 3 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...