Microsoft Technology Licensing, LLC

Amazon Technologies, Inc.

Hewlett-packard Development Company, L.p.

Mark Rogers Tuttle

David Bruce Lomet

Neha Rungta

John Byron Cook

Carsten Varming

Sean McLaughlin

Michael Tautschnig

Juan Rodriguez Hortala

Serdar Tasiran

Andrea Nedic

Brent Keeth

Terry R Lee

John Frederic Schreck

Eytan Adar

Mark J Hiatt

Rahul Advani

Boaz Patt-Shamir

Some embodiments include apparatus, systems, and methods having a base, a first die, a second arranged in a stacked with the first die and the base, and a structure located in the stack and outside at least one of the first and second dice and configured to transfer signals between the base and at least one of the first and second dice.

Signal delivery in stacked device

A method for verifying source code for a program includes determining that a new version of the source code is available. One or more verification tools are determined to use for verification of the new version of the source code from a verification specification associated with the source code. A plurality of verification tasks to perform for the verification of the new version of the source code are automatically determined from the verification specification associated with the source code. The plurality of verification tasks for the new version of the source code are automatically performed using the one or more verification tools. A determination is then made as to whether the new version of the source code is verified.

Automated software verification service

Computer method and apparatus for collaborative web search operate in an intranet with non-existent or defective link structure. A search engine produces an initial search result list in response to a user query. A list optimizer reranks pages on the initial list based on implicit user recommendation or endorsement of pages. A last click heuristic defines user endorsement of a page. To form the final result list, the list optimizer scores each page according to reranking, a textual match (or information retrieval score) of the page with the query and an adjustment value.

Computer method and apparatus for collaborative web searches

Logical logging to extend recovery is described. In one aspect, a dependency cycle between at least two objects is detected. The dependency cycle indicates that the two objects should be flushed simultaneously from a volatile main memory to a non-volatile memory to preserve those objects in the event of a system crash. One of the two objects is written to a stable of to break the dependency cycle. The other of the two objects is flushed to the non-volatile memory. The object that has been written to the stable log is then flushed to the stable log to the non-volatile memory.

Logical logging to extend recovery

This invention concerns a database computer system and method for making applications recoverable from system crashes. The application state (i.e., address space) is treated as a single object which can be atomically flushed in a manner akin to flushing individual pages in database recovery techniques. To enable this monolithic treatment of the application, executions performed by the application are mapped to logical loggable operations that can be posted to the stable log. Any modifications to the application state are accumulated and the application state is periodically flushed to stable storage using an atomic procedure. The application recovery integrates with database recovery, and effectively eliminates or at least substantially reduces the need for check pointing applications. In addition, optimization techniques are described to make the read, write, and recovery phases more efficient. Atomic flush sets, whether generated from cyclic flush dependencies or otherwise, can be broken apart. This enables an ordered flushing sequence of first flushing a first object and then flushing a second object, rather than having to flush both the first and second objects simultaneously and atomically.

Database computer system using logical logging to extend recovery

Growing community of inventors

Arlington, MA, United States of America

Mark Rogers Tuttle