Opendata, web and dolomites
H2020 projects about "executions"
The page lists 7 projects related to the topic "executions".
| # | |||
|---|---|---|---|
| 1 | MORE-CONNECT | Development and advanced prefabrication of innovative, multifunctional building envelope elements for MOdular REtrofitting and CONNECTions | 2014 |
| 2 | Learn | Learning From Failing and Passing Executions At the Speed of Internet | 2015 |
| 3 | LV-Pri20 | Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT | 2015 |
| 4 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
| 5 | SHIPWORM | 'A transregional and interdisciplinary study of the societal impact of the shipworm epidemic in the North Sea region in the eighteenth century' | 2018 |
| 6 | NEO-QE | NEtwork-aware Optimization for Query Executions in Large Systems | 2018 |
| 7 | RECIPE | REliable power and time-ConstraInts-aware Predictive management of heterogeneous Exascale systems | 2018 |