Sciweavers

2805 search results - page 28 / 561
» Modeling Memory for Melodies
Sort
View
83
Voted
ISCI
2000
80views more  ISCI 2000»
14 years 9 months ago
Quantum associative memory with distributed queries
This paper discusses a model of quantum associative memory which generalizes the completing associative memory proposed by Ventura and Martinez. Similar to this model, our system ...
A. A. Ezhov, A. V. Nifanova, Dan Ventura
FMCAD
2000
Springer
15 years 1 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
POPL
2005
ACM
15 years 10 months ago
The Java memory model
Jeremy Manson, William Pugh, Sarita V. Adve
PLILP
1993
Springer
15 years 1 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Vicente Benjumea, José M. Troya
83
Voted
ICCAD
2009
IEEE
128views Hardware» more  ICCAD 2009»
14 years 7 months ago
PCRAMsim: System-level performance, energy, and area modeling for Phase-Change RAM
Phase-change random access memory (PCRAM) is an emerging memory technology with attractive features, such as fast read access, high density, and non-volatility. Because of these a...
Xiangyu Dong, Norman P. Jouppi, Yuan Xie