1875 search results - page 317 / 375 » A Calculus of Broadcasting Systems |
100
Voted
SSS
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present new distributed protocols to color even rings and general bipartite graphs. Our motivation is to provide algorithmic explanation for human subject experime...
92
Voted
GLOBECOM
2009
IEEE
14 years 10 months ago
2009
IEEE
Beamforming and relaying are two methods of improving wireless system performance. Until now, these techniques have been considered separately. In this paper, a single source (base...
126
Voted
TDSC
2011
14 years 7 months ago
2011
— Randomized agreement protocols have been around for more than two decades. Often assumed to be inefficient due to their high expected communication and computation complexitie...
138
Voted
ENTCS
2002
15 years 18 days ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
120
Voted
ICFP
2002
ACM
16 years 22 days ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...