James B. Saxe

Follow

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generating a configuration of a system that satisfies constraints c...
- Patent number 7,644,377
- Issue date Jan 5, 2010
- Hewlett-Packard Development Company, L.P.
- James B. Saxe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for verifying computer program correctness and pr...
- Patent number 7,024,661
- Issue date Apr 4, 2006
- Hewlett-Packard Development Company, L.P.
- K. Rustan M. Leino
- 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
System and method for lexing and parsing program annotations
- Patent number 6,353,925
- Issue date Mar 5, 2002
- Compaq Computer Corporation
- Raymond Paul Stata
- 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
Hardware instruction scheduler for short execution unit latencies
- Patent number 5,835,745
- Issue date Nov 10, 1998
- David J. Sager
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
Information Patent Application
System and method for verifying computer program correctness and pr...
- Publication number 20020046393
- Publication date Apr 18, 2002
- K. Rustan M. Leino
- G06 - COMPUTING CALCULATING COUNTING