206 search results - page 8 / 42 » Sharing in the Weak Lambda-Calculus |
CORR
2011
Springer
13 years 8 days ago
2011
Springer
The correlation of the result lists provided by search engines is fundamental and it has deep and multidisciplinary ramifications. Here, we present automatic and unsupervised met...
MOR
2010
13 years 7 months ago
2010
We consider a communication network where each pair of users requests a connection guaranteeing a certain capacity. The cost of building capacity is identical across pairs. E cien...
ISCA
1995
IEEE
14 years 2 days ago
1995
IEEE
This paper introduces dynamic self-invalidation (DSI), a new technique for reducing cache coherence overhead in shared-memory multiprocessors. DSI eliminates invalidation messages...
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Heterogeneous users usually have different requirements as far as consistency of shared data is concerned. This paper proposes and investigates a mixed consistency model to meet t...
ELPUB
2008
ACM
13 years 10 months ago
2008
ACM
Background: Sharing data is a tenet of science, yet commonplace in only a few subdisciplines. Recognizing that a data sharing culture is unlikely to be achieved without policy gui...