Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |