1833 search results - page 16 / 367 » Mechanized Verification with Sharing |
ASPLOS
2012
ACM
12 years 6 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
ISCA
1990
IEEE
14 years 2 months ago
1990
IEEE
An adaptive cache coherence mechanism exploits semantic information about the expected or observed access behavior of particular data objects. We contend that, in distributed shar...
HPCA
1998
IEEE
14 years 3 months ago
1998
IEEE
The goal of this paper is to gain insight into the relative performance of communication mechanisms as bisection bandwidth and network latency vary. We compare shared memory with ...
WINE
2009
Springer
14 years 5 months ago
2009
Springer
This work initiates the study of cost-sharing mechanisms that, in addition to the usual incentive compatibility conditions, make it disadvantageous for the users to employ pseudon...
ATVA
2009
Springer
14 years 18 hour ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...