Reductions And Abstractions For Formal Verification Of Distributed Round-Based Algorithms | 0 | 0.34 | 2021 |
Language-Based Expression of Reliability and Parallelism for Low-Power Computing. | 0 | 0.34 | 2018 |
Understanding the impact of task granularity in the energy consumption of parallel programs | 0 | 0.34 | 2018 |
Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. | 0 | 0.34 | 2017 |
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime. | 6 | 0.44 | 2016 |
Controlling the granularity of automatic parallel programs. | 0 | 0.34 | 2016 |
MISO: An intermediate language to express parallel and dependable programs. | 0 | 0.34 | 2016 |
Cooperative Exceptions for Concurrent Objects | 0 | 0.34 | 2015 |
Eve: A Parallel Event-Driven Programming Language. | 2 | 0.37 | 2014 |
Æminium: a permission based concurrent-by-default programming language approach | 3 | 0.43 | 2014 |