Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |