| 10949182 |
Systems and methods for generating code for parallel processing units |
Girish Venkataramani, Rama Kokku, Jayaprabha Shankar, James L. Brock, Chun-Yu Shei |
2021-03-16 |
| 10922208 |
Observer for simulation test and verification |
Mahesh Nanjundappa, S. M. Shahed Nejhum, Krishna Balasubramanian, John P. Dirner |
2021-02-16 |
| 10831456 |
External code integrations within a computing environment |
Vivek Bhownani, Alexander C. Feinman, Fazil Peermohammed, David A. Foti, Ebrahim Mehran Mestchian +9 more |
2020-11-10 |
| 10684936 |
Observer for simulation test and verification |
Mahesh Nanjundappa, S. M. Shahed Nejhum, Krishna Balasubramanian, John P. Dirner |
2020-06-16 |
| 10360502 |
Generating a state diagram |
Siddhartha Shankar, Srinath Avadhanula, Ebrahim Mehran Mestchian, Yao Ren |
2019-07-23 |
| 10318653 |
Systems and methods for creating harness models for model verification |
Yit Phang Khoo, John P. Dirner, S. M. Shahed Nejhum, Gregg P. Smith, Kalyan Bemalkhedkar +1 more |
2019-06-11 |
| 10157045 |
Systems and methods for automatically generating code for deep learning systems |
Girish Venkataramani, Rama Kokku, Jayaprabha Shankar, James L. Brock, Chun-Yu Shei +1 more |
2018-12-18 |
| 9600241 |
Unified state transition table describing a state machine model |
Siddhartha Shankar, Srinath Avadhanula, Ebrahim Mehran Mestchian, Yao Ren |
2017-03-21 |
| 9594608 |
Message-based modeling |
Hidayet T. Simsek, Ramamurthy Mani |
2017-03-14 |
| 9507888 |
Active state visualization for finite state machine models |
Nishith Aggarwal, Srinath Avadhanula, David B. Andrade |
2016-11-29 |
| 9304840 |
Message-based modeling |
Hidayet T. Simsek, Ramamurthy Mani |
2016-04-05 |
| 8904367 |
Auto pipeline insertion |
Partha Biswas, Zhihong Zhao |
2014-12-02 |
| 8798971 |
System and method for using a truth table graphical function in a statechart |
Robert O. Aberg, Yao Ren |
2014-08-05 |
| 8689236 |
Message-based modeling |
Hidayet T. Simsek, Ramamurthy Mani |
2014-04-01 |
| 8402449 |
Technique for automatically assigning placement for pipeline registers within code generated from a program specification |
Partha Biswas, Zhihong Zhao |
2013-03-19 |
| 8364456 |
Conditionally executed states |
Zhihong Zhao |
2013-01-29 |
| 8170850 |
Graphical functions |
Jay Ryan Torgerson |
2012-05-01 |
| 7941303 |
Event-based temporal logic |
Ebrahim Mehran Mestchian |
2011-05-10 |
| 7720656 |
Graphical functions |
Jay Ryan Torgerson |
2010-05-18 |
| 7365925 |
Method of aligning optical elements |
Kenneth J. Wayne |
2008-04-29 |
| 7020850 |
Event-based temporal logic |
Ebrahim Mehran Mestchian |
2006-03-28 |
| 6893721 |
Process for the reduction of undesirable outgassing species |
Mark Timothy Sullivan |
2005-05-17 |
| 6844419 |
Mounting process for outgassing-sensitive optics |
Mark Timothy Sullivan, Gerald William Purmal |
2005-01-18 |
| 6451142 |
Mounting process for outgassing-sensitive optics |
Mark Timothy Sullivan, Gerald William Purmal |
2002-09-17 |