Inventor · disambiguated record
James B. Saxe
Also filed as: SAXE JAMES B · SAXE JAMES BENJAMIN
7 granted patents·670 citations·filing 1995–2007
90Inventor score
Top patents by PatentIndex Score
7 records- 0196US7644377B1Generating a configuration of a system that satisfies constraints contained in modelsHEWLETT PACKARD DEVELOPMENT CO·Filed 2007·Granted Jan 5, 2010·143 cites·23 claims
- 0287US6343376B1System and method for program verification and optimizationCOMPAQ COMPUTER CORP·Filed 1998·Granted Jan 29, 2002·148 cites·64 claims
- 0382US6353925B1System and method for lexing and parsing program annotationsCOMPAQ COMPUTER CORP·Filed 1999·Granted Mar 5, 2002·105 cites·12 claims
- 0481US5631908AMethod and apparatus for generating and implementing smooth schedules for forwarding data flows across cell-based switchesDIGITAL EQUIPMENT CORP·Filed 1995·Granted May 20, 1997·146 cites·20 claims
- 0580US7024661B2System and method for verifying computer program correctness and providing recoverable execution trace informationHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Apr 4, 2006·37 cites·47 claims
- 0675US5835745AHardware instruction scheduler for short execution unit latenciesFiled 1996·Granted Nov 10, 1998·75 cites·12 claims
- 0770US6553362B2Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operatorsHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Apr 22, 2003·16 cites·23 claims
Join the waitlist — get patent alerts
Get an alert when James B. Saxe files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →