Sciweavers

2473 search results - page 170 / 495
» The Logic of Communication Graphs
Sort
View
97
Voted
ICCCN
1997
IEEE
15 years 7 months ago
An API for Scalable Reliable Multicast
Most approaches to scalable reliable multicast utilize receiver-oriented retransmissions. Defining an API for receiver-oriented reliable multicast is difficult because it is not c...
Jim Gemmell, Jörg Liebeherr, Dave Bassett
134
Voted
ICFP
2007
ACM
16 years 3 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
154
Voted
IWCMC
2009
ACM
15 years 8 months ago
Graph coloring based physical-cell-ID assignment for LTE networks
Autoconfiguration of the radio parameters is a key feature for next generation mobile networks. Especially for LTE the NGMN Forum has brought it up as a major requirement. It is ...
Tobias Bandh, Georg Carle, Henning Sanneck
132
Voted
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 3 months ago
Open Graphs and Monoidal Theories
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
Lucas Dixon, Aleks Kissinger
103
Voted
SAC
2006
ACM
15 years 9 months ago
Evaluating unstructured peer-to-peer lookup overlays
Unstructured peer-to-peer lookup systems incur small constant overhead per single join or leave operation, and can easily support keyword searches. Hence, they are suitable for dy...
Idit Keidar, Roie Melamed