Zobrazeno 1 - 10
of 215
pro vyhledávání: '"Simon S. Lam"'
Autor:
Hongkun Yang, Simon S. Lam
Publikováno v:
IEEE/ACM Transactions on Networking. 25:2900-2915
Packet transformers are widely used in ISPs, datacenter infrastructures, and layer-2 networks. Existing network verification tools do not scale to large networks with transformers (e.g., MPLS, IP-in-IP, and NAT). Toward scalable verification, we conc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87691353be038d14e9d82eafcbc48474
https://doi.org/10.1109/tnet.2017.2720172
https://doi.org/10.1109/tnet.2017.2720172
Autor:
Chen Qian, Simon S. Lam
Publikováno v:
IEEE/ACM Transactions on Networking. 24:2100-2113
Greedy routing has been applied to both wireline and wireless networks due to its scalability of routing state and resiliency to network dynamics. In this work, we solve a fundamental problem in applying greedy routing to networks with arbitrary topo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::147f3d8155b572310fac22747dd0c82e
https://doi.org/10.1109/tnet.2015.2449762
https://doi.org/10.1109/tnet.2015.2449762
Autor:
Hongkun Yang, Simon S. Lam
Publikováno v:
ICNP
Network management will benefit from automated tools based upon formal methods. Several such tools have been published in the literature. We present a new formal method for a new tool, Atomic Predicates (AP) Verifier, which is much more time and spac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d47a2084de0b341ef8e11a41e580998b
https://doi.org/10.1109/tnet.2015.2398197
https://doi.org/10.1109/tnet.2015.2398197
Autor:
Chen Qian, Simon S. Lam
Publikováno v:
IEEE/ACM Transactions on Networking. 24:231-244
We present the architecture and protocols of ROME, a layer-2 network designed to be backwards-compatible with Ethernet and scalable to tens of thousands of switches and millions of end-hosts. Such large-scale networks are needed for emerging applicat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b094c13fe45693899796bac988caafe7
https://doi.org/10.1109/tnet.2014.2361773
https://doi.org/10.1109/tnet.2014.2361773
Autor:
Chen Qian, Simon S. Lam
Publikováno v:
SIGMETRICS
Almost all geographic routing protocols have been designed for 2-D. We present a novel geographic routing protocol, named Multihop Delaunay Triangulation (MDT), for 2-D, 3-D, and higher dimensions with these properties: 1) guaranteed delivery for any
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2465f519ef5d17a8a038a0f3f024987
https://doi.org/10.1109/tnet.2012.2214056
https://doi.org/10.1109/tnet.2012.2214056
Publikováno v:
CoNEXT
Identifying the network-wide forwarding behaviors of a packet is essential for many network management applications, including rule verification, policy enforcement, attack detection, traffic engineering, and fault localization. Current tools that ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6541e4347eca69c4de0a08f7af8ec34
https://doi.org/10.1145/2716281.2836095
https://doi.org/10.1145/2716281.2836095
Publikováno v:
IEEE/ACM Transactions on Networking. 18:761-774
Routing protocols for large wireless networks must address the challenges of reliable packet delivery at increasingly large scales and with highly limited resources. Attempts to reduce routing state can result in undesirable worst-case routing perfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0880ecc86bf3defc3eba7ede89e4cc35
https://doi.org/10.1109/tnet.2010.2046645
https://doi.org/10.1109/tnet.2010.2046645
Publikováno v:
ACM SIGMOBILE Mobile Computing and Communications Review. 11:3-14
Determining the physical location of wireless nodes is important to a wide variety of applications. In this paper, we propose a series of probabilistic region-based localization algorithms, including using static grids, segments of grids, and dynamic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a12fa8ca1386b7da8edee220b4f0ce81
https://doi.org/10.1145/1234822.1234826
https://doi.org/10.1145/1234822.1234826
Autor:
Huaiyu Liu, Simon S. Lam
Publikováno v:
Computer Networks. 50:3083-3104
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured p2p networks. We confine our study to the hypercube routing scheme use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f885b41ac2ccd1f2d9e8d13c8edfba4
https://doi.org/10.1016/j.comnet.2005.12.009
https://doi.org/10.1016/j.comnet.2005.12.009
Autor:
Simon S. Lam, Nishanth Sastry
Publikováno v:
IEEE/ACM Transactions on Networking. 13:330-342
This work presents a comprehensive theoretical framework for memoryless window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive a necessary and sufficient condition for stepwise convergence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5882950dee98aad17f7dd690a3f79ade
https://doi.org/10.1109/tnet.2005.845545
https://doi.org/10.1109/tnet.2005.845545