1 – 10 of 25
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 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 control-theoretical approach to thread scheduling for multicore processors
- A Dynamic Modelling Framework for Control-based Computing System Design
- Hard real-time guarantees in feedback-based resource reservations
- 2014
- Automating efficiency-targeted approximations in modelling and simulation tools: dynamic decoupling and mixed-mode integration
- Model separability indices for efficient dynamic simulation