1243 search results - page 126 / 249 » On the locality of bounded growth |
174
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
180
click to vote
DBISP2P
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
164
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— We consider the problem of reachback communication in wireless sensor networks: multiple sensors are deployed on a field, and they collect local measurements of some r...
168
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
138
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents provable work-optimal parallelizations of STL (Standard Template Library) algorithms based on the workstealing technique. Unlike previous approaches where a deq...