5377 search results - page 995 / 1076 » Programming Languages For Interactive Computing |
122
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...
131
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
This paper shows how to build and maintain a distributed heap which we call SHELL. In contrast to standard heaps, our heap is oblivious in the sense that its structure only depends...
97
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract In a load balancing network each processor has an initial collection of unit-size jobs, tokens, and in each round, pairs of processors connected by balancers split their l...
147
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...
120
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...