| 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 |