Charles G. Nelson

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generating a text layout boundary from a text block in an electroni...
- Patent number 7,555,711
- Issue date Jun 30, 2009
- Hewlett-Packard Development Company, L.P.
- Hui Chao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Code generation by matching and satisfiability search
- Patent number 7,036,115
- Issue date Apr 25, 2006
- Hewlett-Packard Development Company, L.P.
- Charles Gregory Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Case-reduced verification condition generation system and method us...
- Patent number 6,553,362
- Issue date Apr 22, 2003
- Hewlett-Packard Development Company, L.P.
- James Benjamin Saxe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for clustering closely resembling data objects
- Patent number 6,349,296
- Issue date Feb 19, 2002
- AltaVista Company
- Andrei Z. Broder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for program verification and optimization
- Patent number 6,343,376
- Issue date Jan 29, 2002
- Computer Computer Corporation
- James B. Saxe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining the resemining the resemblance of documents
- Patent number 6,230,155
- Issue date May 8, 2001
- AltaVista Company
- Andrei Zary Broder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for clustering closely resembling data objects
- Patent number 6,119,124
- Issue date Sep 12, 2000
- Digital Equipment Corporation
- Andrei Z. Broder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting concurrency errors in multi-threaded programs
- Patent number 6,009,269
- Issue date Dec 28, 1999
- Digital Equipment Corporation
- Michael Burrows
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining the resemblance of documents
- Patent number 5,909,677
- Issue date Jun 1, 1999
- Digital Equipment Corporation
- Andrei Zary Broder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fault tolerant distributed garbage collection system and method for...
- Patent number 5,446,901
- Issue date Aug 29, 1995
- Digital Equipment Corporation
- Susan S. Owicki
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Generating a text layout boundary from a text block in an electroni...
- Publication number 20060294460
- Publication date Dec 28, 2006
- Hui Chao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic layout adjustment for documents containing text
- Publication number 20060236230
- Publication date Oct 19, 2006
- Xiaofan Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Height-width estimation model for a text block
- Publication number 20060224953
- Publication date Oct 5, 2006
- Xiaofan Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Code generation by matching and satisfiability search
- Publication number 20020124239
- Publication date Sep 5, 2002
- Charles Gregory Nelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Case-reduced verification condition generation system and method us...
- Publication number 20020083418
- Publication date Jun 27, 2002
- James Benjamin Saxe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Case-reduced verification condition generation system and method by...
- Publication number 20020062476
- Publication date May 23, 2002
- James Benjamin Saxe
- G06 - COMPUTING CALCULATING COUNTING

Charles G. Nelson

Person

Patents Grantslast 30 patents

Generating a text layout boundary from a text block in an electroni...

Code generation by matching and satisfiability search

Case-reduced verification condition generation system and method us...

Method for clustering closely resembling data objects

System and method for program verification and optimization

Method for determining the resemining the resemblance of documents

Method for clustering closely resembling data objects

Detecting concurrency errors in multi-threaded programs

Method for determining the resemblance of documents

Fault tolerant distributed garbage collection system and method for...

Patents Applicationslast 30 patents

Generating a text layout boundary from a text block in an electroni...

Automatic layout adjustment for documents containing text

Height-width estimation model for a text block

Code generation by matching and satisfiability search

Case-reduced verification condition generation system and method us...

Case-reduced verification condition generation system and method by...