Opendata, web and dolomites
H2020 projects about "concurrency"
The page lists 12 projects related to the topic "concurrency".
| # | |||
|---|---|---|---|
| 1 | DataLocAbstractions | Advanced Programming Environments for Exascale Data-Centric Computing | 2015 |
| 2 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 3 | PARTAKE | cooPerative depArtuRes for a compeTitive ATM networK sErvice. | 2016 |
| 4 | ProFoundNet | Probabilistic Foundations for Networks | 2016 |
| 5 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 |
| 6 | PACT | Proof-theoretical Approaches to Concurrency Theory | 2016 |
| 7 | DAMA | Extreme-Scale Data Management | 2018 |
| 8 | RCADE | Reversible causally-consistent debugging of concurrent programs | 2018 |
| 9 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
| 10 | CloudButton | Serverless Data Analytics Platform | 2019 |
| 11 | 5G-HEART | 5G HEalth AquacultuRe and Transport validation trials | 2019 |
| 12 | VAPLCS | Verification-Aware Programming Language Concurrency Semantics | 2020 |