1058 search results - page 190 / 212 » Fault-Tolerant Resource Reasoning |
222
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
165
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
149
Voted
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
Mobile ad hoc networks (MANETs) are vulnerable to routing attacks, especially attacks launched by non-cooperative (selfish or compromised) network members and appear to be protoco...
172
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
121
Voted
SOSP
2003
ACM
16 years 11 days ago
2003
ACM
Peer-to-peer storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement m...