438 search results - page 17 / 88 » Pervasive Theory of Memory |
SPAA
2003
ACM
14 years 19 days ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
MASCOTS
2010
13 years 8 months ago
2010
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
This research investigates event generalisation in computational episodic memory for artificial companions. Two studies indicated a preference of a biologically-inspired selectiv...
IANDC
2006
13 years 7 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
NN
2000
Springer
13 years 7 months ago
2000
Springer
A neural network model that can simulate the learning of some simple proportional analogies is presented. These analogies include, for example, (a) red-square:red-circle yellow-sq...