| 9164910 |
Managing the storage of data in coherent data stores |
Nicolas Chaussade |
2015-10-20 |
| 8151055 |
Cache accessing using a micro TAG |
Louis-Marie Vincent Mouton, Nicolas Jean Phillippe Huot, Gilles Eric Grandou |
2012-04-03 |
| 7949866 |
Exception types within a secure processing system |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet |
2011-05-24 |
| 7925871 |
Identification and correction of cyclically recurring errors in one or more branch predictors |
Louis-Marie Vincent Mouton, Nicolas Jean Phillippe Huot, Gilles Eric Grandou |
2011-04-12 |
| 7849310 |
Switching between secure and non-secure processing modes |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet |
2010-12-07 |
| 7840001 |
Data processing apparatus |
Lionel Belnet, Simon Andrew Ford |
2010-11-23 |
| 7783869 |
Accessing branch predictions ahead of instruction fetching |
Gilles Eric Grandou, Louis-Marie Vincent Mouton |
2010-08-24 |
| 7661105 |
Exception types within a secure processing system |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet |
2010-02-09 |
| 7661104 |
Task following between multiple operating systems |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet +2 more |
2010-02-09 |
| 7596663 |
Identifying a cache way of a cache access request using information from the microtag and from the micro TLB |
Louis-Marie Vincent Mouton, Gilles Eric Grandou |
2009-09-29 |
| 7571305 |
Reusing a buffer memory as a microcache for program instructions of a detected program loop |
Fredrick Claude Marie Piry, Louis-Marie Vincent Mouton, Gilles Eric Grandou |
2009-08-04 |
| 7448050 |
Handling multiple interrupts in a data processing system utilising multiple operating systems |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet +2 more |
2008-11-04 |
| 7383587 |
Exception handling control in a secure processing system |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet |
2008-06-03 |
| 7325083 |
Delivering data processing requests to a suspended operating system |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet +2 more |
2008-01-29 |
| 7305712 |
Security mode switching via an exception vector |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet |
2007-12-04 |
| 7124274 |
Virtual to physical memory address mapping within a system having a secure domain and a non-secure domain |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet +2 more |
2006-10-17 |
| 7117284 |
Vectored interrupt control within a system having a secure domain and a non-secure domain |
Simon Charles Watt, Christopher Bentley Dornan, Luc Orion, Nicolas Chaussade, Lionel Belnet +2 more |
2006-10-03 |