903 search results - page 54 / 181 » Completeness Results for Memory Logics |
ASAP
2004
IEEE
14 years 15 days ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
ISCA
2009
IEEE
14 years 3 months ago
2009
IEEE
Data prefetching has long been an important technique to amortize the effects of the memory wall, and is likely to remain so in the current era of multi-core systems. Most prefetc...
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...
ECAI
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean `the reasoner has at least n different beliefs'. The resul...
DLOG
2008
13 years 11 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...