- 1. A Simulation Approach for the Optimization of Solar Powered Smart Migro-Grids
- (Publication)
- A smart micro-grid requires information technology to fast detect and control grid instabilities and to validate that processes will work as designed. But real power grid can not be used for testing and ...
- Created on 28 June 2021
- 2. Mobile Devices for the Visit of "Anfiteatro Campano" in Santa Maria Capua Veter
- (Publication)
- Archaeological sites become pervasive environments because of personal devices like tablets and smart-phones, which are able to detect and explain ruins, artifact and points of cultural interest by their ...
- Created on 19 December 2018
- 3. Modeling and verification of real-time multi-agent systems: The REMM framework | [Modellazione e verifica di sistemi multi-agente real-time: Il framework REMM]
- (Publication)
- Created on 19 December 2018
- 4. Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework
- (Publication)
- Created on 19 December 2018
- 5. Performance prediction and Analysis of hybrid openMP/MPI code
- (Publication)
- This paper deals with the performance prediction of hybrid MPI/OpenMP code. The use of HeSSE (Heterogeneous System Simulation Environment), along with an XML-based prototype language, MetaPL, makes it ...
- Created on 19 December 2018