Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11537481 | Hardware validation of safety critical scheduling | Martin Cocking | 2022-12-27 |
| 10678744 | Method and system for lockless interprocessor communication | Raymond Richardson | 2020-06-09 |
| 10459722 | Device, system, and method for secure supervisor system calls | — | 2019-10-29 |
| 7383548 | CPU usage regulation | Gary Kenneth Boon, Keith Dysart, Greg Waines, France Tremblay | 2008-06-03 |