Sciweavers

1410 search results - page 204 / 282
» A Logic for Virtual Memory
Sort
View
TLCA
2005
Springer
15 years 11 months ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
EH
2003
IEEE
100views Hardware» more  EH 2003»
15 years 11 months ago
Learning for Evolutionary Design
This paper describes a technique for evolving similar solutions to similar configuration design problems. Using the configuration design of combination logic circuits as a testb...
Sushil J. Louis
ISMVL
2000
IEEE
124views Hardware» more  ISMVL 2000»
15 years 10 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»
15 years 10 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
ERSA
2004
134views Hardware» more  ERSA 2004»
15 years 7 months ago
A High Performance Application Representation for Reconfigurable Systems
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
Wenrui Gong, Gang Wang, Ryan Kastner