Is this you? Create Your Porfile
Avatar

Jeremy P. Petsinger

Hewlett-Packard

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Jeremy P. Petsinger is active.

Explore More

Publication

Featured researches published by Jeremy P. Petsinger.

Archive | 2006

Method and apparatus for communicating information between lock stepped processors

Kevin David Safford; Jeremy P. Petsinger

Archive | 2002

Method and apparatus for seeding differences in lock-stepped processors

Kevin David Safford; Jeremy P. Petsinger

Archive | 2003

Method and apparatus for verifying the correctness of a processor behavioral model

Jeremy P. Petsinger; Kevin David Safford; Karl P. Brummel; Russell C. Brockmann; Bruce A. Long; Patrick Knebel

Archive | 2000

Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unit

Jeremy P. Petsinger; Kevin David Safford; Karl P. Brummel; Russell C. Brockmann; Bruce A. Long; Patrick Knebel

Archive | 2004

Aggregating and prioritizing failure signatures by a parsing program

Adam C. Brown; Jeremy P. Petsinger; Danny Kwong

Archive | 2002

Method and apparatus for testing errors in microprocessors

Kevin David Safford; Jeremy P. Petsinger; Karl P. Brummel

Archive | 2002

Apparatus and method for pseudorandom rare event injection to improve verification quality

Soltis C. Donald Jr.; Don Douglas Josephson; Paul K. French; Russell C. Brockmann; Kevin David Safford; Jeremy P. Petsinger; Karl P. Brummel

Archive | 2003

Systems and methods for verifying lockstep operation

Zachary Steven Smith; Kevin David Safford; Jeremy P. Petsinger

Archive | 2003

Systems and methods for verifying core determinacy

Zachary Steven Smith; Kevin David Safford; Jeremy P. Petsinger

Archive | 2007

Method and Apparatus to Search for Errors in a Translation Look-Aside Buffer

Kevin David Safford; Jeremy P. Petsinger

Explore More

Collaboration

Dive into the Jeremy P. Petsinger's collaboration.

Top Co-Authors
Avatar

Kevin David Safford

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Karl P. Brummel

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Bruce A. Long

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Russell C. Brockmann

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Patrick Knebel

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Brockmann Russell C

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Don Douglas Josephson

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Paul K. French

Hewlett-Packard

View shared research outputs
Top Co-Authors
Avatar

Safford Kevin David

Hewlett-Packard

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge