1833 search results - page 77 / 367 » Mechanized Verification with Sharing |
112
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
A network of cooperating agents must be able to reach rough consensus on a set of topics for cooperation. With highly heterogeneous agents, however, incommensurable measures and i...
109
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
94
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Group work frequently involves transitions between periods of active collaboration and periods of individual activity. We aim to support this typical work practice by introducing ...
126
click to vote
HIPEAC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Multi-core processors with shared last-level caches are vulnerable to performance inefficiencies and fairness issues when the cache is not carefully managed between the m...
93
Voted
ISCA
2009
IEEE
15 years 7 months ago
2009
IEEE
Many multi-core processors employ a large last-level cache (LLC) shared among the multiple cores. Past research has demonstrated that sharing-oblivious cache management policies (...