Microsoft Technology Licensing, LLC

Mao Yang

Lintao Zhang

Hui Shen

Chad P Walters

Ying Yan

Xiao Wu

Xiaosong Yang

Zhenyu Zhao

Choong Soon Chang

Jian Tang

Lidong Zhou

Feng-Hsiung Hsu

Xuezheng Liu

Ningyi Xu

Zhenyu Guo

Bojun Huang

JunFeng Yang

Zenglin Xia

Lang Zong

Subject matter described herein includes a multi-layer search-engine index. Accordingly, the search-engine index is divided into multiple indexes, each of which includes a respective set of information used to serve (i.e., respond to) a query. One index includes a term index, which organizes a set of terms that are found among a collection of documents. Another index includes a document index, which organizes a set of documents that are searchable. A computing device is used to serve the search-engine index (i.e., to analyze the index when identifying documents relevant to a search query). For example, a solid-state device might be used to serve the multi-layer search-engine index.

Multi-layer search-engine index

Architecture that performs incremental computing for web searches by employing methods at least for storing the results of repeat queries on unchanged webpages and for computing results for the repeated queries. The architecture includes one or more algorithms for pre-computing query results on index servers, for only selectively choosing index servers whose result for a query change for a query computation process, and for re-using the unchanged web pages stored in the cache and computing results upon changed index and unchanged index separately.

Incremental computing for web search

A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.

Distributed system checker

Growing community of inventors

Beijing, China

Mao Yang