| 10528345 |
Instructions and logic to provide atomic range modification operations |
Ilan Pardo, Oren Ben-Kiki, Nadav Tsvi Chachmon, James H. Cownie |
2020-01-07 |
| 9760410 |
Technologies for fast synchronization barriers for many-core processing |
— |
2017-09-12 |
| 9747108 |
User-level fork and join processors, methods, systems, and instructions |
Oren Ben-Kiki, Ilan Pardo, James H. Cownie |
2017-08-29 |
| 9690552 |
Technologies for low-level composable high performance computing libraries |
Hongbo Rong, Peng Tu, Tatiana Shpeisman, Hai Paul Liu, Todd Alan Anderson +5 more |
2017-06-27 |
| 9507594 |
Method and system of compiling program code into predicated instructions for execution on a processor without a program counter |
— |
2016-11-29 |
| 9348658 |
Technologies for efficient synchronization barriers with work stealing support |
Alejandro Duran Gonzalez |
2016-05-24 |
| 8707324 |
Fair scalable reader-writer mutual exclusion |
Alexey Kukanov |
2014-04-22 |
| 8468509 |
Advance trip count computation in a concurrent processing environment |
— |
2013-06-18 |
| 8127303 |
Fair scalable reader-writer mutual exclusion |
Alexey Kukanov |
2012-02-28 |
| 8108867 |
Preserving hardware thread cache affinity via procrastination |
— |
2012-01-31 |
| 7730491 |
Fair scalable reader-writer mutual exclusion |
Alexey Kukanov |
2010-06-01 |
| 7624386 |
Fast tree-based generation of a dependence graph |
— |
2009-11-24 |
| 7257808 |
System and method to reduce the size of source code in a processing system |
— |
2007-08-14 |
| 7213242 |
Run-time behavior preserving partial redundancy elimination |
— |
2007-05-01 |
| 7165245 |
Pruning local graphs in an inter-procedural analysis solver |
— |
2007-01-16 |
| 7120904 |
Data-flow method for optimizing exception-handling instructions in programs |
— |
2006-10-10 |
| 7062759 |
Method and system for interprocedural side effect analysis |
— |
2006-06-13 |
| 6820253 |
Method and system for interprocedural analysis with separate compilation |
— |
2004-11-16 |
| 6370685 |
Data-flow method of analyzing definitions and uses of L values in programs |
— |
2002-04-09 |
| 5805894 |
Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs |
— |
1998-09-08 |
| 5790866 |
Method of analyzing definitions and uses in programs with pointers and aggregates in an optimizing compiler |
— |
1998-08-04 |
| 5710927 |
Method of replacing lvalues by variables in programs containing nested aggregates in an optimizing compiler |
— |
1998-01-20 |