Inventor · disambiguated record
Carol L. Thompson
Also filed as: THOMPSON CAROL · THOMPSON CAROL L · THOMPSON CAROL LINDA
23 granted patents·5 pending applications·699 citations·filing 1997–2004
97Inventor score
Technology areasG06F
Files withHEWLETT PACKARD DEVELOPMENT CO16INST THE DEV OF EMERGING ARCHI3HEWLETT PACKARD CO1IDEA CORP1INTEL CORP1
Top patents by PatentIndex Score
28 records- 0191US6708288B1Compiler-based checkpointing for support of error recoveryHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Mar 16, 2004·74 cites·13 claims
- 0288US6874138B1Method and apparatus for resuming execution of a failed computer programHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Mar 29, 2005·56 cites·22 claims
- 0387US6658656B1Method and apparatus for creating alternative versions of code segments and dynamically substituting execution of the alternative code versionsHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Dec 2, 2003·42 cites·15 claims
- 0483US6845501B2Method and apparatus for enabling a compiler to reduce cache misses by performing pre-fetches in the event of context switchHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Jan 18, 2005·45 cites·20 claims
- 0581US6951015B2Prefetch insertion by correlation of cache misses and previously executed instructionsHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Sep 27, 2005·31 cites·24 claims
- 0680US7065754B1Method and apparatus for switching between multiple implementations of a routineHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Jun 20, 2006·29 cites·16 claims
- 0780US6986131B2Method and apparatus for efficient code generation for modulo scheduled uncounted loopsHEWLETT PACKARD DEVELOPMENT CO·Filed 2002·Granted Jan 10, 2006·31 cites·16 claims
- 0878US6883166B1Method and apparatus for performing correctness checks opportunisticallyHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Apr 19, 2005·26 cites·15 claims
- 0977US6654877B1System and method for selectively executing computer codeHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Nov 25, 2003·25 cites·9 claims
- 1076US6701518B1System and method for enabling efficient processing of a program that includes assertion instructionsHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Mar 2, 2004·20 cites·8 claims
- 1176US6643769B1System and method for enabling selective execution of computer codeHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Nov 4, 2003·19 cites·12 claims
- 1274US8141068B1Compiler with flexible schedulingTHOMPSON CAROL L·Filed 2002·Granted Mar 20, 2012·25 cites·16 claims
- 1371US6275981B1Method and system for correlating profile data dynamically generated from an optimized executable program with source code statementsHEWLETT PACKARD CO·Filed 1998·Granted Aug 14, 2001·63 cites·19 claims
- 1468US6314513B1Method and apparatus for transferring data between a register stack and a memory resourceINTEL CORP·Filed 1998·Granted Nov 6, 2001·56 cites·45 claims
- 1567US6665793B1Method and apparatus for managing access to out-of-frame RegistersINST THE DEV OF EMERGING ARCHI·Filed 1999·Granted Dec 16, 2003·37 cites·20 claims
- 1666US7334112B2Method and apparatus for managing access to out-of-frame registersHEWLETT PACKARD DEVELOPMENT CO·Filed 2003·Granted Feb 19, 2008·8 cites·22 claims
- 1766US5915117AComputer architecture for the deferral of exceptions on speculative instructionsINST THE DEV OF EMERGING ARCHI·Filed 1997·Granted Jun 22, 1999·49 cites·34 claims
- 1864US6898787B2Method and apparatus for ordered predicate phi in static single assignment formHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted May 24, 2005·10 cites·15 claims
- 1960US6880153B1Method and apparatus for varying the level of correctness checks executed when performing correctness checks opportunistically using spare instruction slotsHEWLETT PACKARD DEVELOPMENT CO·Filed 2000·Granted Apr 12, 2005·7 cites·16 claims
- 2059US7013460B2Specifying an invariant property (range of addresses) in the annotation in source code of the computer programHEWLETT PACKARD DEVELOPMENT CO·Filed 2001·Granted Mar 14, 2006·11 cites·26 claims
- 2149US6065114ACover instruction and asynchronous backing store switchIDEA CORP·Filed 1998·Granted May 16, 2000·22 cites·11 claims
- 2248US7272702B2Method and apparatus for managing access to out-of-frame registersHEWLETT PACKARD DEVELOPMENT CO·Filed 2003·Granted Sep 18, 2007·0 cites·23 claims
- 2346US2004153785A1System and method for enabling selective execution of computer codeFiled 2003·Application pending·0 cites
- 2446US2004177347A1System and method for enabling efficient processing of a program that includes assertion instructionsFiled 2004·Application pending·0 cites
- 2546US2004034814A1Method and apparatus for creating alternative versions of code segments and dynamically substituting execution of the alternative code versionsFiled 2003·Application pending·0 cites
- 2642US6263401B1Method and apparatus for transferring data between a register stack and a memory resourceINST THE DEV OF EMERGING ARCHI·Filed 1997·Granted Jul 17, 2001·13 cites·22 claims
- 2742US2003167457A1System and method for providing an optimizer display toolFiled 2002·Application pending·0 cites
- 2842US2003237080A1System and method for improved register allocation in an optimizing compilerFiled 2002·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Carol L. Thompson 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 →