1 – 10 of 49
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Modeling of energy consumption in GPS receivers for power aware localization systems
Mandrioli, Claudio LU
; Leva, Alberto
; Bernhardsson, Bo
LU
and Maggio, Martina
LU
(2019)
10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week
p.217-226
Mark
- 2018
-
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking
Mandrioli, Claudio LU
; Leva, Alberto
and Maggio, Martina
LU
(2018)
2nd IEEE Conference on Control Technology and Applications, CCTA 2018
p.1466-1471
Mark
- 2016
- High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control
- Reverse Flooding: exploiting radio interference for efficient propagation delay compensation in WSN clock synchronization
- 2015
- A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems
- Disturbance rejection in autotuners: an assessment method and a rule proposal
- A Dynamic Modelling Framework for Control-based Computing System Design
- Hard real-time guarantees in feedback-based resource reservations
- A control-theoretical approach to thread scheduling for multicore processors
- 2014
- Automating efficiency-targeted approximations in modelling and simulation tools: dynamic decoupling and mixed-mode integration