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

More documents

Recommendations

Info

Brève histoire du consensus✤ Pannes franches en asynchronePas d’algorithme déterministe !Mais des palliatifs ingénieuxDétecteurs imparfaitsPaxos✤ Pannes byzantinesRedondance forte3f+1 pour tolérer f fautesComplexitéJusqu’en 1999 : exponentielleDepuis : ~ quadratique, sujet“chaud”© 2010, S. Krakowiak Congrès Specif 2010 37
Brève histoire du consensus✤ Pannes franches en asynchronePas d’algorithme déterministe !Mais des palliatifs ingénieuxDétecteurs imparfaitsPaxos✤ Pannes byzantinesRedondance forte3f+1 pour tolérer f fautesComplexitéJusqu’en 1999 : exponentielleDepuis : ~ quadratique, sujet“chaud”© 2010, S. Krakowiak Congrès Specif 2010 37
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 20 and 21:
Page 22 and 23:
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 32 and 33:
Abstractions du calcul (séquentiel
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 56 and 57:
Page 58 and 59:
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 72 and 73:
Page 74 and 75:
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:
Page 84 and 85:
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:
Comprendre et domestiquer le parall
Page 114 and 115: Comprendre et domestiquer le parall
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 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 166 and 167: Tolérance aux fautes à grande éc
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
show all

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

Create successful ePaper yourself

Delete template?

Save as template?