Aggiornamento dello scheduling realtime, con varie correzioni.
authorSimone Piccardi <piccardi@gnulinux.it>
Sat, 13 Jun 2009 17:55:03 +0000 (17:55 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Sat, 13 Jun 2009 17:55:03 +0000 (17:55 +0000)
commit2dd133c40d690671199991d8972169c32cbe19a7
tree9e728f1c57613e4b0d5a4c52438d46eb86418b4b
parentb2f11dd799533d64d84745204477831f9c1966ae
Aggiornamento dello scheduling realtime, con varie correzioni.
biblio.bib
prochand.tex