| 12217177 |
Processing loops in computational graphs |
Jeffrey Adgate Dean |
2025-02-04 |
| 11769061 |
Processing computational graphs |
Paul A. Tucker, Jeffrey Adgate Dean, Sanjay Ghemawat |
2023-09-26 |
| 11763146 |
Processing loops in computational graphs |
Jeffrey Adgate Dean |
2023-09-19 |
| 11620580 |
Methods and systems for probabilistic filtering of candidate intervention representations |
Saaransh Mahna, James Rollins, Farzana Rahman |
2023-04-04 |
| 11604805 |
Terminal, storage medium, and database synchronization method thereof |
Yeh-Ching Chung |
2023-03-14 |
| 10970628 |
Training neural networks represented as computational graphs |
Manjunath Kudlur Venkatakrishna |
2021-04-06 |
| 10860925 |
Processing computational graphs |
Paul A. Tucker, Jeffrey Adgate Dean, Sanjay Ghemawat |
2020-12-08 |
| 10769521 |
Processing loops in computational graphs |
Jeffrey Adgate Dean |
2020-09-08 |
| 10534997 |
Processing computational graphs |
Paul A. Tucker, Jeffrey Adgate Dean, Sanjay Ghemawat |
2020-01-14 |
| 9712102 |
Programming control method for servo fan and programming control device thereof |
Pang Lee |
2017-07-18 |
| 8914782 |
Optimization of declarative queries |
Michael Isard, Derek G. Murray |
2014-12-16 |
| 8788556 |
Matrix computation framework |
Zheng Zhang, Zhengping Qian, Xiuwei Chen |
2014-07-22 |
| 8392403 |
Management of data and computation in data centers |
Pradeep Kumar Gunda, Li Zhuang |
2013-03-05 |
| 8239847 |
General distributed reduction for data parallel computing |
Pradeep Kumar Gunda, Michael Isard |
2012-08-07 |
| 8209664 |
High level programming extensions for distributed data parallel processing |
Ulfar Erlingsson, Michael Isard, Frank D. McSherry |
2012-06-26 |
| 8201142 |
Description language for structured graphs |
Michael Isard, Andrew Birrell |
2012-06-12 |
| 8185874 |
Automatic and systematic detection of race conditions and atomicity violations |
Thomas J. Ball, Shuvendu K. Lahiri |
2012-05-22 |
| 7689780 |
Adaptive granularity refinement in detecting potential data races |
Thomas L. Rodeheffer |
2010-03-30 |
| 7620852 |
Systems and methods of reporting multiple threads involved in a potential data race |
Thomas L. Rodeheffer |
2009-11-17 |
| 7549150 |
Method and system for detecting potential races in multithreaded programs |
— |
2009-06-16 |
| 7249333 |
Quantified boolean formula (QBF) solver |
Lintao Zhang |
2007-07-24 |
| 7231498 |
Adaptive granularity refinement in detecting potential data races |
Thomas L. Rodeheffer |
2007-06-12 |