Microsoft Research

Over the past few years, Denial of Service (DoS) attacks have emerged as a serious vulnerability for almost every Internet service.

In recent years, there has been a lot of interest in applying ubiquitous computing technology in the home, looking at improving the lives of the home occupants.

Over the past decade and a half, considerable time and money has been invested in the realization of ubiquitous computing.

We present a novel framework for defining memory models in terms of two properties: thread-local Instruction Reordering axioms and Store Atomicity (SA), which describes inter-thread communication

The Cornell project is creating tools for research on social and information networks based on a largely untapped dataset: the Internet Archive's 40-billion page collection of Web pages.

Microsoft Research – 6 сентября 2016, 6:26

Designing optimizing compilers is a black art. Compiler writers are expected to create effective and inexpensive solutions to NP-hard problems such as instruction scheduling and register allocation.

Today's wireless LAN deployments are limited to providing communication between mobile clients and access points.

Internet distance prediction provides proximity information without extensive network probings.

Bob and Greg will be at Microsoft discussing their new book on Microsoft Research's Asia Lab.

For the past 15 years microprocessor performance has largely been driven by improvements in clock frequency, which has doubled every two years.

Decision procedures exists for many specialized logical domains as well as for many data structures frequently appearing in programs.

Software systems of today are pervasive, increasingly complex, and error prone.

Software errors cost the US economy billions of dollars each year. According to reasonable estimates, a third of the cost can be saved through the use of enhanced tools for software quality.

As broadband Internet becomes widely available, Peer-to-Peer (P2P) applications over the Internet become increasingly popular.

Structured prediction is a fundamental machine learning task involving classification or regression in which the output variables are mutually dependent or constrained.

The PC and Internet are not that big a deal.  The truth is that a new technology is not inevitable, technology change is not exponential, and the PC and Internet are no more important to society

Data transmissions in Wireless Local Area Networks (WLANs) often suffer from corruptions that arise from the notoriously complex and time-varying signal propagation characteristics of the wireless

Many of today's most exciting distributed systems are large-scale and highly decentralized networks, such as peer-to-peer networks, wireless ad hoc networks, or the Internet.

Due to the size of the World Wide Web, it is necessary to develop tools for automatic or semi-automatic analyses of web data, such as finding patterns and implicit information in the web, a task

Sometime this century the day will arrive when the human influence on the climate will overwhelm all other natural factors.

People like to look at images and interact with them.

Monitoring any portion of the Internet address space reveals incessant activity.

The ubiquity of wireless networks has led to massive efforts to understand and improve wireless network performance, and to leverage wireless technology to provide exciting new applications to users.

A vast majority of current software is written in weakly typed languages such as C and C++.

Internet malware remains a top threat to the Internet today, as clearly demonstrated by the recent large-scale Internet worm outbreaks (e.g., the MSBlaster worm in 2003 and the Sasser worm in 2004).

Cohomology, in particular counting Betti numbers, was a known technique in algebraic complexity theory in the late 1970's and early 1980's.

In this talk I will describe two design problems in areas of chemistry and computer science which yield themselves to machine learning techniques.

Structured classification deals with a family of problems where a response variable possessing meaningful internal structure has to be predicted from a set of input variables.

Over the last 50 years there have been dramatic changes in the way we communicate at work. Information and other people are easier to access than ever before.