Jeremy P. Petsinger

Person

Fort Collins, CO, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and apparatus to search for errors in a translation look-asi...
- Patent number 7,774,658
- Issue date Aug 10, 2010
- Hewlett-Packard Development Company, L.P.
- Kevin D Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for communicating information between lock ste...
- Patent number 7,725,899
- Issue date May 25, 2010
- Hewlett-Packard Development Company, L.P.
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for seeding differences in lock-stepped proces...
- Patent number 7,398,419
- Issue date Jul 8, 2008
- Hewlett-Packard Development Company, L.P.
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for communicating information between lock ste...
- Patent number 7,155,721
- Issue date Dec 26, 2006
- Hewlett-Packard Development Company, L.P.
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for verifying the correctness of a processor b...
- Patent number 7,139,936
- Issue date Nov 21, 2006
- Hewlett-Packard Development Company, L.P.
- Jeremy Petsinger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for seeding differences in lock-stepped proces...
- Patent number 7,003,691
- Issue date Feb 21, 2006
- Hewlett-Packard Development Company, L.P.
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for verifying the fine-grained correctness of...
- Patent number 6,625,759
- Issue date Sep 23, 2003
- Hewlett-Packard Development Company, L.P.
- Jeremy Petsinger
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and Apparatus to Search for Errors in a Translation Look-Asi...
- Publication number 20080172544
- Publication date Jul 17, 2008
- Hewlett-Packard Development Company, L.P.
- Kevin D. Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for communicating information between lock ste...
- Publication number 20070061812
- Publication date Mar 15, 2007
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for seeding differences in lock-stepped proces...
- Publication number 20060085677
- Publication date Apr 20, 2006
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for verifying resources shared by multiple pro...
- Publication number 20060036424
- Publication date Feb 16, 2006
- Jeremy P. Petsinger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Aggregating and prioritizing failure signatures by a parsing program
- Publication number 20050262399
- Publication date Nov 24, 2005
- Adam C. Brown
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and methods for evaluating a test case
- Publication number 20050261859
- Publication date Nov 24, 2005
- Jeremy Petsinger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and methods for verifying lockstep operation
- Publication number 20050120278
- Publication date Jun 2, 2005
- Zachary Steven Smith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and methods for verifying core determinacy
- Publication number 20050114735
- Publication date May 26, 2005
- Zachary Steven Smith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for seeding differences in lock-stepped proces...
- Publication number 20040078651
- Publication date Apr 22, 2004
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for testing errors in microprocessors
- Publication number 20040078650
- Publication date Apr 22, 2004
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for verifying the correctness of a processor b...
- Publication number 20040039966
- Publication date Feb 26, 2004
- Jeremy Petsinger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Apparatus and method for pseudorandom rare event injection to impro...
- Publication number 20040034820
- Publication date Feb 19, 2004
- Donald C. Soltis,
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for communicating information between lock ste...
- Publication number 20040003021
- Publication date Jan 1, 2004
- Kevin David Safford
- G06 - COMPUTING CALCULATING COUNTING

Jeremy P. Petsinger

Person

Patents Grantslast 30 patents

Method and apparatus to search for errors in a translation look-asi...

Method and apparatus for communicating information between lock ste...

Method and apparatus for seeding differences in lock-stepped proces...

Method and apparatus for communicating information between lock ste...

Method and apparatus for verifying the correctness of a processor b...

Method and apparatus for seeding differences in lock-stepped proces...

Method and apparatus for verifying the fine-grained correctness of...

Patents Applicationslast 30 patents

Method and Apparatus to Search for Errors in a Translation Look-Asi...

Method and apparatus for communicating information between lock ste...

Method and apparatus for seeding differences in lock-stepped proces...

Method and apparatus for verifying resources shared by multiple pro...

Aggregating and prioritizing failure signatures by a parsing program

Systems and methods for evaluating a test case

Systems and methods for verifying lockstep operation

Systems and methods for verifying core determinacy

Method and apparatus for seeding differences in lock-stepped proces...

Method and apparatus for testing errors in microprocessors

Method and apparatus for verifying the correctness of a processor b...

Apparatus and method for pseudorandom rare event injection to impro...

Method and apparatus for communicating information between lock ste...