U.S. Patent No.

Title

Issue Date

7,290,176

Method and System for Generating Stacked Register Dumps From Backing-Store Memory

October 30, 2007

7,216,004

Method and System for Optimization of General Problems

May 8, 2007

7,213,125

Method for Patching Virtually Aliased Pages by a Virtual-Machine Monitor

May 1, 2007

7,203,822

Unprivileged Context Management

April 10, 2007

7,200,734

Operating-System-Transparent Distributed Memory

April 3, 2007

7,127,068 B2

Geographical Comparison System

October 24, 2006

7,123,172

Method and System for Determining an Optimal or Near Optimal Set of Contexts by Constructing a Multi-Directional Context Tree

October 17, 2006

7,111,282

Method and System for Instrumenting a Software Program and Collecting Data from the Instrumented Software Program By Type

September 19, 2006

7,103,473 B2

Method and System for Matching an Incident to a Route

September 5, 2006

7,103,180

Method of Implementing the Data Encryption Standard with Reduced Computation

September 5, 2006

7,073,059

Secure Machine Platform That Interfaces to Operating Systems and Customized Control Programs

July 4, 2006

7,072,723 B2

Method and System for Optimization of General Problems

July 4, 2006

7,051,238 B2

Method and System for Using Machine-Architecture Support to Distinguish Functions and Routine Return Values

May 23, 2006

7,007,143 B2

Method and System for Providing Logically Consistent Logical Unit Backup Snapshots Within One or More Data Storage Devices

February 28, 2006

6,978,418 B1

Dynamic-Adaptive Client-Side Image Map

December 20, 2005

6,931,515B2

Method and System For Using Dynamic, Deferred Operation Information to Control Eager Deferral of Control-Speculative Loads

August 16, 2005

6,895,533

Method and System for Assessing Availability of Complex Electronic Systems, Including Computer Systems

May 17, 2005

6,895,491 B2

Memory Addressing for a Virtual Machine Implementation on a Computer Processor Supporting Virtual Hash-Page-Table Searching

May 17, 2005

6,779,040 B1

Method and System for Serving Data Files Compressed in Accordance with Tunable Parameter

August 17, 2004

6,772,372 B2

System and Method for Monitoring Unaligned Memory Accesses

August 3, 2004

6,745,307 B2

Method and System for Privilege-Level-Access to Memory within a Computer

June 1, 2004

6,327,700 B1

Method and System for Identifying Instrumentation Targets in Computer Programs Related to Logical Transactions

December 4, 2001

6,275,981 B1

Method and System for Correlating Profile Data Dynamically Generated From an Optimized Executable Program with Source Code Statements

August 14, 2001

6,260,190 B1

Unified Compiler Framework for Control and Data speculation with Recovery Code

July 20, 2001

6,236,900 B1

Method and System for Internet-Based, Competitive Event Prediction

May 22, 2001

6,182,284 B1

Method and System For Eliminating PHI Instruction Resource Interferences and Redundant Copy Instructions from Static-Single-Assignment-Form Computer Code

January 30, 2001

6,144,848

Handheld Remote Computer Control and Methods for Secured Interactive Real-Time Telecommunications

November 7, 2000