| 11017137 |
Efficient projection based adjustment evaluation in static timing analysis of integrated circuits |
Chaitanya Ravindra Peddawad, Jeffrey G. Hemmett, Jason D. Morsey, Steven E. Washburn, Debjit Sinha +1 more |
2021-05-25 |
| 10372851 |
Independently projecting a canonical clock |
Nathan C. Buck, Sean Michael Carey, Eric A. Foreman, Jeffrey G. Hemmett, Lyle Jackson +3 more |
2019-08-06 |
| 9922149 |
Integration of functional analysis and common path pessimism removal in static timing analysis |
Kerim Kalafala, Stephen G. Shuma, Alexander J. Suess |
2018-03-20 |
| 9798850 |
System and method for combined path tracing in static timing analysis |
Kerim Kalafala, Prabhat Maurya |
2017-10-24 |
| 9418201 |
Integration of functional analysis and common path pessimism removal in static timing analysis |
Kerim Kalafala, Stephen G. Shuma, Alexander J. Suess |
2016-08-16 |
| 9235458 |
Methods and systems for delegating work objects across a mixed computer environment |
Harry J. Beatty, III, Charles Gates, Chen Luo |
2016-01-12 |
| 9052968 |
Methods and systems for linking objects across a mixed computer environment |
Harry J. Beatty, III, Charles Gates, Chen Luo |
2015-06-09 |
| 8943475 |
Methods and systems for interactive debugging in a mixed computer environment |
Harry J. Beatty, III, Charles Gates, Chen Luo |
2015-01-27 |
| 7823158 |
Adaptive scheduling and management of work processing in a target context in resource contention |
Harry J. Beatty, III, Chen Luo |
2010-10-26 |
| 7140018 |
Method of using a distinct flow of computational control as a reusable abstract data object |
Harry J. Beatty, III |
2006-11-21 |
| 7031989 |
Dynamic seamless reconfiguration of executing parallel software |
Unmesh Ballal, Harry J. Beatty, III, Qi Yan |
2006-04-18 |
| 6832378 |
Parallel software processing system |
Harry J. Beatty, III |
2004-12-14 |
| 6507903 |
High performance non-blocking parallel storage manager for parallel software executing on coordinates |
Harry J. Beatty, III |
2003-01-14 |
| 5751595 |
Method for building and verifying authenticity of a rule system |
Harry J. Beatty, III, Jeannie H. Panner, Bijan Salimi, Lansing D. Pickup |
1998-05-12 |
| 5748489 |
Parallel execution of a complex task partitioned into a plurality of entities |
Harry J. Beatty, III, Roland R. Gillis, Ira Pramanick |
1998-05-05 |
| 5615127 |
Parallel execution of a complex task partitioned into a plurality of entities |
Harry J. Beatty, III, Roland R. Gillis, Ira Pramanick |
1997-03-25 |
| 5602754 |
Parallel execution of a complex task partitioned into a plurality of entities |
Harry J. Beatty, III, Roland R. Gillis, Ira Pramanick |
1997-02-11 |
