| 9626180 |
Live operating system update mechanisms |
Frederic Barrat, Luke Matthew Browning, Laurent Dufour, Khalid Filali-Adib, Christophe Lombard +6 more |
2017-04-18 |
| 9619223 |
Live operating system update mechanisms |
Frederic Barrat, Luke Matthew Browning, Laurent Dufour, Khalid Filali-Adib, Christophe Lombard +6 more |
2017-04-11 |
| 9292318 |
Initiating software applications requiring different processor architectures in respective isolated execution environment of an operating system |
Frederic Barrat, Luke Matthew Browning, Khalid Filali-Adib, Perinkulam I. Ganesh, Randal C. Swanberg |
2016-03-22 |
| 9164812 |
Method and system to manage memory accesses from multithread programs on multiprocessor systems |
Marc Vertes, Dinesh Kumar Subhraveti |
2015-10-20 |
| 8984513 |
Transfer of event logs for replication of executing programs |
Dinesh Kumar Subhraveti, Marc Vertes |
2015-03-17 |
| 8978131 |
Deterministic serialization of access to shared resources in a multi-processor system for code instructions accessing resources in a non-deterministic order |
Reinhard T. Buendgen, Martin Schwidefsky |
2015-03-10 |
| 8490181 |
Deterministic serialization of access to shared resource in a multi-processor system for code instructions accessing resources in a non-deterministic order |
Reinhard T. Buendgen, Martin Schwidefsky |
2013-07-16 |
| 8370841 |
Optimizing deterministic event record and replay operations |
Dinesh Kumar Subhraveti, Marc Vertes |
2013-02-05 |
| 7921319 |
Method and system for providing a deterministic virtual clock |
Marc Vertes |
2011-04-05 |
| 7856536 |
Providing a process exclusive access to a page including a memory address to which a lock is granted to the process |
Dinesh Kumar Subhraveti, Marc Vertes |
2010-12-21 |
