440 search results - page 71 / 88 » Local reasoning for abstraction and sharing |
136
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
101
click to vote
ICPP
1994
IEEE
15 years 6 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
112
click to vote
ENTCS
2008
15 years 1 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
108
click to vote
AAAI
1994
15 years 3 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
120
click to vote
ICB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Our goal is to extract consistent bits from the same fingerprint in a noisy environment. Such bits can then be used as a secret key in several cryptographic applications...