1714 search results - page 79 / 343 » Abstract Models of Memory Management |
132
click to vote
ESA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
156
click to vote
ISPASS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
137
click to vote
ATVA
2006
Springer
15 years 5 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...
110
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
120
click to vote
HPCC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...