| 12147580 |
Provisioning secure/encrypted virtual machines in a cloud infrastructure |
Guerney D. H. Hunt, Dimitrios Pendarakis, Kenneth A. Goldman, Elaine R. Palmer |
2024-11-19 |
| 10452768 |
Managing source annotation metadata |
Timothy C. Pepper, Eric B. Munson, Gerrit Huizenga |
2019-10-22 |
| 9632845 |
Non-preemption of a group of interchangeable tasks in a computing device |
Yun Wang, Guang Rong Xiao, Wei-Wen Yang |
2017-04-25 |
| 9632844 |
Non-preemption of a group of interchangeable tasks in a computing device |
Yun Wang, Guang Rong Xiao, Wei-Wen Yang |
2017-04-25 |
| 9032374 |
Metadata-integrated debugger |
Eric B. Munson, Timothy C. Pepper, Nathan V. Bak, Gerrit Huizenga, Patricia A. Gaughen |
2015-05-12 |
| 9003399 |
Methods, systems and computer products for a dynamic repository |
Nathan V. Bak, Patricia A. Gaughen, Huizenga Gerrit, Jon A. Grimm, Donjuma S. Lee +2 more |
2015-04-07 |
| 8881103 |
Comparing component weights between builds |
Nathan V. Bak, Eric B. Munson, Timothy C. Pepper |
2014-11-04 |
| 8495567 |
Transferring annotations across versions of the data |
Nathan V. Bak, Patricia A. Gaughen, Gerrit Huizenga, Eric B. Munson, Timothy C. Pepper |
2013-07-23 |
| 8347277 |
Verifying that binary object file has been generated from source files |
Gerrit Huizenga, Eric B. Munson |
2013-01-01 |
| 7987250 |
Maximum clique in a graph |
— |
2011-07-26 |
| 7975176 |
Application failure recovery |
Nathan V. Bak, Gerrit Huizenga, Timothy C. Pepper |
2011-07-05 |
| 6829687 |
Volume data net backup |
— |
2004-12-07 |
