Issued Patents All Time
Showing 25 most recent of 32 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9983852 | Graphical specification and constraint language for developing programs for hardware implementation and use | Kaushik Ravindran, Jacob Kornerup, Rhishikesh Limaye, Guang Yang, Guoqiang Wang +4 more | 2018-05-29 |
| 9558099 | Staged program compilation with automated timing closure | Dustyn K. Blasig, Newton G. Petersen | 2017-01-31 |
| 9436438 | Graphical specification and constraint language for developing programs for hardware implementation and use | Kaushik Ravindran, Jacob Kornerup, Rhishikesh Limaye, Guang Yang, Guoqiang Wang +4 more | 2016-09-06 |
| 9335977 | Optimization of a data flow program based on access pattern information | Guoqiang Wang, Kaushik Ravindran, Rhishikesh Limaye, Guang Yang, Arkadeb Ghosal +5 more | 2016-05-10 |
| 9310975 | Automatically determining data transfer functionality for wires in a graphical diagram | David W Fuller, III, Timothy J. Hayles, John R. Breyer, Jacob Kornerup | 2016-04-12 |
| 9135143 | Automated analysis of compilation processes in a graphical specification and constraint language | Dustyn K. Blasig, Newton G. Petersen | 2015-09-15 |
| 9047007 | Semantic zoom within a diagram of a system | Jeffrey L. Kodosky, David W Fuller, III, Mohammed Kamran Shah, Jacob Kornerup, Timothy J. Hayles +6 more | 2015-06-02 |
| 8887121 | Developing programs for hardware implementation in a graphical specification and constraint language | Kaushik Ravindran, Jacob Kornerup, Rhishikesh Limaye, Guang Yang, Guoqiang Wang +4 more | 2014-11-11 |
| 8782525 | Displaying physical signal routing in a diagram of a system | Matthew C. Curtis, Jenifer M. Loy, Adam Gabbert, Jayson P. Ryckman, Jacob Kornerup +1 more | 2014-07-15 |
| 8726228 | Developing programs in a graphical specification and constraint language | Kaushik Ravindran, Guang Yang, Jacob Kornerup, Ian C. Wong, Michael J. Trimborn +1 more | 2014-05-13 |
| 8719774 | Developing programs for hardware implementation in a graphical specification and constraint language Via iterative estimation of performance or resource utilization | Guoqiang Wang, Sadia B. Malik, Hugo Andrade, Newton G. Petersen, Rhishikesh Limaye +4 more | 2014-05-06 |
| 8612870 | Graphically specifying and indicating targeted execution in a graphical program | Jeffrey L. Kodosky, David W Fuller, III, Timothy J. Hayles, John R. Breyer, Jacob Komerup +2 more | 2013-12-17 |
| 8612871 | Graphical diagram which automatically determines a data transport mechanism for wires based on configured policies | David W Fuller, III, Timothy J. Hayles, John R. Breyer, Jacob Kornerup | 2013-12-17 |
| 8555243 | Generating and debugging timing accurate simulations in a graphical specification and constraint language | — | 2013-10-08 |
| 8307289 | Network based system which provides a database of simulation solutions | Mohammed Kamran Shah, David W Fuller, III, Brian Sierer | 2012-11-06 |
| 8055738 | Automatically generating a configuration diagram based on task requirements | Mohammed Kamran Shah, David W Fuller, III, Brian Sierer | 2011-11-08 |
| 8028241 | Graphical diagram wires whose appearance represents configured semantics | Jeffrey L. Kodosky, David W Fuller, III, Timothy J. Hayles, John R. Breyer, Jacob Kornerup | 2011-09-27 |
| 8028242 | Diagram with configurable wires | Jeffrey L. Kodosky, David W Fuller, III, Timothy J. Hayles, John R. Breyer, Jacob Kornerup | 2011-09-27 |
| 7996782 | Data transfer indicator icon in a diagram | Timothy J. Hayles, David W Fuller, III, John R. Breyer | 2011-08-09 |
| 7904342 | Specifying products over a network | Mohammed Kamran Shah, David W Fuller, III, Brian Sierer | 2011-03-08 |
| 7895083 | Pricing products over a network | Mohammed Kamran Shah, David W Fuller, III, Brian Sierer | 2011-02-22 |
| 7890868 | Selecting a connectable element of a hardware device in a measurement system | Mohammed Kamran Shah, Brian Sierer | 2011-02-15 |
| 7844908 | Diagram that visually indicates targeted execution | Jeffrey L. Kodosky, David W Fuller, III, Timothy J. Hayles, John R. Breyer, Jacob Kornerup +2 more | 2010-11-30 |
| 7827068 | Network-based system for selecting or purchasing software products | Mohammed Kamran Shah, David W Fuller, III, Brian Sierer | 2010-11-02 |
| 7761802 | Expanding and collapsing components in a measurement system diagram | Mohammed Kamran Shah | 2010-07-20 |