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 package contains standard code for erasure coding and decoding blocks of data, using Reed-Solomon codes over GF(256) [based on diagonalizing Vandermonde matrices]. Last published: January 21, 2003.
An lcc v4.2 backend that emits MSIL. Last published: December 11, 2002.
This demo shows results of parametrizing triangle meshes to support texture mapping at various levels of detail. A texture atlas is constructed that can be re-used on coarse and fine geometries. Examples include the Stanford…
Pan is an experimental embedded language and compiler for image synthesis and manipulation, based on principles from functional programming. Last published: July 29, 2002.
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.
