INFO-F-404 : Techniques avancées de systèmes d'exploitation

Description

Nikita Veshchikov e-mail : téléphone : 02/650.58.56 bureau : 2N8.213 URL : INFO-F-404 : Techniques avancées de systèmes d'exploitation Table des matières 1 Rappel théorique 1 1.1 Définitions, hypothèses et classifications . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1.1 Le système et les tâches .

• échéance sur requête
• τi
• instant
• instants
• dire
• tâche
• tâches
• exécution
• système temps réel
• systèmes temps réels
• systèmes temps réel
• priorité
• priorités
• travail
• travaux
• système
• systèmes

Sujets

• Système
• Échéance
• Priorité
• Travail
• Exécution
• Instant
• Publication périodique

Informations

• Publié par: sewyeng
• Nombre de lectures: 40
• Langue: Français

Extrait

ousquet
etit
patchw
o
rk
de
combinatoire
énumérative
Mireille
b
CNRS,
LaBRI,
Bo
rdeaux
http://www.lab
ri.fr/
Bousquet-Mélou,
P
∼La
combinatoire
énumérative...
C'est
quoi
?
P
our
quoi
?
Comment
?
•
•
•moutons
les
].
à
rer,
t
générique
[
Question
re
nomb
chirer,
le
rer.
COMPTER
.
e
ensemble
de
des
rt
compter
nomb
de
I.
le
V.
re
tr.
ractériser
1.
dénomb
Déterminer
ca
(une
Compter
quantité)
moutons
pa
Problème
r
estimer,
le
des
calcul
évaluer,
;
ensemble
sp
moutons
écialt.
pattes
Établir
nomb
L'a
κ o˜
⇒
A
A n
n
a =|A |.
n ndes
Compter
].
V.
dénomb
t
Problème
[
rnes
re
moutons
ractériser
le
nomb
COMPTER
moutons
e
estimer,
de
évaluer,
I.
ensemble
et
rt
compter
nomb
re
tr.
de
1.
chirer,
Déterminer
rer,
(une
rer.
quantité)
les
pa
ca
r
générique
le
ensemble
calcul
moutons
;
Question
sp
co
écialt.
des
Établir
à
le
pattes
nomb
.
L'a
κ o˜
⇒
A
A n p
n,p
a =|A |.
n,p n,pde
co
ecient
binomial
ou
la
combinatoire
de
de
combinaisons
y
p
pa
:
nomb
Monsieur
de
Jourdain
éléments
ant
ris
éléments
rmi
=
=
=
re
nomb
sous-ensembles
re
Exemple
de
a
Le
p
C p n
n
{1,2,...,n} p

n n! n(n−1)···(n−p+1)
= =
p p!(n−p)! p!
n =4,p =2

4 4.3.2.1
= = 6.
2 2.1.2.1
{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}de
rationnelles,
?
:
Séries
our
d'identités,
Compter
:
Qu'est
rches
de
onne)
rép
automatiques
riques.
quoi
riques.
exp
manipulation
reuves
(gros)
quoi,
et
ce
le
plan
(b
exemples.
p
génératrices
algéb
des
osés
et
qu'une
rt
onse
Quelques
?
algéb
p
séries,
Comment
eective
compter
asymptotique,
?
Un
:
exemple
app
triangulations
ro
ma
che
dans
récursive,
qua
app
de
ro
l'énumération
che
Autour
bijective,
logiciels...
mystères
Plan
•
•
•
⊳ ⊳ ⋄ ⊲ ⊲
•
⊳ ⊳ ⋄ ⊲ ⊲
•pa
ourquoi
compter
?
mo
Probabilités
:
mo
continus
r
;
dèles
ro
ximation
de
phénomènes
dèles
des
discrets
discrets.
app
P
•(rep
ourquoi
compter
?
de
Probabilités
:
mo
et
de
mo
Y
Algèb
:
dénies
r
dèles
fonctions
discrets
dèles
;
tableaux
app
re
ro
structures
ximation
pa
de
générateurs
phénomènes
relations
continus
résentation
pa
symétriques,
r
;
des
oung...)
discrets.
P
•
•
S
nde
traitement
app
selon
(rep
discrets
tableaux
Probabilités
:
ximation
le
et
dèles
de
mo
fonctions
;
Y
compter
d'algo
ro
des
:
taille
de
générateurs
ourquoi
?
mo
r
phénomènes
y
continus
résentation
pa
analyse
r
;
des
symétriques,
mo
de
dèles
oung...)
discrets.
Analyse
en
rithmes
Algèb
énumération
re
entrées
:
la
structures
et
dénies
coût
pa
enne.
relations
P
•
•
S
n
•
→Sto
ck
age
d'une
liste
:
les
a
rb
res
binaires
de
recherche
56 6 64 9 40 30 75 12 38