Sciweavers

903 search results - page 119 / 181
» Completeness Results for Memory Logics
Sort
View
ISMVL
2000
IEEE
124views Hardware» more  ISMVL 2000»
14 years 1 months ago
Silicon Single-Electron Devices and Their Applications
We have developed two novel methods of fabricating very small Si single-electron transistors (SETs), called PAtternDependent OXidation (PADOX) and Vertical PAttern-Dependent OXida...
Yasuo Takahashi, Akira Fujiwara, Yukinori Ono, Kat...
ISCA
1998
IEEE
119views Hardware» more  ISCA 1998»
14 years 1 months ago
Using Prediction to Accelerate Coherence Protocols
Most large shared-memory multiprocessors use directory protocols to keep per-processor caches coherent. Some memory references in such systems, however, suffer long latencies for ...
Shubhendu S. Mukherjee, Mark D. Hill
JOCN
2010
136views more  JOCN 2010»
13 years 3 months ago
Music and Speech Listening Enhance the Recovery of Early Sensory Processing after Stroke
Our surrounding auditory environment has a dramatic influence on the development of basic auditory and cognitive skills, but little is known about how it influences the recovery o...
Teppo Särkämö, Elina Pihko, Sari La...
ASPLOS
2012
ACM
12 years 4 months ago
Providing safe, user space access to fast, solid state disks
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
Adrian M. Caulfield, Todor I. Mollov, Louis Alex E...
ISSTA
2009
ACM
14 years 3 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...