| 11909770 |
Ongoing and on-demand secure verification of audit compliance |
Sandra P. Nava, Eric Richter, Jon P. Weiser, Matt Hartenbower, George C. Wilson |
2024-02-20 |
$7,691,000 |
| 11265348 |
Ongoing and on-demand secure verification of audit compliance |
Sandra P. Nava, Eric Richter, Jon P. Weiser, Matt Hartenbower, George C. Wilson |
2022-03-01 |
$6,542,000 |
| 10754630 |
Build-time code section-specific compiler selection |
George C. Wilson, Nathan D. Fontenot, Christy L. Norman |
2020-08-25 |
$2,454,000 |
| 10733081 |
Automatically establishing significance of static analysis results |
Fionnuala G. Gunter, Christy L. Norman Perez, George C. Wilson |
2020-08-04 |
$3,150,000 |
| 10733080 |
Automatically establishing significance of static analysis results |
Fionnuala G. Gunter, Christy L. Norman Perez, George C. Wilson |
2020-08-04 |
$3,150,000 |
| 10540350 |
Source code search engine |
Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson |
2020-01-21 |
$2,593,000 |
| 10262134 |
Detection of key logging activity |
Fionnuala G. Gunter, Christy L. Norman Perez, George C. Wilson |
2019-04-16 |
$3,839,000 |
| 10241892 |
Issuance of static analysis complaints |
— |
2019-03-26 |
$2,148,000 |
| 10095734 |
Source code search engine |
Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson |
2018-10-09 |
$3,566,000 |
| 10042775 |
Virtual disk alignment access |
Nathan D. Fontenot, Robert C. Jennings, Jr., Joel H. Schopp |
2018-08-07 |
$1,950,000 |
| 9940259 |
Virtual disk alignment access |
Nathan D. Fontenot, Robert C. Jennings, Jr., Joel H. Schopp |
2018-04-10 |
$2,135,000 |
| 9934270 |
Source code search engine |
Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson |
2018-04-03 |
$2,801,000 |
| 9852055 |
Multi-level memory compression |
Christopher J. Arges, Nathan D. Fontenot, Jeffrey George, Ryan P. Grimm, Joel H. Schopp +1 more |
2017-12-26 |
$2,704,000 |
| 9852056 |
Multi-level memory compression |
Christopher J. Arges, Nathan D. Fontenot, Jeffrey George, Ryan P. Grimm, Joel H. Schopp +1 more |
2017-12-26 |
$2,704,000 |
| 9811556 |
Source code search engine |
Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson |
2017-11-07 |
$4,555,000 |
| 9734078 |
Resetting memory locks in a transactional memory system |
Nathan D. Fontenot, Ryan P. Grimm, Robert C. Jennings, Jr., Joel H. Schopp |
2017-08-15 |
$1,588,000 |
| 9594559 |
Binary file for computer program having multiple executable code variants for a function that are executable on a same processor architecture |
Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson |
2017-03-14 |
$3,628,000 |
| 9552223 |
Post-return asynchronous code execution |
Nathan D. Fontenot, Robert C. Jennings, Jr., Joel H. Schopp, George C. Wilson |
2017-01-24 |
$6,164,000 |
| 9524246 |
Resetting memory locks in a transactional memory system |
Nathan D. Fontenot, Ryan P. Grimm, Robert C. Jennings, Jr., Joel H. Schopp |
2016-12-20 |
$6,917,000 |
| 9513951 |
Maintaining hardware resource bandwidth quality-of-service via hardware counter |
Christopher J. Arges, Nathan D. Fontenot, Jeffrey George, Joel H. Schopp, Mark Wayne VanderWiele |
2016-12-06 |
$2,582,000 |
| 9378242 |
Source code search engine |
Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson |
2016-06-28 |
$5,648,000 |
| 9250895 |
Establishing subsystem boundaries based on call flow graph topology |
— |
2016-02-02 |
$1,325,000 |
| 9201642 |
Extending platform trust during program updates |
Nathan D. Fontenot, Joel H. Schopp, George C. Wilson |
2015-12-01 |
$5,130,000 |
| 9183022 |
Maintaining hardware resource bandwidth quality-of-service via hardware counter |
Christopher J. Arges, Joel H. Schopp, Nathan D. Fontenot, Jeffrey George, Mark Wayne VanderWiele |
2015-11-10 |
$5,091,000 |
| 9183054 |
Maintaining hardware resource bandwidth quality-of-service via hardware counter |
Christopher J. Arges, Joel H. Schopp, Nathan D. Fontenot, Jeffrey George, Mark Wayne VanderWiele |
2015-11-10 |
$5,091,000 |
