Sfoglia per Autore
Efficient abstraction of clock synchronization at the operating system level
2023-01-01 Sorrentino, Alessandro; Terraneo, Federico; Leva, Alberto
Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models
2023-01-01 Fioravanti, Massimo; Cattaneo, Daniele; Terraneo, Federico; Seva, Silvano; Cherubin, Stefano; Agosta, Giovanni; Casella, Francesco; Leva, Alberto
Efficient control representation in Digital Twins: an imperative challenge for declarative languages
2023-01-01 Cimino, Chiara; Terraneo, Federico; Ferretti, Gianni; Leva, Alberto
Efficient control-oriented modelling of heterogeneous large-scale computer cooling systems
2023-01-01 Leva, A; Terraneo, F; Fornaciari, W
Modelling and Simulation Challenges and Solutions in Cooling Systems for Nanoscale Integrated Circuits
2023-01-01 Terraneo, Federico; Leva, Alberto; Fornaciari, William; Atienza, David
Object-oriented modelling of advanced computer cooling solutions
2023-01-01 Leva, Alberto; Terraneo, Federico; Cancelliere, Tobia; Chioggi, Marco; Fornaciari, William; Atienza, David
Wireless synchronisation as a control problem embedded in new-generation networked automation systems
2023-01-01 Leva, A; Terraneo, F; Fornaciari, W
On consistency of physical and DEVS models in control-targeted DTs: an industrial case study
2022-01-01 Cimino, C.; Granata, C.; Ferretti, G.; Leva, A.
Feedforward temperature compensation in sub-microsecond wireless clock synchronisation
2022-01-01 Terraneo, Federico; Khalid, Zaigham; Fornaciari, William; Leva, Alberto
Event-Based Control Enters the Real-Time World: Perspectives and Pitfalls
2021-01-01 Seva, S.; Fornaciari, W.; Leva, A.
A Multitransmission Event-Based Architecture for Energy-Efficient Autotuning Wireless Controls
2021-01-01 Leva, A.; Terraneo, F.; Seva, S.
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
2021-01-01 Weyns, D.; Schmerl, B.; Kishida, M.; Leva, A.; Litoiu, M.; Ozay, N.; Paterson, C.; Tei, K.
Harmonising and integrating the Digital Twins multiverse: A paradigm and a toolset proposal
2021-01-01 Cimino, C.; Ferretti, G.; Leva, A.
3D-ICE 3.0: efficient nonlinear MPSoC thermal simulation with pluggable heat sink models
2021-01-01 Terraneo, Federico; Leva, Alberto; Fornaciari, William; Zapater Sancho, Marina; Atienza Alonso, David
Ensuring consistency in scalable-detail models for DT-based control
2021-01-01 Cimino, C.; Leva, A.; Ferretti, G.
Fine-Grained Dynamic Resource Allocation for Big-Data Applications
2021-01-01 Baresi, L.; Leva, A.; Quattrocchi, G.
On the criticality of the model parametrisation method in industrial autotuning controllers
2021-01-01 Seva, S.; Cimino, C.; Leva, A.
On the Control of Machine Learning Applications [Technical Report]
2020-01-01 Baresi, L.; Leva, A.; Quattrocchi, G.; Rasi, N.
A Low Energy FPGA Platform for Real-Time Event-Based Control
2020-01-01 Seva, Silvano; Esther Lukaschewsky Mauriziano, Claudia; Fornaciari, William; Leva, Alberto
How control-friendly is a computing system? And how control-friendly could it be?
2020-01-01 Leva, Alberto; Seva, Silvano; Terraneo, Federico; Papadopoulos, Alessandro Vittorio; Maggio, Martina
A control education software suite to bridge methodological and engineering aspects
2020-01-01 Leva, Alberto; Cimino, Chiara; Seva, Silvano
The role of dynamics in digital twins and its problem-tailored representation
2020-01-01 Cimino, Chiara; Ferretti, Gianni; Leva, Alberto
An integrated simulation paradigm for lifecycle-covering maintenance in the Industry 4.0 context
2020-01-01 Cimino, Chiara; Leva, Alberto; Negri, Elisa; Macchi, Marco
Modelling and Control of Biogas Plants Fed on Agro-food Residues
2019-01-01 Corbellini, .; Ferretti, G.; Ficara, E.; Leva, A.; Malpei, F.; Negri, A.
Towards a Benchmark Suite for High-Performance Modelica Compilers
2019-01-01 Agosta, Giovanni; Casella, Francesco; Cherubin, Stefano; Leva, Alberto; Terraneo, Federico
PID control education for computer engineering students: A step to bridge a cultural gap
2019-01-01 Leva, Alberto
Control-oriented modelling of proof-of-work blockchains
2019-01-01 Leva, A; Strada, S; Tanelli, M
Towards a High-Performance Modelica Compiler
2019-01-01 Agosta, Giovanni; Baldino, Emanuele; Casella, Francesco; Cherubin, Stefano; Leva, Alberto; Terraneo, Federico
Event-Based Thermal Control for High Power Density Microprocessors
2019-01-01 Terraneo, Federico; Leva, Alberto; Fornaciari, William
Teaching to design control applications with coordinated modulating and logic functions
2019-01-01 Leva, A; Cimino, C
Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
2019-01-01 Mandrioli, C.; Leva, A.; Bernhardsson, B.; Maggio, M.
Modelling and structure-tailored control of biogas plants fed on agro-food residues
2019-01-01 Corbellini, V; Ferretti, G; Ficara, E; Leva, A; Malpei, F; Negri, A
An Event-based Multi-purpose Approach to Computational Sprinting
2019-01-01 Leva, A.; Terraneo, F.; Cimino, C.; Seva, S.
Explicit Model-Based Real PID Tuning for Efficient Load Disturbance Rejection
2019-01-01 Leva, A.; Papadopoulos, A. V.; Seva, S.; Cimino, C.
An Open-hardware Platform for MPSoC Thermal Modeling
2019-01-01 Terraneo, Federico; Leva, Alberto; Fornaciari, William
ELECTRONIC DEVICE TO CONTROL TEMPERATURE AND COMPUTING PERFORMANCE OF AT LEAST ONE PROCESSING UNIT AND SYSTEM AND METHOD THEREOF
2018-01-01 Leva, A.; Terraneo, F.; Fornaciari, W.
Event-based Thermal/power/performance Management at the Core Level in Multicore CPUs
2018-01-01 Leva, A.; Terraneo, F.; Seva, S.
ELECTRONIC DEVICE TO CONTROL TEMPERATURE AND COMPUTING PERFORMANCE OF AT LEAST ONE PROCESSING UNIT AND SYSTEM AND METHOD THEREOF
2018-01-01 Leva, A.; Terraneo, F.; Fornaciari, W.
Teaching PID control to computer engineers: a step to fill a cultural gap
2018-01-01 Leva, Alberto
Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking
2018-01-01 Mandrioli, C; Leva, A; Maggio, M
Progress Rate Control for Computer Applications
2018-01-01 Leva, Alberto; Seva, Silvano; Vittorio papadopoulos, Alessandro
Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis
2018-01-01 Papadopoulos, Alessandro Vittorio; Terraneo, Federico; Leva, Alberto; Prandini, Maria
Event-Based Power/Performance-Aware Thermal Management for High-Density Microprocessors
2018-01-01 Leva, Alberto; Terraneo, Federico; Giacomello, Irene; Fornaciari, William
Structure-specific analytical PID tuning for load disturbance rejection
2018-01-01 Leva, Alberto; Seva, Silvano
PID-based controls in computing systems: a brief survey and some research directions
2018-01-01 Leva, Alberto
TDMH-MAC: Real-Time and Multi-hop in the Same Wireless MAC
2018-01-01 Terraneo, Federico; Polidori, Paolo; Leva, Alberto; Fornaciari, William
An introduction to systems and control theory for computer scientists and engineers
2017-01-01 Leva, Alberto
Simulation of Large Grids in OpenModelica: Reflections and Perspectives
2017-01-01 Casella, Francesco; Leva, Alberto; Bartolini, A.
FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks
2017-01-01 Terraneo, Federico; Papadopoulos, Alessandro Vittorio; Leva, Alberto; Prandini, Maria
Modelling and Control of Big Data Frameworks
2017-01-01 Leva, Alberto; Papadopoulos, Alessandro Vittorio
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