Issued Patents 2024
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12169394 | Method of optimizing execution of a function on a control system and apparatus for the same | Dmitri Lapanik | 2024-12-17 |
| 12045602 | Correctness verification system, method, device, and program | — | 2024-07-23 |
| 11954034 | Cache coherency protocol for encoding a cache line with a domain shared state | — | 2024-04-09 |
| 11860996 | Security concepts for web frameworks | Filip J. Pizlo, Yin Zin Mark Lam, Michael L. Saboff | 2024-01-02 |