2009.03.06 esami prof: Gatti
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Modellare il coordinamento di un gruppo di meccanici durante un pit-stop utilizzando StateCharts: stati e transizioni per ogni gomma, ruoli dei meccanici in svitata, aspetta, avvita e aiutamento.
- Schedulazione aperiodica con Spring: due schedulazioni prodotte con hi=di e hi=di-Ci, Lmax minimizzato.
- Rate Monotonic: definizione, ottimalità e scheletro della dimostrazione di ottimalità con ipotesi e tesi.
- Nel livello di trasporto ISO/OSI: gestione della comunicazione da parte di UDP e TCP, ricostruzione dei pacchetti.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.