| 10620936 |
Updating software |
David A. Gilbert, James W. Walker |
2020-04-14 |
| 10108413 |
Updating software |
David A. Gilbert, James W. Walker |
2018-10-23 |
| 10007510 |
Updating software |
David A. Gilbert, James W. Walker |
2018-06-26 |
| 9891947 |
Consent-based virtual machine migration |
David A. Gilbert, David N. Mackintosh |
2018-02-13 |
| 9612855 |
Virtual machine migration based on the consent by the second virtual machine running of the target host |
David A. Gilbert, David N. Mackintosh |
2017-04-04 |
| 9558026 |
Multi-component consent-based virtual machine migration |
David A. Gilbert, David N. Mackintosh |
2017-01-31 |
| 9489232 |
Techniques for attesting data processing systems |
David N. Mackintosh, Jose Juan Palacios Perez |
2016-11-08 |
| 9317276 |
Updating software |
David A. Gilbert, James W. Walker |
2016-04-19 |
| 9251349 |
Virtual machine migration |
Shawn P. Mullen, James W. Walker |
2016-02-02 |
| 9250951 |
Techniques for attesting data processing systems |
David N. Mackintosh, Jose Juan Palacios Perez |
2016-02-02 |
| 9075994 |
Processing attestation data associated with a plurality of data processing systems |
David N. Mackintosh, Jose J.P. Perez |
2015-07-07 |
| 8104027 |
Architecture for generating intermediate representations for program code conversion |
Daniel L. Owen, Jonathan J. Andrews, Miles Philip Howson |
2012-01-24 |
| 7934203 |
Preparing instruction groups for a processor having multiple issue ports |
William O. Lovett, Matthew Evans |
2011-04-26 |
| 7921413 |
Architecture for generating intermediate representations for program code conversion |
Daniel L. Owen, Jonathan J. Andrews, Miles Philip Howson |
2011-04-05 |
