Issued Patents 2017
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9760348 | Verification of a dataflow representation of a program through static type-checking | Krishnan Varadarajan | 2017-09-12 |
| 9658890 | Runtime agnostic representation of user code for execution with selected execution runtime | Krishnan Varadarajan | 2017-05-23 |
| 9600250 | Declarative programming model with a native programming language | Krishnan Varadarajan | 2017-03-21 |
| 9600255 | Dynamic data and compute resource elasticity | Krishnan Varadarajan | 2017-03-21 |
| 9582402 | Remote task queuing by networked computing devices | Steven K. Reinhardt, Vinod Tipparaju, Walter B. Benton | 2017-02-28 |