4747 search results - page 162 / 950 » Shuffle Memory System |
137
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
94
Voted
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
123
click to vote
ASAP
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
105
click to vote
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
Many approaches have emerged in the attempt to explain the memory process. One of which is the Theory of Neuronal Group Selection (TNGS), proposed by Edelman [1]. In the present wo...
126
click to vote
ACL
2001
15 years 3 months ago
2001
We present a set of algorithms that enable us to translate natural language sentences by exploiting both a translation memory and a statistical-based translation model. Our result...