| 10708656 |
Provisioning work environments using virtual phone images |
Stephen Deasy, Craig Newell, Emil Sit, Paul Wisner, David Furodet +2 more |
2020-07-07 |
| 10044734 |
Provisioning work environments on personal mobile devices |
Stephen Deasy, Craig Newell, Emil Sit, Paul Wisner, David Furodet +2 more |
2018-08-07 |
| 9985929 |
Controlling use of a business environment on a mobile device |
Stephen Deasy, Robert Meyer, Craig Newell, Emil Sit, Paul Wisner +2 more |
2018-05-29 |
| 9577985 |
Provisioning work environments on personal mobile devices |
Stephen Deasy, Craig Newell, Emil Sit, Paul Wisner, David Furodet +2 more |
2017-02-21 |
| 9449169 |
Block storage virtualization on commodity secure digital cards |
Cyprien Laplace, Harvey Tuch, Kenneth Charles Barr, Craig Newell, Bi Wu |
2016-09-20 |
| 9247042 |
Controlling use of a business environment on a mobile device |
Stephen Deasy, Robert Meyer, Craig Newell, Emil Sit, Paul Wisner +2 more |
2016-01-26 |
| 9219813 |
Provisioning work environments on personal mobile devices |
Stephen Deasy, Craig Newell, Emil Sit, Paul Wisner, David Furodet +2 more |
2015-12-22 |
| 8875114 |
Employing identifiers provided by an operating system of a processing environment to optimize the processing environment |
Theodore J. Bohizic, Rahul Chandrakar, Mark H. Decker |
2014-10-28 |
| 8725984 |
Performing memory accesses while omitting unnecessary address translations |
Ali Sheikh, Kirk A. Stewart |
2014-05-13 |
| 8285968 |
Performing memory accesses while omitting unnecessary address translations |
Ali Sheikh, Kirk A. Stewart |
2012-10-09 |
| 7945433 |
Hardware simulation accelerator design and method that exploits a parallel structure of user models to support a larger user model size |
Daniel Crouse, Gernot E. Guenther, Harrell Hoffman, Kevin Anthony Pasnik, Thomas J. Tryt +1 more |
2011-05-17 |
| 7899663 |
Providing memory consistency in an emulated processing environment |
Theodore J. Bohizic, Mark H. Decker |
2011-03-01 |
| 7882336 |
Employing a buffer to facilitate instruction execution |
Theodore J. Bohizic, Mark H. Decker |
2011-02-01 |
| 7865346 |
Instruction encoding in a hardware simulation accelerator |
Gernot E. Günther, Kevin Anthony Pasnik, Thomas J. Tryt, John Henry Westermann, Jr. |
2011-01-04 |
| 7783867 |
Controlling instruction execution in a processing environment |
Theodore J. Bohizic, Mark H. Decker |
2010-08-24 |
| 7769577 |
Hardware accelerator with a single partition for latches and combinational logic |
Gernot E. Guenther, Harrell Hoffman, Kevin Anthony Pasnik, John Henry Westerman, Jr. |
2010-08-03 |
| 7743234 |
Facilitating communication within an emulated processing environment |
Theodore J. Bohizic, George A. Darling, Mark H. Decker |
2010-06-22 |
| 7685381 |
Employing a data structure of readily accessible units of memory to facilitate memory access |
Theodore J. Bohizic, Mark H. Decker |
2010-03-23 |
| 7562320 |
Asic based conveyor belt style programmable cross-point switch hardware accelerated simulation engine |
Gernot E. Guenther, Thomas J. Tryt, John Henry Westerman, Jr. |
2009-07-14 |
| 7290228 |
Hardware accelerator with a single partition for latches and combinational logic |
Gernot E. Guenther, Harrell Hoffman, Kevin Anthony Pasnik, John Henry Westermann, Jr. |
2007-10-30 |
