1833 search results - page 103 / 367 » Mechanized Verification with Sharing |
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
It has been shown that many requests miss in all remote nodes in shared memory multiprocessors. We are motivated by the observation that this behavior extends to much coarser grai...
120
click to vote
ISCA
1999
IEEE
15 years 5 months ago
1999
IEEE
Recent research advocates using general message predictors to learn and predict the coherence activity in distributed shared memory (DSM). By accurately predicting a message and t...
165
Voted
ISCA
1997
IEEE
15 years 5 months ago
1997
IEEE
Recent technological advances have produced network interfaces that provide users with very low-latency access to the memory of remote machines. We examine the impact of such netw...
142
Voted
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The deployment of Share Data Spaces in open, possibly hostile, environments arises the need of protecting the confidentiality of the data space content. Existing approach...
SIGMETRICS
2008
ACM
15 years 27 days ago
2008
ACM
Control of large distributed cloud-based services is a challenging problem. The Distributed Rate Limiting (DRL) paradigm was recently proposed as a mechanism for tackling this pro...