CASTROVILLI, MICHELE
CASTROVILLI, MICHELE
INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Non-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability
2025-01-01 Agosta G.; Bini E.; Baroffio D.; Brandolese C.; Castrovilli M.; Cattaneo D.; Cesarini D.; Fornaciari W.; Galimberti A.; Garfagnini A.; Gavrikov A.; Iannone F.; Lapegna M.; Lopez T.A.; Magnani G.; Mencagli G.; Metra C.; Omana M.E.; Palombi F.; Reghenzani F.; Condia J.E.R.; Serafini A.; Sonza Reorda M.; Zoni D.; Zummo G.
SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule
2024-01-01 Castrovilli M.; Bini E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Non-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability | 2025 | Agosta G.; Bini E.; Baroffio D.; Brandolese C.; Castrovilli M.; Cattaneo D.; Cesarini D.; Fornaciari W.; Galimberti A.; Garfagnini A.; Gavrikov A.; Iannone F.; Lapegna M.; Lopez T.A.; Magnani G.; Mencagli G.; Metra C.; Omana M.E.; Palombi F.; Reghenzani F.; Condia J.E.R.; Serafini A.; Sonza Reorda M.; Zoni D.; Zummo G. | |
| SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule | 2024 | Castrovilli M.; Bini E. |