Sciweavers

4139 search results - page 331 / 828
» Designing and Implementing Combinator Languages
Sort
View
AAAI
2007
15 years 9 months ago
Extending Cognitive Architecture with Episodic Memory
In this paper, we explore the hypothesis that episodic memory is a critical component for cognitive architectures that support general intelligence. Episodic memory overlaps with ...
Andrew Nuxoll, John E. Laird
IPPS
2003
IEEE
16 years 8 days ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja
CONCURRENCY
2007
158views more  CONCURRENCY 2007»
15 years 7 months ago
Collective communication: theory, practice, and experience
We discuss the design and high-performance implementation of collective communications operations on distributed-memory computer architectures. Using a combination of known techni...
Ernie Chan, Marcel Heimlich, Avi Purkayastha, Robe...
FPGA
2010
ACM
181views FPGA» more  FPGA 2010»
15 years 10 months ago
Efficient multi-ported memories for FPGAs
Multi-ported memories are challenging to implement with FPGAs since the provided block RAMs typically have only two ports. We present a thorough exploration of the design space of...
Charles Eric LaForest, J. Gregory Steffan
WWW
2005
ACM
16 years 17 days ago
Shared lexicon for distributed annotations on the Web
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
Paolo Avesani, Marco Cova