7,506,217: APPARATUS AND METHOD FOR SOFTWARE-BASED CONTROL FLOW CHECKING FOR SOFT ERROR DETECTION TO IMPROVE MICROPROCESSOR RELIABILITY
7,694,281: TWO-PASS MRET TRACE SELECTION FOR DYNAMIC OPTIMIZATION
7,757,221: APPARATUS AND METHOD FOR DYNAMIC BINARY TRANSLATOR TO SUPPORT PRECISE EXCEPTIONS WITH MINIMAL OPTIMIZATION CONSTRAINTS
7,802,136: COMPILER TECHNIQUE FOR EFFICIENT REGISTER CHECKPOINTING TO SUPPORT TRANSACTION ROLL-BACK
7,818,744: APPARATUS AND METHOD FOR REDUNDANT SOFTWARE THREAD COMPUTATION
7,844,946: METHODS AND APPARATUS TO FORM A TRANSACTIONAL OBJECTIVE INSTRUCTION CONSTRUCT FROM LOCK-BASED CRITICAL SECTIONS
7,865,885: USING TRANSACTIONAL MEMORY FOR PRECISE EXCEPTION HANDLING IN AGGRESSIVE DYNAMIC BINARY OPTIMIZATIONS
7,937,620/7,937,621: TRANSIENT FAULT DETECTION BY INTEGRATING AN SRMT CODE AND A NON SRMT CODE IN A SINGLE APPLICATION
8,001,421: COMPILER TECHNIQUE FOR EFFICIENT REGISTER CHECKPOINTING TO SUPPORT TRANSACTION ROLL-BACK
8,060,482: EFFICIENT AND CONSISTENT SOFTWARE TRANSACTIONAL MEMORY
8,065,490: HARDWARE ACCELERATION OF STRONGLY ATOMIC SOFTWARE TRANSACTIONAL MEMORY
8,132,158: MECHANISM FOR SOFTWARE TRANSACTIONAL MEMORY COMMIT / ABORT IN UNMANAGED RUNTIME ENVIRONMENT
8,156,480: METHODS AND APPARATUS TO FORM A RESILIENT OBJECTIVE INSTRUCTION CONSTRUCT
8,296,749: PROGRAM TRANSLATION AND TRANSACTIONAL MEMORY FORMATION
8,332,558: COMPACT TRACE TREES FOR DYNAMIC BINARY PARALLELIZATION
8,418,156: TWO-STAGE-COMMIT (TSC) REGION FOR DYNAMIC BINARY OPTIMIZATION IN X86
8,443,343: CONTEXT-SENSITIVE SLICING FOR DYNAMICALLY PARALLELIZING BINARY PROGRAMS
8,522,223: AUTOMATIC FUNCTION CALL IN MULTITHREADED APPLICATION
8,549,504: APPARATUS, METHOD, AND SYSTEM FOR PROVIDING A DECISION MECHANISM FOR CONDITIONAL COMMITS IN AN ATOMIC REGION
8,683,243: DYNAMIC CORE SELECTION FOR HETEROGENEOUS MULTI-CORE SYSTEMS
8,706,982: MECHANISMS FOR STRONG ATOMICITY IN A TRANSACTIONAL MEMORY SYSTEM
8,935,678: METHODS AND APPARATUS TO FORM A RESILIENT OBJECTIVE INSTRUCTION CONSTRUCT
5,5512,62: CONTEXT-SENSITIVE SLICING FOR DYNAMICALLY PARALLELIZING BINARY PROGRAMS
5,592,015: APPARATUS, METHOD, AND SYSTEM FOR DYNAMICALLY OPTIMIZING CODE UTILIZING ADJUSTABLE TRANSACTION SIZES BASED ON HARDWARE LIMITATIONS
5,661,934: APPARATUS, METHOD AND SYSTEM FOR PROVIDING A DECISION MECHANISM FOR CONDITIONAL COMMITS IN AN ATOMIC REGION
EP 2 075 690 A1: MECHANISMS FOR STRONG ATOMICITY IN A TRANSACTIONAL MEMORY SYSTEM
ZL 200710306288.5: EFFICIENT AND CONSISTENT SOFTWARE TRANSACTIONAL MEMORY