| 9753698 |
Language-based model for isolating shared state |
Niklas Gustafsson, Artur Laksberg |
2017-09-05 |
| 9519524 |
Providing lock-based access to nodes in a concurrent linked list |
Chunyan Song, John Duffy, Tim Harris, Stephen H. Toub, Boby George |
2016-12-13 |
| 9256349 |
User-resizable icons |
Christopher A. Glein, Rhon Manlapaz |
2016-02-09 |
| 8897552 |
Setting an operating-system color using a photograph |
Simon Baker |
2014-11-25 |
| 8695003 |
Method for managing data accessibility by scheduling three types of executable agents associated with pre-defined access rights within a domain |
Artur Laksberg, Niklas Gustafsson |
2014-04-08 |
| 8566544 |
Compiler-enforced agent access restriction |
Niklas Gustafsson, Artur Laksberg, John Duffy |
2013-10-22 |
| 8316369 |
Dataflow component scheduling using reader/writer semantics |
Artur Laksberg, Niklas Gustafsson |
2012-11-20 |
| 8224799 |
Providing lock-based access to nodes in a concurrent linked list |
Chunyan Song, John Duffy, Tim Harris, Stephen H. Toub, Boby George |
2012-07-17 |
