Tilera Corporation

Mellanox Technologies, Ltd.

Mathew Hostetter

Kenneth M Steele

Anant Agarwal

Richard Schooler

Chyi-Chang Miao

Patrick Robert Griffin

Vijay K Aggarwal

Mark B Rosenbluth

Carl Ramey

Matthew Mattina

David M Wentzlaff

Ian Rudolf Bratt

Christopher J Jackson

Bruce Edwards

Christopher D Metcalf

Liewei Bao

Shane Bell

Vineet Soni

John A Amann

Richard Conlin

Ben Harrison

Kevin Joyce

Christine Deignan

A computing system comprises one or more cores. Each core comprises a processor. In some implementations, each processor is coupled to a communication network among the cores. In some implementations, a switch in each core includes switching circuitry to forward data received over data paths from other cores to the processor and to switches of other cores, and to forward data received from the processor to switches of other cores.

Computing in parallel processing environments

A method for processing data for pattern matching includes: receiving a first sequence of data values; and generating a second sequence of data values based on the first sequence and one or more patterns and history of data values in the first sequence, wherein the second sequence has fewer data values than the first sequence and all subsequences in the first sequence that match at least one of the one or more patterns are represented in the second sequence.

Pattern matching

The present invention relates to a method, system, and computer program product for performing a computer program analysis. The computer program includes a plurality of instructions. The method performs a static analysis of the computer program to compute the states of a stack pointer (SP), a frame pointer (FP), and a link register (LR) at one or more instructions of the program. The static analysis is preferably performed at compile time. Further, the method computes the states of the SP, the FP, and the LR at the instructions as determined by a dynamic analysis, wherein the dynamic analysis is preferably modeled (performed) during the static analysis. Furthermore, the states determined by the static analysis and the dynamic analysis are compared. If a discrepancy is found between the two states, metadata (information operators) is inserted into the program.

Method and system for stack back-tracing in computer programs

Growing community of inventors

Jamaica Plain, MA, United States of America

Mathew Hostetter