Microsoft Research Downloads Web Feed
Microsoft Research Downloads Sun Jan 24 11:49:01 EST 2010 Home: http://research.microsoft.com/apps/dp/dl/downloads.aspx Feed: http://research.microsoft.com/rss/downloads.xml TLA Toolbox - Mac 64-bit TLA Toolbox - Mac 32-bit TLA Toolbox - Linux 64-bit TLA Toolbox - Linux 32-bit TLA Toolbox - Windows 64-bit TLA Toolbox - Windows 32-bit CodeContract Tools Pex - Automated Whitebox Testing for .NET TLA Toolbox Z3 SCARF: A Segmental CRF Speech-Recognition Tool Kit Dminor Bulk-Synchronous GPU Programming Compiler Fine: A Type-Preserving Compiler for End-to-End Security Verification Chemistry Add-in for Word 2007 ORTC Sample Code Dryad and DryadLINQ Academic Release Broom Tool Kit to Unbias Network Measurements Infer.NET 2.3 Project Trident: A Scientific Workflow Workbench