Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10152331 | Method and system for enforcing kernel mode access protection | Surya Kiran Satyavolu | 2018-12-11 |
| 9946561 | Least privileged operating system | Mati Sauks | 2018-04-17 |
| 8997111 | System and method for deterministic context switching in a real-time scheduler | Keith Richard Backensto | 2015-03-31 |
| 8984527 | System and method for execution time donation in a time-partitioning scheduler | Keith Richard Backensto | 2015-03-17 |
| 8359575 | Protection domains for a computer operating system | David N. Wilner, John Fogelin, Kent Long, Maarten Koning, John Gordon +1 more | 2013-01-22 |
| 7213247 | Protection domains for a computer operating system | David N. Wilner, John Fogelin, Kent Long, Maarten Koning, John Gordon +1 more | 2007-05-01 |
| 7103745 | Two-level operating system architecture | Maarten Koning, Andrew Gaiarsa | 2006-09-05 |
| 6988226 | Health monitoring system for a partitioned architecture | Maarten Koning, Kevin McCombe, Vincent Hue, Remi Cote, Andrew Gaiarsa | 2006-01-17 |
| 6976221 | System and method for flexible software linking | Pierre-Alain Darlet, David N. Wilner | 2005-12-13 |
| 6542167 | System and method for flexible software linking | Pierre-Alain Darlet, David N. Wilner | 2003-04-01 |