Steven Robert Farago

Person

Austin, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Hardware verification batch computing farm simulator
- Patent number 7,860,700
- Issue date Dec 28, 2010
- International Business Machines Corporation
- Michael L. Behm
- G01 - MEASURING TESTING
Information Patent Grant
Method, system and computer program product for improving efficienc...
- Patent number 7,454,680
- Issue date Nov 18, 2008
- International Business Machines Corporation
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for verification of coherence for shared cache...
- Patent number 7,000,079
- Issue date Feb 14, 2006
- International Business Machines Corporation
- Claude Karl Detjens
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bi-directional stack in a linear memory array
- Patent number 6,934,825
- Issue date Aug 23, 2005
- International Business Machines Corporation
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying cumulative ordering of memory instructions
- Patent number 6,795,878
- Issue date Sep 21, 2004
- International Business Machines Corporation
- Aaron Ches Brown
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of global coherence in a multi-node NUMA system
- Patent number 6,785,773
- Issue date Aug 31, 2004
- International Business Machines Corporation
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Split bi-directional stack in a linear memory array
- Patent number 6,643,662
- Issue date Nov 4, 2003
- International Business Machines Corporation
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Proportionally growing stack in a linear memory array
- Patent number 6,629,228
- Issue date Sep 30, 2003
- International Business Machines Corporation
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Hardware Verification Batch Computing Farm Simulator
- Publication number 20090043559
- Publication date Feb 12, 2009
- Michael L. Behm
- G01 - MEASURING TESTING
Information Patent Application
Method and System for Automatic Selection of Test Cases
- Publication number 20090006066
- Publication date Jan 1, 2009
- Michael L. Behm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system and computer program product for improving efficienc...
- Publication number 20060025980
- Publication date Feb 2, 2006
- International Business Machines Corp.
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for verification of coherence for shared cache...
- Publication number 20040210721
- Publication date Oct 21, 2004
- International Business Machines Corporation
- Claude Karl Detjens
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verification of global coherence in a multi-node NUMA system
- Publication number 20020144185
- Publication date Oct 3, 2002
- International Business Machines Corporation
- Steven Robert Farago
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verifying cumulative ordering
- Publication number 20020112122
- Publication date Aug 15, 2002
- International Business Machines Corporation
- Aaron Ches Brown
- G06 - COMPUTING CALCULATING COUNTING

Steven Robert Farago

Person

Patents Grantslast 30 patents

Hardware verification batch computing farm simulator

Method, system and computer program product for improving efficienc...

Method and apparatus for verification of coherence for shared cache...

Bi-directional stack in a linear memory array

Verifying cumulative ordering of memory instructions

Verification of global coherence in a multi-node NUMA system

Split bi-directional stack in a linear memory array

Proportionally growing stack in a linear memory array

Patents Applicationslast 30 patents

Hardware Verification Batch Computing Farm Simulator

Method and System for Automatic Selection of Test Cases

Method, system and computer program product for improving efficienc...

Method and apparatus for verification of coherence for shared cache...

Verification of global coherence in a multi-node NUMA system

Verifying cumulative ordering