Mark S. Williams

Person

Austin, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Equivalency verification for hierarchical references
- Patent number 10,565,338
- Issue date Feb 18, 2020
- International Business Machines Corporation
- Ali S. El-Zein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logic design verification techniques for liveness checking with ret...
- Patent number 8,407,641
- Issue date Mar 26, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logic design verification techniques for liveness checking with ret...
- Patent number 8,255,848
- Issue date Aug 28, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Autonomic auto-configuration using prior installation configuration...
- Patent number 8,234,639
- Issue date Jul 31, 2012
- International Business Machines Corporation
- Puthukode G. Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for dynamic automated hint generation for enhance...
- Patent number 8,201,118
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhancing formal design verification by reusing previous results
- Patent number 8,042,078
- Issue date Oct 18, 2011
- International Business Machines Corporation
- Viresh Paruthi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enabling memory module slots in a computing system after a repair a...
- Patent number 8,006,028
- Issue date Aug 23, 2011
- International Business Machines Corporation
- Tu T. Dang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for monitoring compatibility of software combi...
- Patent number 7,594,219
- Issue date Sep 22, 2009
- International Business Machines Corporation
- Puthukode G. Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel-beam scanning for surface patterning of materials
- Patent number 7,371,596
- Issue date May 13, 2008
- Semicube, Inc.
- Raymond M. Warner, Jr.
- B23 - MACHINE TOOLS METAL-WORKING NOT OTHERWISE PROVIDED FOR
Information Patent Grant
Autonomic auto-configuration using prior installation configuration...
- Patent number 7,334,226
- Issue date Feb 19, 2008
- International Business Machines Corporation
- Puthukode G. Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Discrete curve symmetry detection
- Patent number 7,269,286
- Issue date Sep 11, 2007
- National Instruments Corporation
- Lothar Wenzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Equivalence checking of scan path flush operations
- Patent number 7,210,109
- Issue date Apr 24, 2007
- International Business Machines Corporation
- Kenneth Michael Caron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Use of time step information in a design verification system
- Patent number 6,993,734
- Issue date Jan 31, 2006
- International Business Machines Corporatioin
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus for database record locking and method therefor
- Patent number 6,687,709
- Issue date Feb 3, 2004
- International Business Machines Corporation
- Mark Joseph Williams
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EQUIVALENCE CHECKING OF SYNTHESIZED LOGIC DESIGNS USING GENERATED S...
- Publication number 20230394212
- Publication date Dec 7, 2023
- International Business Machines Corporation
- Alexander IVRII
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EQUIVALENCY VERIFICATION FOR HIERARCHICAL REFERENCES
- Publication number 20190179974
- Publication date Jun 13, 2019
- International Business Machines Corporation
- Ali S. El-Zein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RET...
- Publication number 20120192133
- Publication date Jul 26, 2012
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCE...
- Publication number 20110016441
- Publication date Jan 20, 2011
- International Business Machines Corporation
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhancing Formal Design Verification By Reusing Previous Results
- Publication number 20100257494
- Publication date Oct 7, 2010
- International Business Machines Corporation
- Travis W. Pouarz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Logic Design Verification Techniques for Liveness Checking With Ret...
- Publication number 20100223584
- Publication date Sep 2, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enabling Memory Module Slots In A Computing System After A Repair A...
- Publication number 20090254732
- Publication date Oct 8, 2009
- International Business Machines Corporation
- Tu T. Dang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parallel-Beam Scanning for Surface Patterning of Materials
- Publication number 20080192316
- Publication date Aug 14, 2008
- Raymond M. Warner
- B23 - MACHINE TOOLS METAL-WORKING NOT OTHERWISE PROVIDED FOR
Information Patent Application
AUTONOMIC AUTO-CONFIGURATION USING PRIOR INSTALLATION CONFIGURATION...
- Publication number 20080148255
- Publication date Jun 19, 2008
- Puthukode G. Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLICATING MULTIPLE POSSIBLE PROBLEMATIC COMPONENTS WITHIN A COMPU...
- Publication number 20080148109
- Publication date Jun 19, 2008
- Paul D. Bashor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parallel-beam scanning for surface patterning of materials
- Publication number 20060151449
- Publication date Jul 13, 2006
- Raymond M. Warner
- B23 - MACHINE TOOLS METAL-WORKING NOT OTHERWISE PROVIDED FOR
Information Patent Application
Equivalence checking of scan path flush operations
- Publication number 20050289486
- Publication date Dec 29, 2005
- International Business Machines Corporation
- Kenneth Michael Caron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Autonomic auto-configuration using prior installation configuration...
- Publication number 20050097547
- Publication date May 5, 2005
- International Business Machines Corporation
- Puthukode G. Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for monitoring compatibility of software combi...
- Publication number 20050022176
- Publication date Jan 27, 2005
- International Business Machines Corporation
- Puthukode G. Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Discrete curve symmetry detection
- Publication number 20040247181
- Publication date Dec 9, 2004
- Lothar Wenzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Use of time step information in a design verification system
- Publication number 20040168137
- Publication date Aug 26, 2004
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Apparatus for database record locking and method therefor
- Publication number 20030004924
- Publication date Jan 2, 2003
- International Business Machines Corporation
- Mark Joseph Williams
- G06 - COMPUTING CALCULATING COUNTING

Mark S. Williams

Person

Patents Grantslast 30 patents

Equivalency verification for hierarchical references

Logic design verification techniques for liveness checking with ret...

Logic design verification techniques for liveness checking with ret...

Autonomic auto-configuration using prior installation configuration...

Method and system for dynamic automated hint generation for enhance...

Enhancing formal design verification by reusing previous results

Enabling memory module slots in a computing system after a repair a...

Method and apparatus for monitoring compatibility of software combi...

Parallel-beam scanning for surface patterning of materials

Autonomic auto-configuration using prior installation configuration...

Discrete curve symmetry detection

Equivalence checking of scan path flush operations

Use of time step information in a design verification system

Apparatus for database record locking and method therefor

Patents Applicationslast 30 patents

EQUIVALENCE CHECKING OF SYNTHESIZED LOGIC DESIGNS USING GENERATED S...

EQUIVALENCY VERIFICATION FOR HIERARCHICAL REFERENCES

LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RET...

METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCE...

Enhancing Formal Design Verification By Reusing Previous Results

Logic Design Verification Techniques for Liveness Checking With Ret...

Enabling Memory Module Slots In A Computing System After A Repair A...

Parallel-Beam Scanning for Surface Patterning of Materials

AUTONOMIC AUTO-CONFIGURATION USING PRIOR INSTALLATION CONFIGURATION...

IMPLICATING MULTIPLE POSSIBLE PROBLEMATIC COMPONENTS WITHIN A COMPU...

Parallel-beam scanning for surface patterning of materials

Equivalence checking of scan path flush operations

Autonomic auto-configuration using prior installation configuration...

Method and apparatus for monitoring compatibility of software combi...

Discrete curve symmetry detection

Use of time step information in a design verification system

Apparatus for database record locking and method therefor