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

More documents

Recommendations

Info

Modèles du parallélisme✤ Calculs de processusÉquivalent du λ-calcul en séquentielCommunication par canaux et messagesTransmission de canaux et processus (reconfiguration, mobilité)Un concept de base : la bisimulation (équivalence)Exemples : CSP, CCS, Lotos, π-calcul, Ambients, …✤ Impact pratiqueBarrièresExpressivité limitée, apprentissage difficileNombreux langages voisins, choix difficileAvancéesOutils de vérification utilisés dans l’industrie …... mais encore peu d’impact sur la programmation parallèle© 2010, S. Krakowiak Congrès Specif 2010 29
Parallélisme pratique à grande échelle✤ Une classification des grandes applications parallèlesUn nombre relativement faible de schémas types (13actuellement selon groupe de Berkeley)Remplacent les bancs d’essai standard (SPLASH, etc.)BibliothèquesMatrices densesMatrices creusesFFT et assimilésCombinatoireMachines états finisPatrons et canevasMapReduceTraversée graphesProgrammation dynamiqueBranch & BoundN-corpsGrilles© 2010, S. Krakowiak Congrès Specif 2010 30
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 86 and 87: B, une méthode de construction de
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 110 and 111: 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 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 164 and 165: 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
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?