| 7155471 |
Method and system for determining the correct rounding of a function |
Dale Morris, James M. Hull |
2006-12-26 |
$31,179,000 |
| 7065757 |
Efficient compilation of family of related functions |
James W. Thomas, Kevin Crozier |
2006-06-20 |
$15,545,000 |
| 7065758 |
Optimize code for a family of related functions |
James W. Thomas, Kevin Crozier |
2006-06-20 |
$15,545,000 |
| 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 |
$49,519,000 |
| 5631859 |
Floating point arithmetic unit having logic for quad precision arithmetic |
Clemens Roothaan, Dennis W. Brzezinski |
1997-05-20 |
$76,959,000 |
| 5515308 |
Floating point arithmetic unit using modified Newton-Raphson technique for division and square root |
Alan H. Karp, Dennis W. Brzezinski |
1996-05-07 |
$43,656,000 |
| 5341321 |
Floating point arithmetic unit using modified Newton-Raphson technique for division and square root |
Alan H. Karp, Dennis W. Brzezinski |
1994-08-23 |
$13,135,000 |
| 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 |
$6,064,000 |
| 5249149 |
Method and apparatus for performining floating point division |
Daniel Cocanougher |
1993-09-28 |
$10,590,000 |
| 5193190 |
Partitioning optimizations in an optimizing compiler |
Joyce M. Janczyn |
1993-03-09 |
$11,424,000 |
| 4802091 |
Method for improving the efficiency of arithmetic code generation in an optimizing compiler using the technique of reassociation |
John Cocke |
1989-01-31 |
$32,322,000 |
| 4656582 |
Generating storage reference instructions in an optimizing compiler |
Gregory J. Chaitin, Martin E. Hopkins, Henry S. Warren, Jr. |
1987-04-07 |
$23,147,000 |
| 4656583 |
Method for improving global common subexpression elimination and code motion in an optimizing compiler |
Marc A. Auslander, John Cocke |
1987-04-07 |
$23,147,000 |
| 4642764 |
Method of developing formal identities and program bases in an optimizing compiler |
Marc A. Auslander, Martin E. Hopkins |
1987-02-10 |
$19,411,000 |
| 4642765 |
Optimization of range checking |
John Cocke, Victoria I. Markstein |
1987-02-10 |
$19,411,000 |
| 4589087 |
Condition register architecture for a primitive instruction set machine |
Marc A. Auslander, John Cocke, Hsieh T. Hao, George Radin |
1986-05-13 |
$13,238,000 |
| 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 |
$13,238,000 |
| 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 |
$19,748,000 |
