| 10901808 |
Concurrent mutation of isolated object graphs |
John Duffy, Vance Morrison |
2021-01-26 |
$167,987,000 |
| 9753698 |
Language-based model for isolating shared state |
Artur Laksberg, Joshua Phillips |
2017-09-05 |
$29,269,000 |
| 9690604 |
Language-based model for asynchronous operations |
Geoffrey M. Kizer |
2017-06-27 |
$36,785,000 |
| 9569282 |
Concurrent mutation of isolated object graphs |
John Duffy, Vance Morrison |
2017-02-14 |
$53,256,000 |
| 9547511 |
Language-based model for asynchronous operations |
Geoffrey M. Kizer |
2017-01-17 |
$57,646,000 |
| 9378062 |
Interface between a resource manager and a scheduler in a process |
Paul F. Ringseth, William R. Messmer, Genevieve Fernandes, Marko Radmilac |
2016-06-28 |
$49,256,000 |
| 9367350 |
Meta-scheduler with meta-contexts |
Paul F. Ringseth, William R. Messmer, Joseph L. Hellerstein |
2016-06-14 |
$42,465,000 |
| 9003377 |
Efficient resumption of co-routines on a linear stack |
Neal M. Gafter, Mads Torgersen, Henricus Johannes Maria Meijer |
2015-04-07 |
$31,727,000 |
| 8959517 |
Cancellation mechanism for cancellable tasks including stolen task and descendent of stolen tasks from the cancellable taskgroup |
William R. Messmer, David Callahan, Paul F. Ringseth |
2015-02-17 |
$31,357,000 |
| 8918767 |
Pattern-based compilation of asynchronous consumption |
Stephen H. Toub, Mads Torgersen, Lucian Jules Wischik, Anders Hejlsberg, Dmitry Lomov +1 more |
2014-12-23 |
$35,011,000 |
| 8887162 |
Persistent local storage for processor resources |
Paul F. Ringseth, Rick Molloy, David Callahan |
2014-11-11 |
$24,503,000 |
| 8856792 |
Cancelable and faultable dataflow nodes |
Zlatko Michailov, Daniela Cristina Manu, Stephen H. Toub |
2014-10-07 |
$28,629,000 |
| 8843927 |
Monitoring and updating tasks arrival and completion statistics without data locking synchronization |
Marko Radmilac, Paul F. Ringseth, Genevieve Fernandes, William R. Messmer |
2014-09-23 |
$34,148,000 |
| 8695003 |
Method for managing data accessibility by scheduling three types of executable agents associated with pre-defined access rights within a domain |
Artur Laksberg, Joshua Phillips |
2014-04-08 |
$34,914,000 |
| 8650570 |
Method of assigning instructions in a process to a plurality of scheduler instances based on the instruction, in which each scheduler instance is allocated a set of negoitaited processor resources |
Paul F. Ringseth, Genevieve Fernandes, Rick Molloy, Rahul Patil, Philip Lucido |
2014-02-11 |
$53,117,000 |
| 8566830 |
Local collections of tasks in a scheduler |
Paul F. Ringseth, Genevieve Fernandes |
2013-10-22 |
$34,472,000 |
| 8566544 |
Compiler-enforced agent access restriction |
Artur Laksberg, Joshua Phillips, John Duffy |
2013-10-22 |
$34,472,000 |
| 8561072 |
Scheduling collections in a scheduler |
Paul F. Ringseth, Genevieve Fernandes, Rick Molloy |
2013-10-15 |
$28,338,000 |
| 8549506 |
Resumable methods |
Henricus Johannes Maria Meijer, Mads Torgersen, Neal M. Gafter |
2013-10-01 |
$29,148,000 |
| 8407728 |
Data flow network |
David Callahan |
2013-03-26 |
$14,876,000 |
| 8316369 |
Dataflow component scheduling using reader/writer semantics |
Artur Laksberg, Joshua Phillips |
2012-11-20 |
$16,799,000 |
| 8291426 |
Memory allocators corresponding to processor resources |
Paul F. Ringseth, Philip Lucido |
2012-10-16 |
$18,516,000 |
| 8220002 |
Isolation of user-interactive components |
John Rivard, David Paul Hill |
2012-07-10 |
$20,283,000 |
| 8006055 |
Fine granularity hierarchiacal memory protection |
Bradley M. Waters |
2011-08-23 |
$12,314,000 |
| 7934207 |
Data schemata in programming language contracts |
John Lawrence Hamby, Patrick James Helland |
2011-04-26 |
$19,159,000 |
