Podnova Player  Windows library  Podnova home
License: All
Sort by: Relevance

Microsoft research mesh in Title/Summary

Microsoft Research Mesh Virtual WIFI

Microsoft Research Mesh Virtual WIFI

VirtualWiFi is a virtualization architecture for wireless LAN (WLAN) cards. It abstracts a single WLAN card to appear as multiple virtual WLAN cards to the user. The user can then configure each virtual card to connect to a different wireless network. Therefore, VirtualWiFi allows a user to simultaneously connect his machine to multiple wireless networks using just one WLAN card.

Microsoft Research AutoCollage 2008

Microsoft Research AutoCollage 2008

Microsoft Research AutoCollage is a great tool for creating photo collages. It is part of Microsoft Research, which has produced very good multimedia applications for automatic processing of pictures, like Photosynth. We see a window, where we can insert pictures by browsing a folder, and all you have to do is click the "Create" button.

Microsoft Research Vcc

Microsoft Research Vcc

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct.VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them

Microsoft research mesh in Description

Z3-2.6

Z3-2.6

Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research.

  • Publisher: Microsoft Research
  • Last updated: November 11th, 2011
InkSeine

InkSeine

InkSeine is a prototype ink application from Microsoft Research that it is designed from the ground up to have a user interface uniquely tailored to pen input. The goal of the InkSeine project is to completely rethink the user interface for tablet computers.

Visualization Components

Visualization Components

The Community Technologies group at Microsoft Research has developed a set of components for displaying data in .NET applications. Included in this package are: a treemap. A treemap is a rendering of hierarchical data as a set of nested boxes, where each box corresponds to one data element.

MSBNX MSR Belief Network Tools

MSBNX MSR Belief Network Tools

MSBNx is a component-based Windows application for creating, assessing, and evaluating Bayesian Networks, created at Microsoft Research. The application's installation module includes complete help files and sample networks. Bayesian Networks are encoded in an XML file format. The application and its components run on Windows 98, Windows 2000, and Windows XP.

Microsoft Research Project Colletta

Microsoft Research Project Colletta

Project Colletta is an extension of the Windows UI that supports lightweight management of the user's activities through tagging. By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Free of charge.

Additional Microsoft research mesh selection

Microsoft Research Cliplets

Microsoft Research Cliplets

Microsoft Research Cliplets is an interactive app that gives users the power to create "Cliplets" -- a type of imagery that sits between stills and video, including imagery such as video textures and "cinemagraphs". The app provides a simple, yet expressive way to mix static and dynamic elements from a video clip.

Microsoft WorldWide Telescope

Microsoft WorldWide Telescope

Microsoft WorldWide Telescope is a virtual telescope that lets you browse though the known universe. It can be used at your home, school, or even planetariums. The program provides a comprehensive set of features to help you create seamless displays on single-projector domes or complex, multi-projector domes.

Microsoft Research Formula

Microsoft Research Formula

FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types (ADTs) and strongly-typed constraint logic programming (CLP), which support concise specifications of abstractions and model transformations

Kodu Game Lab

Kodu Game Lab

Create your own game based on the programming language specifically dedicated to generating levels, mechanics, and graphics. Multiple types of visual tools are available for creating and customizing applications for personal computers and the Xbox console line. Debugging features are present.

Chemistry Add-in for Word

Chemistry Add-in for Word

The Chemistry Add-in for Word allows you to insert and modify chemical information (labels, formulas, 2-D depictions, etc.) from within Microsoft Office Word. Also, it allows you to store the chemical information and manipulate it in a semantically-rich manner.

  • Publisher: Microsoft
  • Last updated: August 10th, 2023
HD View

HD View

HD View is a simple and handy plug-in for Internet Explorer and Mozilla Firefox. It allows you to view and manipulate high-definition images. It supports even huge images of billions of pixels, including panoramic ones that cover very wide fields of view.

  • Publisher: Microsoft Research
  • Last updated: July 19th, 2009
Joulemeter

Joulemeter

Joulemeter is a software tool that estimates the power consumption of your computer. It tracks computer resources, such as CPU utilization and screen brightness, and estimates power usage. 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.

  • Publisher: Microsoft Research
  • Last updated: October 4th, 2011
Microsoft Portrait

Microsoft Portrait

Microsoft Portrait is very low bit rate video conferencing software supporting MSN Messenger and Internet Locator Service (ILS) on PCs, Pocket PCs and Handheld PCs. It runs on local area networks, dialup networks and even wireless networks with bandwidths as low as 9.6 kilobits/second.

  • Publisher: Microsoft Research China
  • Last updated: March 30th, 2012
Microsoft NodeXL Excel Template

Microsoft NodeXL Excel Template

NodeXL is a template for Excel 2007 and 2010 that lets you enter a network edge list, click a button, and see the network graph, all in the Excel window. It allows you to customize the graph’s appearance, zoom, scale and pan the graph, filter vertices and edges, alter the graph’s layout, find clusters of related vertices, calculate a set of graph metrics.

  • Publisher: Microsoft Research
  • Last updated: October 20th, 2011
NoReplyAll Outlook Add-In

NoReplyAll Outlook Add-In

NoReplyAll Outlook Add-In is a program that adds a few buttons to the Outlook ribbon to prevent people from replying to all the recipients of your message or forwarding it. It includes a check for common email errors, such as omitting attachments or subject lines.

  • Publisher: Microsoft Research Ltd
  • Last updated: July 9th, 2013