IRIS

BONTA', EDOARDO

BONTA', EDOARDO  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 1-gen-2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 1-gen-2004 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Automatic Code Generation: From Process Algebraic Architectural Descriptions to Multithreaded Java Programs 1-gen-2008 Bonta', Edoardo
ChaRLeS: An Open-Source Chat Room Learning System 1-gen-2017 Bontà, Edoardo; Torrisi, Giovanni; Bernardo, Marco
Dynamic Power Management Strategies Within the IEEE 802.11 Standard 1-gen-2005 Acquaviva, A; Bonta', Edoardo; Lattanzi, Emanuele
Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet 1-gen-2020 Bernardo, Marco; Bontà, Edoardo
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 1-gen-2004 Bernardo, Marco; Bontà, Edoardo
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 1-gen-2010 Bernardo, Marco; Bontà, Edoardo; Aldini, Alessandro
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 1-gen-2008 Bernardo, Marco; Bontà, Edoardo
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 1-gen-2009 Bontà, Edoardo; Bernardo, Marco
Predicting the Functional/Performance Impact of Dynamic Power Management 1-gen-2005 Bernardo, Marco; Bogliolo, Alessandro; Acquaviva, Andrea; Aldini, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Preserving Architectural Properties in Multithreaded Code Generation 1-gen-2005 Bernardo, Marco; Bontà, Edoardo
Prevaluation: Un Plugin per Valutare Attività Esterne in Anticipo sul Primo Accesso a Moodle 1-gen-2021 Bonta', Edoardo; Cardamone, Giuseppe
Synthesizing Concurrency Control Components from Process Algebraic Specifications 1-gen-2006 Bontà, Edoardo; Bernardo, Marco; Magee, Jeff; Kramer, Jeff
Un Sistema di Backup per Moodle su Server Linux 1-gen-2022 Bonta', Edoardo