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 |