JOHN M. LUDDEN

Person

ESSEX JUNCTION, VT, US

People

Patents Grantslast 30 patents

Information Patent Grant
Functional test of processor code modification operations
- Patent number 11,847,035
- Issue date Dec 19, 2023
- International Business Machines Corporation
- Charles Leverett Meissner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Process-based virtualization system for executing a secure applicat...
- Patent number 11,461,474
- Issue date Oct 4, 2022
- International Business Machines Corporation
- Jentje Leenstra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and systems for verifying out-of-order page fault detection
- Patent number 10,936,505
- Issue date Mar 2, 2021
- International Business Machines Corporation
- John M. Ludden
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying correctness of processor transactions
- Patent number 8,589,734
- Issue date Nov 19, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Two pass test case generation using self-modifying instruction repl...
- Patent number 8,516,229
- Issue date Aug 20, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient and self-balancing verification of multi-threaded micropr...
- Patent number 8,479,173
- Issue date Jul 2, 2013
- International Business Machines Corporation
- Bryan G. Hickerson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software table walk during test verification of a simulated densely...
- Patent number 8,275,598
- Issue date Sep 25, 2012
- International Business Machines Corporation
- Anatoli S. Andreev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, apparatus and computer program product for implementing lev...
- Patent number 7,302,556
- Issue date Nov 27, 2007
- International Business Machines Corporation
- John Martin Ludden
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for controlling program instruction completion...
- Patent number 7,089,406
- Issue date Aug 8, 2006
- International Business Machines Corporation
- John Martin Ludden
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FUNCTIONAL TEST OF PROCESSOR CODE MODIFICATION OPERATIONS
- Publication number 20230058716
- Publication date Feb 23, 2023
- International Business Machines Corporation
- Charles Leverett Meissner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROCESS-BASED VIRTUALIZATION SYSTEM FOR EXECUTING A SECURE APPLICAT...
- Publication number 20210232693
- Publication date Jul 29, 2021
- International Business Machines Corporation
- Jentje Leenstra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND SYSTEMS FOR VERIFYING OUT-OF-ORDER PAGE FAULT DETECTION
- Publication number 20200201778
- Publication date Jun 25, 2020
- International Business Machines Corporation
- John M. Ludden
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING CORRECTNESS OF PROCESSOR TRANSACTIONS
- Publication number 20120054560
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TWO PASS TEST CASE GENERATION USING SELF-MODIFYING INSTRUCTION REPL...
- Publication number 20110197049
- Publication date Aug 11, 2011
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE TABLE WALK DURING TEST VERIFICATION OF A SIMULATED DENSELY...
- Publication number 20100223505
- Publication date Sep 2, 2010
- International Business Machines Corporation
- ANATOLI S. ANDREEV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient and Self-Balancing Verification of Multi-Threaded Micropr...
- Publication number 20100011345
- Publication date Jan 14, 2010
- International Business Machines Corporation
- Bryan G. Hickerson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, apparatus and computer program product for implementing lev...
- Publication number 20050081102
- Publication date Apr 14, 2005
- International Business Machines Corporation
- John Martin Ludden
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for controlling program instruction completion...
- Publication number 20040250050
- Publication date Dec 9, 2004
- International Business Machines Corporation
- John Martin Ludden
- G06 - COMPUTING CALCULATING COUNTING

JOHN M. LUDDEN

Person

Patents Grantslast 30 patents

Functional test of processor code modification operations

Process-based virtualization system for executing a secure applicat...

Methods and systems for verifying out-of-order page fault detection

Verifying correctness of processor transactions

Two pass test case generation using self-modifying instruction repl...

Efficient and self-balancing verification of multi-threaded micropr...

Software table walk during test verification of a simulated densely...

Method, apparatus and computer program product for implementing lev...

Method and apparatus for controlling program instruction completion...

Patents Applicationslast 30 patents

FUNCTIONAL TEST OF PROCESSOR CODE MODIFICATION OPERATIONS

PROCESS-BASED VIRTUALIZATION SYSTEM FOR EXECUTING A SECURE APPLICAT...

METHODS AND SYSTEMS FOR VERIFYING OUT-OF-ORDER PAGE FAULT DETECTION

VERIFYING CORRECTNESS OF PROCESSOR TRANSACTIONS

TWO PASS TEST CASE GENERATION USING SELF-MODIFYING INSTRUCTION REPL...

SOFTWARE TABLE WALK DURING TEST VERIFICATION OF A SIMULATED DENSELY...

Efficient and Self-Balancing Verification of Multi-Threaded Micropr...

Method, apparatus and computer program product for implementing lev...

Method and apparatus for controlling program instruction completion...