| 12497880 |
Fracturing system and control system and method for the fracturing system |
Kaipeng Liu, Xinhai Li, Zhuqing Mao, Weiwei Liu, Lianhua Li +2 more |
2025-12-16 |
|
| 12460631 |
Fracturing apparatus |
Shyr-Shy Chang, Lin LV, Jiajie ZHONG, Shanwu Fu, Chunqiang Lan +2 more |
2025-11-04 |
|
| 12442370 |
Fracturing equipment having multiple electric-power supplies |
Kaipeng Liu, Shouzhe LI, Zhuqing Mao, Shyr-Shy Chang, Lin LV +6 more |
2025-10-14 |
|
| 12236217 |
Transformation of computer code based on idiom recognition and value constraint analysis |
Wai Hung Tsang, Hubert Shun Kwan Tong, Wei Huang |
2025-02-25 |
|
| 12141581 |
Predictive dead store elimination |
Wai Hung Tsang, Hubert Shun Kwan Tong, Zarko Todorovski |
2024-11-12 |
$15,831,000 |
| 11829738 |
Static block frequency prediction in irreducible loops within computer code |
Jeeva Paudel |
2023-11-28 |
$7,743,000 |
| 11662989 |
Pointer alignment computation in program code according to code pattern analyses |
— |
2023-05-30 |
$4,328,000 |
| 11561778 |
Instrumentation for nested conditional checks |
Wai Hung Tsang, Ettore Tiotto |
2023-01-24 |
$6,971,000 |
| 10656925 |
Managing aliasing constraints |
Raul E. Silvera |
2020-05-19 |
$2,035,000 |
| 10101979 |
Managing aliasing constraints |
Raul E. Silvera |
2018-10-16 |
$2,674,000 |
| 10095491 |
Data splitting for recursive data structures |
Roch G. Archambault, Stephen Curial, Yaoqing Gao, Raul E. Silvera, Peng Zhao |
2018-10-09 |
$3,566,000 |
| 9727319 |
Reducing compilation time using profile-directed feedback |
William G. O'Farrell, Graham K. Yiu |
2017-08-08 |
$2,569,000 |
| 9535673 |
Reducing compilation time using profile-directed feedback |
William G. O'Farrell, Graham K. Yiu |
2017-01-03 |
$2,646,000 |
| 9424011 |
Recursive expression simplification |
Yaoqing Gao |
2016-08-23 |
$3,302,000 |
| 9405516 |
Recursive expression simplification |
Yaoqing Gao |
2016-08-02 |
$5,615,000 |
| 9311065 |
Data splitting for multi-instantiated objects |
Yan Zhang |
2016-04-12 |
$2,843,000 |
| 9298630 |
Optimizing memory bandwidth consumption using data splitting with software caching |
Christopher M. Barton, Satish K. Sadasivam, Raul E. Silvera, Madhavi G. Valluri, Steven Wayne White |
2016-03-29 |
$707,000 |
| 9110684 |
Data splitting for recursive data structures |
Roch G. Archambault, Stephen Curial, Yaoqing Gao, Raul E. Silvera, Peng Zhao |
2015-08-18 |
$3,868,000 |
| 9104577 |
Optimizing memory bandwidth consumption using data splitting with software caching |
Christopher M. Barton, Satish K. Sadasivam, Raul E. Silvera, Mahavi G. Valluri, Steven Wayne White |
2015-08-11 |
$2,160,000 |
| 8484630 |
Code motion based on live ranges in an optimizing compiler |
Raul E. Silvera |
2013-07-09 |
$6,470,000 |
| 8458679 |
May-constant propagation |
Roch G. Archambault, Yaoqing Gao |
2013-06-04 |
$4,195,000 |
| 8352684 |
Optimal cache replacement scheme using a training operation |
Roch G. Archambault, Chen Ding, Yaoqing Gao, Xiaoming Gu, Raul E. Silvera +1 more |
2013-01-08 |
$4,312,000 |
| 8332833 |
Procedure control descriptor-based code specialization for context sensitive memory disambiguation |
Roch G. Archambault, Yaoqing Gao, Raul E. Silvera, Peng Zhao |
2012-12-11 |
$5,394,000 |
| 8161464 |
Compiling source code |
Roch G. Archambault, Yaoqing Gao, Raul E. Silvera |
2012-04-17 |
$5,847,000 |
| 8146070 |
Method and apparatus for optimizing software program using inter-procedural strength reduction |
Roch G. Archambault, Raul E. Silvera |
2012-03-27 |
$9,873,000 |
