NS-2 Simulator
This is a port of the NS-2 simulator version 2.1b9 to Windows. Last published: July 26, 2002.
An index of datasets, SDKs, APIs and other open source code created by Microsoft researchers and shared with the broader academic community. We also maintain a collection highlighting some of the tools you’ll find here.
This is a port of the NS-2 simulator version 2.1b9 to Windows. Last published: July 26, 2002.
Validity checker for a spatial logic, as described in the paper “Deciding Validity in a Spatial Logic for Trees” by Calcagno, Cardelli, and Gordon. Last published: July 16, 2002.
In a distributed system, shared data is replicated. Updates cause replicas to diverge. Reconciliation repairs the divergence. IceCube is a general-purpose reconciliation engine, parameterised by the semantics of shared data and by the users’ declared…
Generate an application bitstream from parsing a master bitstream and a companion file. Last published: May 22, 2002.