Issued Patents All Time
Showing 26–50 of 102 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8843887 | Fast dispatch predicate for overloaded functions with generic type hierarchies that lack contravariance | David R. Chase, Karl B. Naden, Justin R. Hilburn, Victor M. Luchangco | 2014-09-23 |
| 8799344 | Comparator unit for comparing values of floating point operands | — | 2014-08-05 |
| 8793294 | Circuit for selectively providing maximum or minimum of a pair of floating point operands | — | 2014-07-29 |
| 8543631 | Total order comparator unit for comparing values of two floating point operands | — | 2013-09-24 |
| 7890722 | Sequentially performed compound compare-and-swap | Ole Agesen, Nir N. Shavit | 2011-02-15 |
| 7831652 | Floating point multiplier with embedded status information | — | 2010-11-09 |
| 7805467 | Code preparation technique employing lock-free pointer operations | Mark S. Moir, David L. Detlefs, Simon Doherty, Maurice P. Herlihy, Victor M. Luchangco +1 more | 2010-09-28 |
| 7613762 | Floating point remainder with embedded status information | — | 2009-11-03 |
| 7583687 | Lock-free double-ended queue based on a dynamic ring | Paul Martin, Christine H. Flood | 2009-09-01 |
| 7539849 | Maintaining a double-ended queue in a contiguous array with concurrent non-blocking insert and remove operations using a double compare-and-swap primitive | Nir N. Shavit, Ole Agesen, David L. Detlefs, Christine H. Flood, Alexander T. Garthwaite +1 more | 2009-05-26 |
| 7530051 | Method and apparatus for dimensional analysis encoded in metatypes and generics | Eric Allen, David R. Chase, Victor M. Luchangco, Jan-Willem Maessen | 2009-05-05 |
| 7444367 | Floating point status information accumulation circuit | — | 2008-10-28 |
| 7430576 | Floating point square root provider with embedded status information | — | 2008-09-30 |
| 7424477 | Shared synchronized skip-list data structure and technique employing linearizable operations | Paul Martin, Nir N. Shavit, Steven K. Heller, Mark S. Moir, Victor M. Luchangco | 2008-09-09 |
| 7395297 | Floating point system that represents status flag information within a floating point operand | — | 2008-07-01 |
| 7366749 | Floating point adder with embedded status information | — | 2008-04-29 |
| 7363337 | Floating point divider with embedded status information | — | 2008-04-22 |
| 7353342 | Shared lease instruction support for transient blocking synchronization | Daniel S. Nussbaum, Mark S. Moir, Nir N. Shavit | 2008-04-01 |
| 7346747 | Exclusive lease instruction support for transient blocking synchronization | Daniel S. Nussbaum, Mark S. Moir, Nir N. Shavit | 2008-03-18 |
| 7236999 | Methods and systems for computing the quotient of floating-point intervals | — | 2007-06-26 |
| 7228324 | Circuit for selectively providing maximum or minimum of a pair of floating point operands | — | 2007-06-05 |
| 7219117 | Methods and systems for computing floating-point intervals | — | 2007-05-15 |
| 7191202 | Comparator unit for comparing values of floating point operands | — | 2007-03-13 |
| 7171657 | Method and apparatus for importing static members of a class | Joshua Bloch | 2007-01-30 |
| 7152113 | Efficient system and method of node and link insertion for deadlock-free routing on arbitrary topologies | John Reynders, Radia J. Perlman, Dah Ming Chiu, Miriam C. Kadansky, Murat Yuksel | 2006-12-19 |