Static Probabilistic Timing Analysis for Real-Time Embedded Systems in Presence of Faults

In this work, the modeling of laminated composite plates with embedded piezoelectric layers is addressed through a variables separation approach.. Both the displacement and

Examinateurs : Mihaela BARONI, Professeur, Universit´e Dunarea de Jos, Romania Laurent GEORGE, MCF HDR, Universit´e Marne la Val´ee, France Thomas NOLTE, Professeur,

In every star we find that the periodic variation is present in lines showing emission wings, particularly in the He I l6678 line.. In the

Since there are typically many links due to imprecisely inferred static analysis values, we used our probabilistic model to triage ICC links.. The model is easy to train, requiring

Given a Mixed Criticality probabilistic real-time system with task executions described with pWCET, what is the optimal schedule when the system enters high criticality mode.. Given

All the sperm kinetic parameters analyzed showed the same pattern, with higher motility and faster velocities in samples preserved with the methanol protocol than those preserved

Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of

Our second user study shows that users prefer the mixed summaries we propose in this dissertation over the fully-personalized summaries that contain only sentences that discuss the