Discarte: A disjunctive internet cartographer

Computer Communication Review

Volumn 38, Issue 4, 2008, Pages 303-314

  Sherwood, Rob ^a   Bender, Adam ^a   Spring, Neil ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Alias resolution; Discarte; Disjunctive logic programming; Network topology discovery; Record route

Indexed keywords

ALIAS RESOLUTION; DISCARTE; DISJUNCTIVE LOGIC PROGRAMMING; NETWORK TOPOLOGY DISCOVERY; RECORD ROUTE;

COMPUTER PROGRAMMING LANGUAGES; CONVOLUTIONAL CODES; ELECTRIC NETWORK TOPOLOGY; INTERNET; INTERNET PROTOCOLS; LOGIC PROGRAMMING;

ROUTERS;

EID: 65249173357     PISSN: 01464833     EISSN: 01464833     Source Type: Conference Proceeding    
DOI: 10.1145/1402946.1402993     Document Type: Conference Paper

References (46)

1. Abilene router configurations. http://pea.grnoc.iu.edu/Abilene.
2. D. G. Andersen, H. Balakrishnan, M. F. Kaashoek, and R. Morris. Resilient overlay networks. In SOSP, 2001.
3. B. Augustin, et al. Avoiding traceroute anomalies with Paris traceroute. In IMC, 2006.
4. R. P. Bonica, D.-H. Gan, and D. C. Tappan. ICMP extensions for multiprotocol label switching. Internet Draft (work in progress): draft-ietf-mpls-icmp-05, 2006.
5. F. Calimeri, W. Faber, N. Leone, and G. Pfeifer. Pruning operators for disjunctive logic programming systems. Fundamenta Informaticae, 71(2-3):183-214, 2006.
6. Personal e-mail from Cisco engineers.
7. k. claffy, T. E. Monk, and D. McRobb. Internet tomography. Nature, Weh Matters, 1999. http://www.nature.com/nature/webmatters/to.mog/tom.og.html.
8. http://www.dbai.tuwi.en.ac.at/proj/dlv/examples/3col.
9. M. Faloutsos, P. Faloutsos, and C. Faloutsos. On power-law relationships of the Internet topology. In ACM SIGCOMM, 1999.
10. L. Gao and F. Wang. The extent of AS path inflation by routing policies. In IEEE GLOBECOM, vol. 3, 2002.
11. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, 1979.
12. R. Govindan and H. Tangmunarunkit. Heuristics for Internet map discovery. In INFOCOM, 2000.
13. Graphviz. http://www.graphviz.org.
14. M. H. Gunes and K. Sarac. Analytical IP alias resolution. In IEEE International Conference on Communications (ICC), 2006.
15. N. Hu, O. Spatscheck, J. Wang, and P. Steenkiste. Locating Internet bottlenecks: Algorithms, measurements, and implications. In ACM SIGCOMM, 2004.
16. C. Jin, Q. Chen, and S. Jamin. Inet: Internet topology generator. Tech. Rep. CSE-TR-433-00, University of Michigan, EECS dept., 2000. http://topology.eecs.umi.ch.edu/inet/.inet-2.0.pdf.
17. E. Katz-Bassett, et al. Towards IP geolocation using delay and topology measurements. In IMC, 2006.
18. A. Laknina, J. Byers, M. Crovella, and P. Xie. Sampling biases in IP topology measurements. In INFOCOM, 2003.
19. N. Leone, et al. The DLV system for knowledge representation and reasoning. ACM Trans. Computational Logic, 7(3):499-562, 2006.
20. M. Litzkow, M. Livny, and M. Mutka. Condor: A hunter of idle workstations. In ICDCS, 1988.
21. H. V. Madhyastha, et al. iPlane: An information plane for distributed services. In OSDI, 2006.
22. P. Mahadevan, D. Kriokov, K. Fall, and A. Vahdat. Systematic topology analysis and generation using degree correlations. In SIGCOMM, 2006.
23. R. Mahajan, N. Spring, D. Wetherall, and T. Anderson. Inferring link weights using end-to-end measurements. In IMW, 2002.
24. Z. M. Mao, J. Rexford, J. Wang, and R. Katz. Towards an accurate AS-level traceroute tool. In ACM SIGCOMM, 2003.
25. A. Medina, I. Matta, and J. Byers. BRITE: A flexible generator of Internet toplogies. Tech. Rep. BU-CS-TR-2000-005, Boston University, 2000.
26. D. Meyer. University of Oregon Route Views project. http://www. routeviews.org/.
27. A. Nakao, L. Peterson, and A. Bavier. A routing underlay for overlay networks. In ACM SIGCOMM, 2003.
28. V. N. Padmanabhan, L. Qiu, and H. J. Wang. Passive network tomography using Bayesian inference. In IMW, 2002.
29. J.-J. Pansiot and D. Grad. On routes and multicast trees in the Internet. ACM CCR, 28(1):41-50, 1998.
30. V. Paxson. End-to-end routing behavior in the Internet. IEEE/ACM Transactions on Networking, 5(5):601-615, 1997.
31. V. Paxson. Strategies for sound Internet measurement. In IMC, 2004.
32. L. Peterson, T. Anderson, D. Culler, and T. Roscoe. A blueprint for introducing disruptive technology into the Internet. In HotNets, 2002.
33. J. Postel, editor. Internet protocol. IETF RFC-791, 1981.
34. F. Ricca, W. Faber, and N. Leone. A backjumping technique for disjunctive logic programming. The European Journal on Artificial Intelligence, 19(2): 155-172, 2006.
35. E. C. Rosen, A. Viswanathan, and R. Callon. Multiprotocol, label switching architecture. IETF RFC-3031, 2001.
36. S. Savage, et al. The end-to-end effects of Internet path selection. In ACM SIGCOMM, 1999.
37. R. Sherwood and N. Spring. A platform for unobtrusive measurement on PlanetLab. In. USENIX Workshop on Real, Large Distributed Systems (WORLDS), 2006.
38. R. Sherwood'and N. Spring. Touring the Internet in a TCP sidecar. In IMC, 2006.
39. N. Spring, R. Mahajan, and T. Anderson. Quantifying the causes of path inflation. In ACM SIGCOMM, 2003.
40. N. Spring, R. Mahajan, and D. Wetherall. Measuring ISP topologies with Rocketfuel. In ACM SIGCOMM, 2002.
41. N. Spring, D. Wetherall, and T. Anderson. Scriptroute: A public Internet measurement facility. In USITS, 2003.
42. J. Strauss, D. Kitabi, and F. Kaashoek. A Measurement Study of Available Bandwidth Estimation Tools. In IMC, 2003.
43. H. Tangmunarunkit, R. Govindan, and S. Shenker. Internet path inflation due to policy routing. In SPIEITCOM Workshop on Scalability and Traffic Control in IP Networks, vol. 4526, 2001.
44. R. Teixeira, K. Marzullo, S. Savage, and G. Voelker. In search of Eath diversity in ISP networks. In IMC, 2003.
45. Yao, R. viswanathan, F. Chang, and D. Waddington. Topology inference in the presence of anonymous routers. In INFOCOM, 2003.
46. E. W. Zegura, K. Calvert, and S. Bhattacharjee. How to model an internetwork. In INFOCOM, 1996.