• Graphs

  • Referenced in 109 articles [sw12277]
  • applications may ask shortest-path or distance queries, which should be answered as fast ... fast route planning methods; database and information systems researchers investigate materialization tradeoffs, query processing ... spatial networks, and reachability queries; and theoretical computer scientists analyze distance oracles and sparse spanners ... Related problems are considered for compact routing and distance labeling schemes in networking and distributed...
  • BATON

  • Referenced in 23 articles [sw09436]
  • supporting both exact queries and range queries efficiently. In spite of the tree structure causing ... pair of nodes, we show that sideways routing tables maintained at each node provide sufficient ... nodes, we guarantee that both exact queries and range queries can be answered...
  • CrowdPath

  • Referenced in 1 article [sw07512]
  • graph which is used for answering routing queries. In contrast, CrowdPath directly queries a collection ... significantly reducing travel time compared to routes from common routing providers. In the future, CrowdPath...
  • HyperDB

  • Referenced in 1 article [sw02019]
  • propose a logical full replication query routing technique for extensibility and performance. Note that both...
  • SkipTree

  • Referenced in 2 articles [sw01968]
  • well as single point queries which are routed in O(logn) hops. SkipTree is fully...
  • EpiChord

  • Referenced in 2 articles [sw11774]
  • performance and resilience using a novel reactive routing state maintenance strategy that amortizes network maintenance ... into existing lookups and by issuing parallel queries. Our technique allows us to design ... perform better on average). Our reactive routing state maintenance strategy allows us to maintain large ... routing state with only a modest amount of bandwidth, while parallel queries serve to reduce...
  • ECM

  • Referenced in 1 article [sw22840]
  • dynamic updates, visibility queries, and the computation of paths (indicative routes). par We have implemented...
  • Frenetic

  • Referenced in 7 articles [sw16270]
  • provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control ... network switches. Frenetic provides a declarative query language for classifying and aggregating network traffic...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SPINS

  • Referenced in 49 articles [sw02657]
  • Wireless sensor networks will be widely deployed in...
  • BRITE

  • Referenced in 34 articles [sw03098]
  • BRITE: A Flexible Generator of Internet Topologies. Abstract...