1410 search results - page 114 / 282 » A Logic for Virtual Memory |
154
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
130
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
Modern embedded compute platforms increasingly contain both microprocessors and field-programmable gate arrays (FPGAs). The FPGAs may implement accelerators or other circuits to s...
259
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
128
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
SIMD organizations amortize the area and power of fetch, decode, and issue logic across multiple processing units in order to maximize throughput for a given area and power budget...
154
click to vote
SIGMETRICS
2009
ACM
15 years 11 months ago
2009
ACM
Flash Memory based Solid State Drive (SSD) has been called a “pivotal technology” that could revolutionize data storage systems. Since SSD shares a common interface with the t...