1714 search results - page 68 / 343 » Abstract Models of Memory Management |
120
click to vote
NOMS
2000
IEEE
15 years 7 months ago
2000
IEEE
Telephone Switches are characteristically long-lived, evolving systems. We describe how a legacy two-tier system for telephone switch management was reengineered as a three-tier w...
121
click to vote
PVM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Most parallel systems on which MPI is used are now hierarchical: some processors are much closer to others in terms of interconnect performance. One of the most common su...
130
click to vote
ISCA
2008
IEEE
15 years 3 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
129
click to vote
PPOPP
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
ESOP
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...