2756 search results - page 298 / 552 » Computation-Centric Memory Models |
161
click to vote
COSIT
1993
Springer
15 years 9 months ago
1993
Springer
Although cognitive map is a popular metaphor for people's mental representations of environments, as it is typically conceived, it is often too restrictive. Two other metaphor...
144
Voted
NIPS
2001
15 years 6 months ago
2001
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
120
Voted
SIGMETRICS
1995
ACM
15 years 8 months ago
1995
ACM
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
150
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
137
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...