Products of Microsoft Research

Ma+-ana Mail 1.1.0.13 Microsoft Research 

Internet \ Misc. Internet

Mañana Mail is a useful Outlook add-in that was designed in order to help you enhance the functionality of your e-mail client by adding a scheduling component. This takes just one click. Free download of Ma+-ana Mail 1.1.0.13, size 0 b.


   
 

Kinect in the Browser 1.0.0.6 Microsoft Research 

Development \ Misc. Dev. Tools

Kinect in the Browser is a useful component that was especially designed to help you develop web apps using JavaScript right from your browser. . Free download of Kinect in the Browser 1.0.0.6, size 0 b.

TLA+ Tools 2.1.4 Microsoft Research 

Development \ Misc. Dev. Tools

TLA+ Tools is a useful collection of utilities and components that includes a program for typesetting TLA+ specifications, a simulator and model checker addressing a subclass of "executable" TLA+ specifications. Inside the TLA+ Tools package you can also find a PlusCal to TLA+ translation utility, a syntax checker for TLA+. Free download of TLA+ Tools 2.1.4, size 0 b.

TLA Toolbox 1.4.4 Microsoft Research 

Development \ Misc. Dev. Tools

TLA+ is a specification language that is designed to help in the creation of high-level specifications for both distributed and concurrent systems. . Free download of TLA Toolbox 1.4.4, size 0 b.

JPEG XR Plug-In for Adobe Photoshop 1.0 Microsoft Research 

Multimedia \ Misc. Graphics

JPEG XR Plug-In for Adobe Photoshop is a useful add-on that was designed to provide you with a means of extending the range of supported formats for your Photoshop installation. Once JPEG XR Plug-In for Adobe Photoshop is installed, you will be able to load, edit and save images in this particular high definition image file format.

Microsoft Research Accelerator 2.2 Preview Release 3 Microsoft Research 

Development \ Misc. Dev. Tools

Microsoft Accelerator was developed to be a high-level data parallel library which uses a DirectX 9 graphics processor (GPU) to accelerate code execution. It is designed to allow easy development of array-processing operations such as those which frequently arise in domains like image processing and scientific computing. Most modern. Free download of Microsoft Research Accelerator 2.2 Preview Release 3, size 0 b.

Sora SDK 1.8.0 Microsoft Research 

Development \ Misc. Dev. Tools

Sora SDK is a Software Defined Radio platform development toolkit that is especially aimed at those interested in the creation of a wireless platform. . Free download of Sora SDK 1.8.0, size 0 b.

FaST-LMM-Set 1.00 Microsoft Research 

Multimedia \ Misc. Graphics

FaST-LMM-Set is a software that was designed to provide a means of managing phenotype and sets of variants associations. . Free download of FaST-LMM-Set 1.00, size 0 b.

SymDiff 1.0 Microsoft Research 

Development \ Misc. Dev. Tools

SymDiff is a useful application that aims to provide developers with a means of performing comparisons between applications compiled with Microsoft C Compiler. . Free download of SymDiff 1.0, size 0 b.

Microsoft Research Mood Board 1 Microsoft Research 

Multimedia \ Misc. Graphics

Microsoft Research Mood Board is a useful application that encourages creative activities by providing a simple means of finding images and stitching them together in a collage. With Microsoft Research Mood Board you can find digital pictures using Bing's dedicated image search function, add the images to the editing area and move them. Free download of Microsoft Research Mood Board 1, size 0 b.

Management of Access Control in the Enterprise 1.0.0 Microsoft Research 

Internet \ Server

Management of Access Control in the Enterprise is a handy utility that is aimed at system admins. The purpose of the application is to facilitate data collection and it can target one or more servers. . Free download of Management of Access Control in the Enterprise 1.0.0, size 0 b.

Microsoft SLAyer 1.0 Microsoft Research 

Development \ Misc. Dev. Tools

<p>SLAyer (Separation Logic Analyzer) is a memory safety checker designed to verify that its input C code doesn't deference dangling pointers, do double frees, nor leak memory. To run on a test, say cleanup_isochresourcedata_remove_head_list.c that mallocs and then frees a. Free download of Microsoft SLAyer 1.0, size 0 b.

Project Hawaii SDK 2.1 Microsoft Research 

Development \ Misc. Dev. Tools

Project Hawaii SDK is a useful toolkit that contains all the needed utilities and services developers need to build apps for Windows Phone.

Z3-2.12 2 1 Microsoft Research 

Utilities

Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme. - Enable check_assumptions without enclosing push/pop. This. Freeware download of Z3-2.12 2 1, size 27.99 Mb.

Joulemeter 1 2 Microsoft Research 

Utilities

Joulemeter can be used for gaining visibility into energy use and for making several power management and provisioning decisions in data centers, client computing, and software design. Joulemeter estimates the energy usage of a VM, computer, or software by measuring the hardware resources (CPU, disk, memory, screen etc) being used and converting. Freeware download of Joulemeter 1 2, size 0 b.