C'est quoi, au fond, l'informatique - SociÃ©tÃ© Informatique de France

More documents

Recommendations

Info

Abstractions du calcul (séquentiel)✤ Des modèles de calcul aux langages de programmationMachine (universelle) de TuringLes machines (physiques) de von NeumannLes langages impératifsλ-calculLes langages fonctionnels© 2010, S. Krakowiak Congrès Specif 2010 9
Abstractions du calcul (séquentiel)✤ Des modèles de calcul aux langages de programmationMachine (universelle) de TuringLes machines (physiques) de von NeumannLes langages impératifsλ-calculLes langages fonctionnels✤ Le programme comme donnéeRéalisation effective du calculDémarche descendante : le compilateur (traducteur)Démarche ascendante : la machine virtuelle (interprète)Démarche mixteGénération, transformationVérification, preuve© 2010, S. Krakowiak Congrès Specif 2010 9
Page 5 and 6: L’informatique, une science de l
Page 7: Au cœur de l’informatique, l’a
Page 18 and 19: Notre cahier des chargesUn algorith
Page 24 and 25: Quelques forces qui façonnent l’
Page 26 and 27: Quelques forces qui façonnent l’
Page 28 and 29: Maîtriser la complexité✤ Un out
Page 30 and 31: Maîtriser la complexité✤ Un out
Page 34 and 35: Abstractions du calcul (séquentiel
Page 36 and 37: En quête du “langage idéal”
Page 38 and 39: En quête du “langage idéal”
Page 40 and 41: Un concept unificateur : les types
Page 42 and 43: Un concept unificateur : les types
Page 44 and 45: Un autre concept unificateur : la m
Page 46 and 47: Un autre concept unificateur : la m
Page 48 and 49: Des procédures aux composants© 20
Page 50 and 51: Des procédures aux composantsIsola
Page 52 and 53: Des procédures aux composantsIsola
Page 54 and 55: Architecture logicielle✤ Descript
Page 60 and 61: Interfacesclientfournisseurint. req
Page 62 and 63: InterfacescontratconformitéContrat
Page 64 and 65: La virtualisation, transformateur d
Page 66 and 67: Exemple de virtualisation : la mém
Page 68 and 69: Exemple de virtualisation : la mém
Page 70 and 71: En quête de la validité …Pour u
Page 76 and 77: Vérification par analyse statiqueI
Page 78 and 79: Vérification par analyse statiqueI
Page 80 and 81: Spécification, construction, preuv
Page 82 and 83:
Spécification, construction, preuv
Page 84 and 85:
Spécification, construction, preuv
Page 86 and 87:
B, une méthode de construction de
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Coq, un assistant de preuve© 2010,
Page 94 and 95:
Coq, un assistant de preuve✤ Base
Page 96 and 97:
Vérification d’un compilateur✤
Page 98 and 99:
Vérification d’un compilateur✤
Page 100 and 101:
Vérification d’un noyau de syst
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Comprendre et domestiquer le parall
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Le parallélisme, un univers fragme
Page 118 and 119:
Le parallélisme, un univers fragme
Page 120 and 121:
Asynchronisme : premières avancée
Page 122 and 123:
Asynchronisme : premières avancée
Page 124 and 125:
Asynchronisme : une solution radica
Page 126 and 127:
Asynchronisme : une solution radica
Page 128 and 129:
Modèles du parallélisme© 2010, S
Page 130 and 131:
Modèles du parallélisme✤ Calcul
Page 132 and 133:
Parallélisme pratique à grande é
Page 134 and 135:
Un canevas pour le calcul parallèl
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
Faire face à l’imprévu✤ Défa
Page 144 and 145:
Faire face à l’imprévu✤ Défa
Page 146 and 147:
Transactions (1)✤ Problème : mai
Page 148 and 149:
Transactions (1)✤ Problème : mai
Page 150 and 151:
Transactions (2)✤ OutilsAccès co
Page 152 and 153:
Transactions (2)✤ OutilsAccès co
Page 154 and 155:
Tolérance aux fautes✤ Fautes, er
Page 156 and 157:
Tolérance aux fautes✤ Fautes, er
Page 158 and 159:
Abstractions pour un service dispon
Page 160 and 161:
Abstractions pour un service dispon
Page 162 and 163:
Brève histoire du consensus✤ Pan
Page 164 and 165:
Brève histoire du consensus✤ Pan
Page 166 and 167:
Tolérance aux fautes à grande éc
Page 168 and 169:
Page 170 and 171:
Page 172 and 173:
Observations finales✤ Succès cro
Page 174 and 175:
Observations finales✤ Succès cro
Page 176 and 177:
Pistes pour l’enseignement© 2010
Page 178 and 179:
Pistes pour l’enseignement✤ Ne
Page 180 and 181:
Pistes pour l’enseignement✤ Ne
Page 182 and 183:
C’est quoi, au fond, l’informat
Page 184 and 185:
Page 186 and 187:
show all

C'est quoi, au fond, l'informatique - SociÃ©tÃ© Informatique de France

Create successful ePaper yourself

Delete template?

Save as template?