340 search results - page 33 / 68 » The Potential of Carbon-Based Memory Systems |
111
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
119
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
139
Voted
FCCM
2002
IEEE
15 years 7 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
124
click to vote
SPIN
2010
Springer
15 years 10 days ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
117
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...