Michael P. Mullen

Person

Poughkeepie, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Targeted very long delay for increasing speculative execution progr...
- Patent number 11,443,044
- Issue date Sep 13, 2022
- International Business Machines Corporation
- Olaf Knute Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying microarchitectural security vulnerabilities using simul...
- Patent number 11,205,005
- Issue date Dec 21, 2021
- International Business Machines Corporation
- Matthew Michael Garcia Pardini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory blockade for verifying system security with respect to specu...
- Patent number 11,106,602
- Issue date Aug 31, 2021
- International Business Machines Corporation
- Olaf Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing processor functional verification by generating and ru...
- Patent number 9,734,033
- Issue date Aug 15, 2017
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing processor functional verification by generating and ru...
- Patent number 9,720,793
- Issue date Aug 1, 2017
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Exiting multiple threads of a simulation environment in a computer
- Patent number 9,389,897
- Issue date Jul 12, 2016
- International Business Machines Corporation
- Fadi Y. Busaba
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Firmware and hardware verification using Opcode comparison
- Patent number 9,218,442
- Issue date Dec 22, 2015
- International Business Machines Corporation
- Christopher A. Krygowski
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus of handling instruction rejects, partial rejec...
- Patent number 8,484,007
- Issue date Jul 9, 2013
- International Business Machines Corporation
- Wei-Yi Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system and computer program product for verifying address g...
- Patent number 8,165,864
- Issue date Apr 24, 2012
- International Business Machines Corporation
- Michael P. Mullen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for providing a common instruction table
- Patent number 7,895,538
- Issue date Feb 22, 2011
- International Business Machines Corporation
- David S. Hutton
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
IDENTIFYING MICROARCHITECTURAL SECURITY VULNERABILITIES USING SIMUL...
- Publication number 20210089659
- Publication date Mar 25, 2021
- International Business Machines Corporation
- Matthew Michael Garcia Pardini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TARGETED VERY LONG DELAY FOR INCREASING SPECULATIVE EXECUTION PROGR...
- Publication number 20210089660
- Publication date Mar 25, 2021
- International Business Machines Corporation
- Olaf Knute Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY BLOCKADE FOR VERIFYING SYSTEM SECURITY WITH RESPECT TO SPECU...
- Publication number 20210064550
- Publication date Mar 4, 2021
- International Business Machines Corporation
- Olaf Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXITING MULTIPLE THREADS OF A SIMULATION ENVIRONMENT IN A COMPUTER
- Publication number 20160179558
- Publication date Jun 23, 2016
- International Business Machines Corporation
- Fadi Y. Busaba
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...
- Publication number 20160162380
- Publication date Jun 9, 2016
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...
- Publication number 20160162381
- Publication date Jun 9, 2016
- International Business Machines Corporation
- Olaf K. Hendrickson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION USING OPCODE COMPARE
- Publication number 20110320783
- Publication date Dec 29, 2011
- International Business Machines Corporation
- Christopher A. Krygowski
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PROVIDING A COMMON INSTRUCTION TABLE
- Publication number 20090210387
- Publication date Aug 20, 2009
- International Business Machines Corporation
- David S. Hutton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and Apparatus of Handling Instruction Rejects, Partial Rejec...
- Publication number 20090210681
- Publication date Aug 20, 2009
- International Business Machines Corporation
- Wei-Yi Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, SYSTEM AND COMPUTER PROGRAM PRODUCT FOR VERIFYING ADDRESS G...
- Publication number 20090204796
- Publication date Aug 13, 2009
- International Business Machines Corporation
- Michael P. Mullen
- G06 - COMPUTING CALCULATING COUNTING

Michael P. Mullen

Person

Patents Grantslast 30 patents

Targeted very long delay for increasing speculative execution progr...

Identifying microarchitectural security vulnerabilities using simul...

Memory blockade for verifying system security with respect to specu...

Implementing processor functional verification by generating and ru...

Implementing processor functional verification by generating and ru...

Exiting multiple threads of a simulation environment in a computer

Firmware and hardware verification using Opcode comparison

Method and apparatus of handling instruction rejects, partial rejec...

Method, system and computer program product for verifying address g...

System and method for providing a common instruction table

Patents Applicationslast 30 patents

IDENTIFYING MICROARCHITECTURAL SECURITY VULNERABILITIES USING SIMUL...

TARGETED VERY LONG DELAY FOR INCREASING SPECULATIVE EXECUTION PROGR...

MEMORY BLOCKADE FOR VERIFYING SYSTEM SECURITY WITH RESPECT TO SPECU...

EXITING MULTIPLE THREADS OF A SIMULATION ENVIRONMENT IN A COMPUTER

IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...

IMPLEMENTING PROCESSOR FUNCTIONAL VERIFICATION BY GENERATING AND RU...

VERIFICATION USING OPCODE COMPARE

SYSTEM AND METHOD FOR PROVIDING A COMMON INSTRUCTION TABLE

Method and Apparatus of Handling Instruction Rejects, Partial Rejec...

METHOD, SYSTEM AND COMPUTER PROGRAM PRODUCT FOR VERIFYING ADDRESS G...