Michelle Leger

US Patent:

7882429, Feb 1, 2011

Filed:

Jun 5, 2007

Appl. No.:

11/758050

Inventors:

Abraham Heifets - Cambridge MA, US
Margaret G. Kostoulas - Veroia, GR
Michelle Anastasia Leger - Edgewood NM, US
Moshe Morris Emanuel Matsa - Cambridge MA, US
Eric Perkins - Boston MA, US
Daniel Pinto de Mello e Silva - Bradenton FL, US

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 17/00

US Classification:

715237, 715200, 715234, 717118

Abstract:

A computer-implemented method of processing an Extensible Markup Language (XML) document can include loading an execution plan into a virtual machine, wherein the execution plan represents an XML schema, and loading an XML document into the virtual machine. XML processing functions available within the virtual machine can be selectively invoked according to the execution plan, wherein the XML processing functions operate upon the XML document. An indication of whether the XML document is valid according to the XML processing functions can be output.

US Patent:

8250507, Aug 21, 2012

Filed:

Oct 21, 2010

Appl. No.:

12/909521

Inventors:

Anant Agarwal - Weston MA, US
Michelle Leger - Edgewood NM, US

Assignee:

Massachusetts Institute of Technology - Cambridge MA

International Classification:

G06F 17/50

US Classification:

716110

Abstract:

A system comprises a plurality of computation units interconnected by an interconnection network. A method for configuring the system comprises accepting a set of instructions corresponding to a portion of a program that performs a computation repeatedly; identifying subsets of the instructions; and associating each subset with a different one of the computation units to form a specification of the set of instructions such that execution according to the specification forms a pipeline among at least some of the computation units.

US Patent:

20080189690, Aug 7, 2008

Filed:

Feb 1, 2007

Appl. No.:

11/670099

Inventors:

Abraham Heifets - Cambridge MA, US
Margaret Gaitatzes Kostoulas - Veria, GR
Michelle A. Leger - Edgewood NM, US
Moshe E. Matsa - Cambridge MA, US
Eric Perkins - Boston MA, US
Daniel Pinto de Mello e Silva - Bradenton FL, US

Assignee:

INTERNATIONAL BUSINESS MACHINES CORPORATION - Armonk NY

International Classification:

G06F 9/45

US Classification:

717147

Abstract:

A method for constructing and executing an XCodes execution plan stored in a self-contained, platform-independent format, the method comprising: providing a plurality of Extensible Markup Language (XML) documents each having content, structure, and a plurality of instruction; identifying a language in which the content of the plurality of XML documents is written; converting the language to a set of abstract, platform-independent instructions (XCodes) representing the structure of the plurality of the XML documents, via a compilation step; converting the set of abstract, platform-independent instructions (XCodes) to a highly optimized, platform-specific form via a loading process; mandating an instruction-space allocation; allowing one or more extension instruction into the XCodes execution plan; setting symbolic references to the one or more extension instructions; ignoring the one or more extension instructions having the symbolic references; and constructing implementation-specific tables.

US Patent:

7840914, Nov 23, 2010

Filed:

May 15, 2006

Appl. No.:

11/433989

Inventors:

Anant Agarwal - Weston MA, US
Michelle Leger - Edgewood NM, US

Assignee:

Massachusetts Institute of Technology - Cambridge MA

International Classification:

G06F 17/50

US Classification:

716 1, 716 2, 716 16

Abstract:

A system comprises a plurality of computation units interconnected by an interconnection network. A method for configuring the system comprises accepting a set of instructions corresponding to a portion of a program that performs a computation repeatedly; identifying subsets of the instructions; and associating each subset with a different one of the computation units to form a specification of the set of instructions such that execution according to the specification forms a pipeline among at least some of the computation units.