TRAFFIC (Typed Representation and Analysis of Flows For Interoperability Checks) is a domain specific language that facilitates specification, programming, and maintenance of distributed applications over a network. TRAFFIC abstracts low-level properties of network elements using types at their input/output interfaces. These types are derived from various compositional analysis techniques, e.g. network calculus, control theory, etc.
![]()
APM (Adaptive Policy Management) is a probabilistic feedback control system for resolving policy conflicts among independent control entities. The concept is applied to the Border Gateway Protocol (BGP) employed in the Internet to exchange reachability information among Autonomous Systems.
![]()
itmBench is a Linux-based prototype for an interface that allows users (e.g. network managers, service providers, or experimental researchers) to register different traffic control functionalities to run on one machine or an overlay of machines. This software is a product of the Internet Traffic Managers NSF-funded project. Click here for more information.
![]()
SaTS is a size-aware scheduler for TCP flows (more generally, congestion-responsive flows). The scheduler gives priority to short TCP flows (and the first few bytes of long TCP flows) inside the network. The prototype implementation is built over the Linux netfilter API. This Linux code, together with ns-2 simulation code, are available here. This software is a product of the Internet Traffic Managers NSF-funded project.
![]()
Stable Election Protocol for clustered wireless sensor networks
![]()
Density Inference Protocol for wireless sensor networks
![]()
Click here for more information.
![]()
SIMD (Square-Increase/Multiplicative-Decrease) is one instance of a new spectrum of TCP-friendly window-based congestion control algorithms. This spectrum explores a new design space between memory-less window controls and equation-based controls which use more history. These stateful controls exhibit much better transient behavior such as better responsiveness to bandwidth changes and better convergence-to-fairness.
Click here for the ns-2 implementation of SIMD.
![]()
Here is the README file and MaRS software. It's best to run this version on Sparc/SunOS or DEC Alpha/ULTRIX.
Here is a Solaris version,and a Linux version (tested on RedHat Linux 6.x (kernel 2.2.x, XFree86 3.3.x) with LessTif) - thanks to Dario Accornero.
For a list of papers using MaRS, including user and programmer manuals, click here or check this ftp site.
![]()
Click here for more information.
![]()
|
| WTCP uses timeout and duplicate acknowledgment to retransmit lost data |
|
| WTCP uses efficient flow control for the wireless link |
|
| WTCP maintains end-to-end TCP semantics |
|
| WTCP effectively hides the time spent by the base station for local recovery so that TCP's round trip time estimation at the source is not affected. This is critical since otherwise the ability of the source to effectively detect congestion in the wireline network is hindered. |
![]()
| QDMR guarantees that a feasible multicast tree (that satisfies the requested delay) will be found if such tree exists | |
| This delay-bounded multicast tree is very rapidly generated | |
| The tree produced by QDMR has low cost |
Click here for QDMR code.
![]()