Issued Patents All Time
Showing 1–23 of 23 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7155471 | Method and system for determining the correct rounding of a function | Dale Morris, James M. Hull | 2006-12-26 |
| 7065757 | Efficient compilation of family of related functions | James W. Thomas, Kevin Crozier | 2006-06-20 |
| 7065758 | Optimize code for a family of related functions | James W. Thomas, Kevin Crozier | 2006-06-20 |
| 6578059 | Methods and apparatus for controlling exponent range in floating-point calculations | Jerome C. Huck, Glenn T. Colon-Bonet, Alan H. Karp, Roger Golliver, Michael J. Morrison +1 more | 2003-06-10 |
| 6370639 | Processor architecture having two or more floating-point status fields | Jerome C. Huck, Glenn T. Colon-Bonet, Alan H. Karp, Roger Golliver, Michael J. Morrison +2 more | 2002-04-09 |
| 6301705 | System and method for deferring exceptions generated during speculative execution | Gautam Doshi, Alan H. Karp, Jerome C. Huck, Glenn T. Colon-Bonet, Michael J. Morrison | 2001-10-09 |
| 6212539 | Methods and apparatus for handling and storing bi-endian words in a floating-point processor | Jerome C. Huck, Glenn T. Colon-Bonet, Alan H. Karp, Roger Golliver, Michael J. Morrison +1 more | 2001-04-03 |
| 6151669 | Methods and apparatus for efficient control of floating-point status register | Jerome C. Huck, Glenn T. Colon-Bonet, Alan H. Karp, Roger Golliver, Michael J. Morrison +2 more | 2000-11-21 |
| 5671170 | Method and apparatus for correctly rounding results of division and square root computations | Alan H. Karp | 1997-09-23 |
| 5631859 | Floating point arithmetic unit having logic for quad precision arithmetic | Clemens Roothaan, Dennis W. Brzezinski | 1997-05-20 |
| 5515308 | Floating point arithmetic unit using modified Newton-Raphson technique for division and square root | Alan H. Karp, Dennis W. Brzezinski | 1996-05-07 |
| 5341321 | Floating point arithmetic unit using modified Newton-Raphson technique for division and square root | Alan H. Karp, Dennis W. Brzezinski | 1994-08-23 |
| 5287510 | Method for improving the efficiency of arithmetic code generation in an optimizing compiler using machine independent update instruction generation | Charles B. Hall, J. Kevin O'Brien | 1994-02-15 |
| 5249149 | Method and apparatus for performining floating point division | Daniel Cocanougher | 1993-09-28 |
| 5193190 | Partitioning optimizations in an optimizing compiler | Joyce M. Janczyn | 1993-03-09 |
| 4802091 | Method for improving the efficiency of arithmetic code generation in an optimizing compiler using the technique of reassociation | John Cocke | 1989-01-31 |
| 4656582 | Generating storage reference instructions in an optimizing compiler | Gregory J. Chaitin, Martin E. Hopkins, Henry S. Warren, Jr. | 1987-04-07 |
| 4656583 | Method for improving global common subexpression elimination and code motion in an optimizing compiler | Marc A. Auslander, John Cocke | 1987-04-07 |
| 4642764 | Method of developing formal identities and program bases in an optimizing compiler | Marc A. Auslander, Martin E. Hopkins | 1987-02-10 |
| 4642765 | Optimization of range checking | John Cocke, Victoria I. Markstein | 1987-02-10 |
| 4589087 | Condition register architecture for a primitive instruction set machine | Marc A. Auslander, John Cocke, Hsieh T. Hao, George Radin | 1986-05-13 |
| 4589065 | Mechanism for implementing one machine cycle executable trap instructions in a primitive instruction set computing system | Marc A. Auslander, John Cocke, Hsieh T. Hao, George Radin | 1986-05-13 |
| 4569016 | Mechanism for implementing one machine cycle executable mask and rotate instructions in a primitive instruction set computing system | Hsieh T. Hao, George Radin | 1986-02-04 |