| 11405329 |
Cloud resource placement |
David A. Cuthbert |
2022-08-02 |
| 11301492 |
Network address range storage and retrieval |
Ross Bevan Engers |
2022-04-12 |
| 10333901 |
Policy based data aggregation |
Daniel Bauman, Willem Jacob Buys, Joshua Dawie Mentz, Aidan Musnitzky, Timothy Ralph Sjoberg +3 more |
2019-06-25 |
| 10289726 |
Self-optimizing table distribution with transparent replica cache |
Oliver Benke, Jan Kunigk |
2019-05-14 |
| 9819724 |
XML communication |
Oliver Benke |
2017-11-14 |
| 9760420 |
Fleet host rebuild service implementing vetting, diagnostics, and provisioning pools |
Ross Bevan Engers |
2017-09-12 |
| 9584616 |
XML communication |
Oliver Benke |
2017-02-28 |
| 9575657 |
Dataset replica migration |
Oliver Benke, Jan Kunigk, Joerg-Stephan Vogt |
2017-02-21 |
| 9569108 |
Dataset replica migration |
Oliver Benke, Jan Kunigk, Joerg-Stephan Vogt |
2017-02-14 |
| 9542296 |
Disk replacement using a predictive statistical model |
Ross Bevan Engers |
2017-01-10 |
| 9448807 |
Automatic creation, deployment, and upgrade of disk images |
Walter Haug, Steffen Hees, Roland Seiffert, Jan-Bernd Themann |
2016-09-20 |
| 9313208 |
Managing restricted access resources |
Ross Bevan Engers, Daniel Bauman, Willem Jacob Buys, Timothy Ralph Sjoberg, Ronen Dov Agranat +3 more |
2016-04-12 |
| 9178867 |
Interacting with restricted environments |
Ross Bevan Engers, Daniel Bauman, Willem Jacob Buys, Timothy Ralph Sjoberg, Ronen Dov Agranat +3 more |
2015-11-03 |
| 9098653 |
Verifying processor-sparing functionality in a simulation environment |
Joerg Deutschle, Bodo Hoppe, Erica Stuecheli, Brian W. Thompto |
2015-08-04 |
| 9015025 |
Verifying processor-sparing functionality in a simulation environment |
Joerg Deutschle, Bodo Hoppe, Erica Stuecheli, Brian W. Thompto |
2015-04-21 |
| 9009430 |
Restoration of data from a backup storage volume |
Oliver Augenstein |
2015-04-14 |
| 8959332 |
Deduplication of encrypted data |
Oliver Augenstein |
2015-02-17 |
| 8930686 |
Deduplication of encrypted data |
Oliver Augenstein |
2015-01-06 |
| 8600724 |
Verifying a processor design using a processor simulation model |
Kai Weber, Juergen Vielfort |
2013-12-03 |
| 8527749 |
User device, computer program product and computer system for system for secure network storage |
Oliver Augenstein |
2013-09-03 |
| 8402403 |
Verifying a register-transfer level design of an execution unit |
Michelangelo Masini, Juergen Vielfort, Kai Weber |
2013-03-19 |
| 8249848 |
Verifying a processor design using a processor simulation model |
Kai Weber, Juergen Vielfort |
2012-08-21 |
| 8001212 |
Method and data processing system for providing XML data |
Roland Seiffert |
2011-08-16 |
| 7865793 |
Test case generation with backward propagation of predefined results and operand dependencies |
Juergen Vielfort, Kai Weber |
2011-01-04 |
