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

Microsoft research index cards 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 index cards in Description

Card 2000

Card 2000

Microsoft Cardfile with more features, power and capability. Easily store, organize and retrieve personal information in an index card style. A multi-purpose utility, useful for contacts, recipes, passwordsand mailing lists.

  • Publisher: AS-Pro Software
  • Last updated: April 27th, 2008
ClipViewer

ClipViewer

ClipViewer is a powerful clipboard extender. Support Clipboard formats: Plain Text,Rich Text,Bitmap,Files, Folders,HTML (Web pages). The program is intended for previewing and editing the information copied into the Windows Clipboard.Features according to the format:Plain Text:- Edit & copy back to the clipboard. - Convert between low and upper case.

  • Publisher: PatilanSoft Software
  • Last updated: May 27th, 2020
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.

WriteWay

WriteWay

This program allows you to keep track of your writting work. You can import the files you already have, or create your new book from scratch using the program's templates. The program has asample book that allows you to familiarize with the different features of the application. The shareware version only works during 30 days and has several other limitations.

ICP100

ICP100

After a bus scan, all connected modules are shown clearly regardless of the baud rate. Four index cards provide a good overview and quick, intuitive use of the software. Complete configuration and storage in a file is possible even without modules connected in the offline mode. ICP 100 is an integral part of the test.commander however can also be run as a stand-alone program.

  • Publisher: Gantner Instruments Test & Measurement GmbH
  • Last updated: August 13th, 2011

Additional Microsoft research index cards 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.

  • Publisher: Microsoft Corporation
  • Last updated: July 3rd, 2012
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 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.

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.

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.

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.

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.

Metalogic Finance Explorer

Metalogic Finance Explorer

Metalogic Finance Explorer is a free program that allows you to manage your personal finances. You can add and manage several types of accounts including bank, cash, and credit using this program. Transactions can be imported from your bank in Microsoft Money (OFX), Intuit Quicken (both QFX and QIF), and OFC formats.

  • Publisher: Metalogic Software
  • Last updated: May 27th, 2020