Sfoglia per Rivista
A Robust Mechanism for Adaptive Scheduling of Multimedia Applications
2011-01-01 Cucinotta, Tommaso; Abeni, Luca; Palopoli, Luigi; G., Lipari
Adaptive real-time scheduling for legacy multimedia applications
2012-01-01 T., Cucinotta; F., Checconi; Abeni, Luca; Palopoli, Luigi
Beyond cross-section: Spatio-temporal reliability analysis
2016-01-01 Santini, T.; Rech, P.; Nazar, G. L.; Wagner, F. R.
Camaroptera: A Long-Range Image Sensor with Local Inference for Remote Sensing Applications
2022-01-01 Desai, Harsh; Nardello, Matteo; Brunelli, Davide; Lucia, Brandon
Coherent extension, composition, and merging operators in contract models for system design
2019-01-01 Passerone, R.; Incer Romeo, I.; Sangiovanni-Vincentelli, A. L.
Contract-based requirement modularization via synthesis of correct decompositions
2016-01-01 Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, A.
ETAP: Energy-aware Timing Analysis of Intermittent Programs
2023-01-01 Erata, Ferhat; Yildiz, Eren; Goknil, Arda; Yildirim, Kasim Sinan; Piskac, Ruzica; Szefer, Jakub; Sezgin, Gokcin
Fine-grained Hardware Acceleration for Efficient Batteryless Intermittent Inference on the Edge
2023-01-01 Caronti, Luca; Akhunov, Khakim; Nardello, Matteo; Yildirim, Kasim Sinan; Brunelli, Davide
metroII: A Design Environment for Cyber-Physical Systems
2013-01-01 A., Davare; D., Densmore; L., Guo; Passerone, Roberto; A. L., Sangiovanni Vincentelli; Simalatsar, Alena; Q., Zhu
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile