Adrian Eric Seigler

Person

Poughkeepsie, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method, system, and program product for automated verification of g...
- Patent number 7,971,166
- Issue date Jun 28, 2011
- International Business Machines Corporation
- Adrian E. Seigler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for formal verification of partial good self test...
- Patent number 7,661,050
- Issue date Feb 9, 2010
- International Business Machines Corporation
- Gary Van Huben
- G01 - MEASURING TESTING
Information Patent Grant
Method, system, and program product for automated verification of g...
- Patent number 7,448,008
- Issue date Nov 4, 2008
- International Business Machines Corporation
- Adrian E. Seigler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coherency management for a “switchless” distributed shared memory c...
- Patent number 7,111,130
- Issue date Sep 19, 2006
- International Business Machines Corporation
- Michael A. Blake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coherency management for a “switchless” distributed shared memory c...
- Patent number 7,085,898
- Issue date Aug 1, 2006
- International Business Machines Corporation
- Michael A. Blake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bus protocol for a switchless distributed shared memory computer sy...
- Patent number 6,988,173
- Issue date Jan 17, 2006
- International Business Machines Corporation
- Michael A. Blake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for deadlock avoidance in a cluster environment
- Patent number 6,738,871
- Issue date May 18, 2004
- International Business Machines Corporation
- Gary A. Van Huben
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clustered computer system with deadlock avoidance
- Patent number 6,738,872
- Issue date May 18, 2004
- International Business Machines Corporation
- Gary A. Van Huben
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System resource enable apparatus with wake-up feature
- Patent number 5,862,360
- Issue date Jan 19, 1999
- International Business Machines Corporation
- Patrick J. Meaney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System resource enable method
- Patent number 5,715,472
- Issue date Feb 3, 1998
- International Business Machines Corporation
- Patrick J. Meaney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System resource conflict resolution method
- Patent number 5,710,936
- Issue date Jan 20, 1998
- International Business Machines Corporation
- Patrick J. Meaney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System resource enable apparatus
- Patent number 5,710,933
- Issue date Jan 20, 1998
- International Business Machines Corporation
- Patrick J. Meaney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System resource conflict resolution apparatus
- Patent number 5,692,209
- Issue date Nov 25, 1997
- International Business Machines Corporation
- Patrick J. Meaney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Error correcting scheme
- Patent number 4,564,944
- Issue date Jan 14, 1986
- International Business Machines Corporation
- Richard F. Arnold
- H03 - BASIC ELECTRONIC CIRCUITRY

Patents Applicationslast 30 patents

Information Patent Application
Method, System, and Program Product for Automated Verification of G...
- Publication number 20090183129
- Publication date Jul 16, 2009
- International Business Machines Corporation
- Adrian E. Seigler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Formal Verification of Partial Good Self Test...
- Publication number 20080276144
- Publication date Nov 6, 2008
- International Business Machines Corporation
- Gary Van Huben
- G01 - MEASURING TESTING
Information Patent Application
Method, System, and Program Product for Automated Verification of G...
- Publication number 20080059925
- Publication date Mar 6, 2008
- International Business Machines Corporation
- Adrian E. Seigler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Coherency management for a "switchless" distributed shared memory c...
- Publication number 20060184750
- Publication date Aug 17, 2006
- International Business Machines Corporation
- Michael A. Blake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Coherency management for a "switchless'' distributed shared memory...
- Publication number 20040230751
- Publication date Nov 18, 2004
- International Business Machines Corporation
- Michael A. Blake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Bus protocol for a "switchless" distributed shared memory computer...
- Publication number 20040230752
- Publication date Nov 18, 2004
- International Business Machines Corporation
- Michael A. Blake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for deadlock avoidance in a cluster environment
- Publication number 20020083149
- Publication date Jun 27, 2002
- International Business Machines Corporation
- Gary A. Van Huben
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Clustered computer system with deadlock avoidance
- Publication number 20020083243
- Publication date Jun 27, 2002
- International Business Machines Corporation
- Gary A. Van Huben
- G06 - COMPUTING CALCULATING COUNTING

Adrian Eric Seigler

Person

Patents Grantslast 30 patents

Method, system, and program product for automated verification of g...

Method and system for formal verification of partial good self test...

Method, system, and program product for automated verification of g...

Coherency management for a “switchless” distributed shared memory c...

Coherency management for a “switchless” distributed shared memory c...

Bus protocol for a switchless distributed shared memory computer sy...

Method for deadlock avoidance in a cluster environment

Clustered computer system with deadlock avoidance

System resource enable apparatus with wake-up feature

System resource enable method

System resource conflict resolution method

System resource enable apparatus

System resource conflict resolution apparatus

Error correcting scheme

Patents Applicationslast 30 patents

Method, System, and Program Product for Automated Verification of G...

Method and System for Formal Verification of Partial Good Self Test...

Method, System, and Program Product for Automated Verification of G...

Coherency management for a "switchless" distributed shared memory c...

Coherency management for a "switchless'' distributed shared memory...

Bus protocol for a "switchless" distributed shared memory computer...

Method for deadlock avoidance in a cluster environment

Clustered computer system with deadlock avoidance