6939 search results - page 933 / 1388 » Algorithm Engineering for Parallel Computation |
207
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
251
click to vote
PDIS
1996
IEEE
15 years 10 months ago
1996
IEEE
Users today are struggling to integrate a broad range of information sources providing di erent levels of query capabilities. Currently, data sources with di erent and limitedcapa...
134
Voted
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
179
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Data sources, storage, computing resources and services are entities on Grids that require mechanisms for publication and lookup. A discovery service relies on efficient lookup to...
184
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We present Gatekeeper, a decentralized protocol that performs Sybil-resilient node admission control based on a social network. Gatekeeper can admit most honest nodes while limiti...