Sciweavers

2479 search results - page 21 / 496
» A Computational Theory of Working Memory
Sort
View
IPPS
2003
IEEE
14 years 24 days ago
Active Memory Techniques for ccNUMA Multiprocessors
Our recent work on uniprocessor and single-node multiprocessor (SMP) active memory systems uses address remapping techniques in conjunction with extended cache coherence protocols...
Daehyun Kim, Mainak Chaudhuri, Mark Heinrich
CCA
2005
Springer
14 years 1 months ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002
SSS
2005
Springer
14 years 1 months ago
Memory Management for Self-stabilizing Operating Systems
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
Shlomi Dolev, Reuven Yagel
ICAIL
2003
ACM
14 years 24 days ago
Towards a Computational Account of Persuasion in Law
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
ISCA
2010
IEEE
413views Hardware» more  ISCA 2010»
14 years 19 days ago
Resistive computation: avoiding the power wall with low-leakage, STT-MRAM based computing
As CMOS scales beyond the 45nm technology node, leakage concerns are starting to limit microprocessor performance growth. To keep dynamic power constant across process generations...
Xiaochen Guo, Engin Ipek, Tolga Soyata