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 (
- 2018
- Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking (
- 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 (