Projet Arénaire Arithmétique des ordinateurs
|
|
- Yvette Couture
- il y a 8 ans
- Total affichages :
Transcription
1 Projet Arénaire Arithmétique des ordinateurs CNRS - ENSL - INRIA - LIP - UCBL Gilles Villard CP Rhône-Alpes 30 janvier 2004
2 Plan I - Présentation et objectifs généraux II - Partenaires et résultats III - Thématiques IV - Conclusion 1
3 Plan I - Présentation et objectifs généraux II - Partenaires et résultats III - Thématiques IV - Conclusion Arénaire - Présentation et objectifs généraux
4 Création, octobre 1998, 5 chercheurs Permanents : M. Daumas, CNRS F. De Dinechin, ENSL J.-M. Muller, CNRS Doctorants : V. Lefèvre, C. Finot-Moreau Évaluation du Thème 2B, mars chercheurs Arénaire - Présentation et objectifs généraux
5 Janvier 2004, 16 chercheurs + S. Boyer (20%) Permanents : M. Daumas, CNRS F. De Dinechin, ENSL C.-P. Jeannerod, INRIA J.-M. Muller, CNRS N. Revol, INRIA A. Tisserand, INRIA G. Villard, CNRS Non permanents : J.-L. Beuchat, FNSRS N. Brisebarre, MdC délégué INRIA C. Daramy-Loirat, Ingénieur ODL Doctorants : S. Boldo, N. Boullis, J. Detrey, P. Giorgi, G. Melquiond, S.K. Raina Arénaire - Présentation et objectifs généraux
6 Dynamique Opérateurs arithmétiques de base ex : +,,... Opérateurs de plus haut niveau ex : fonctions élémentaires et spéciales... Utilisation des arithmétiques et applications ex : cryptographie, optimisation globale... Arénaire - Présentation et objectifs généraux
7 Objectif : calculer mieux Performances Coût, vitesse, basse consommation, testabilité Qualité Précision, arrondi, propriétés, preuve formelle, validation Représentations adaptées et algorithmes Entiers, virgule fixe et flottante, R, C, intervalles, corps finis Arénaire - Présentation et objectifs généraux
8 Cibles et outils fondamentaux 1. Supports d implantation Matériel : ASIC, FPGA, asynchrone, basse consommation ( Verilog, VHDL... ). Couches de base : processeurs dédiés, bibliothèques optimisées, compilation. Logiciel : bibliothèques d opérateurs, programmes (C, C++, Coq, Maple... ). Arénaire - Présentation et objectifs généraux
9 Opérateurs arithmétiques Cibles et outils fondamentaux 2. Briques de base : +,,,,, /cst, cst, opérateurs composites, nombres réels et complexes, intervalles, multi-précision, corps finis. Fonctions élémentaires et spéciales : exp, log, sin, cos, Ai, I ν... Spécifiques : filtre FIR, transformée DCT, opérateurs DSP, cryptologie. Angles d attaque Représentations machine : entiers, virgule fixe et flottante, représentations redondantes, grandes bases, systèmes logarithmiques. Méthodes : algorithmique, outils CAO, tables, approximation, arrondi exact, preuve formelle, analyse numérique, algèbre. Arénaire - Présentation et objectifs généraux
10 Domaines applicatifs et prolongements Mathématiques + algorithmique + implantations Opérateurs dédiés Traitement du signal Cryptographie à clef publique Signature numérique Bibliothèques Validation Arrondi correct Certification de programmes Validation de codes numériques Calculs mathématiques ST, CEA/Leti, CSEM, POSIC CEA/CENG, NIA-NASA Architecture des ordinateurs, CAO, micro-électronique, preuve formelle, algorithmes numériques, optimisation globale, calcul algébrique, théorie des nombres. Arénaire - Présentation et objectifs généraux
11 Plan I - Présentation et objectifs généraux II - Partenaires et résultats III - Thématiques IV - Conclusion Arénaire - Partenaires et résultats
12 Actions récentes et partenaires académiques, France - ACI «Cryptologie» (GTA, LIRMM) (Bajard, Tisserand). - ACI «Sécurité Informatique» (Codes, LIRMM) (Sendrier, Tisserand). - ACI Jeunes chercheurs «Arithmétique sur FPGA» (de Dinechin). - AS STIC «Arithmétique des ordinateurs» (communauté, resp. Muller). - AS STIC «Calcul formel» (communauté, resp. Villard, Weil). - AS STIC «Validation numérique pour le calcul embarqué» (6 équipes). - GDR ALP/ARP (Daumas), «AriNews, arithmétique des ordinateurs». - GDR Automatique (Revol), «Méthodes ensemblistes». - INRIA. Matériel/compilation : Caps, R2d2, Symbiose, Compsys ; Cryptographie : Codes ; Algorithmique : Algo, Coprin, Geometrica, Galaad, Space ; Preuve : Lemme, Logical. Arénaire - Partenaires et résultats
13 Actions Internationales en cours - (VASA, Proposition Research Training Network Europe, 7 pays, (Revol)), Validated Algorithms for Special functions with Applications. - (Proposition PICS, CNRS / NIA-NASA / U. Berkeley (Daumas)), Automated proof in computer arithmetic. - LinBox, CNRS/NSF, neuf institutions Canada, France, USA (Villard). Exact arithmetic and high performance linear algebra. Collaborations Canada : U. Calgary, Waterloo ; Danemark : U. Odense ; G.B. : U. Cardiff, Oxford ; USA : NIA-NASA Langley RC, U. Delaware, U. Michigan, NSCU Raleigh, UC. Berkeley, U. Irvine, UC. Los Angeles. Arénaire - Partenaires et résultats
14 Développements en partenariat industriel - ST. Division par des constantes ST100 (Muller, Tisserand). - ST et région. Bibliothèque flottante pour processeur entier ST200 (Brisebarre, Jeannerod, Muller, Raina, Tisserand). - Posic S.A. Capteurs de position FPGA (Tisserand). - CSEM Suisse. Circuits en vision (Tisserand). Autres organismes & partenaires industriels - CEA/CENG. Validation numérique (accidents de centrales nucléaires) (Revol). - CEA/Leti. Opérateurs arith. basse consommation (+ outils CAO) (Tisserand). - NIA-NASA. Preuve formelle et navigation aérienne (Boldo, Daumas, Melquiond). - Xilinx. Donation de FPGA. - Intel/HP. Donation et test de machines Itanium. Arénaire - Partenaires et résultats
15 Publications & organisation de rencontres 98/ / / Thèses (3) Hdr (1) Journaux Conférences IEEE Trans. Computers J. Complexity Lin. Alg. Appl. Low Power E. Design Numer. Algorithms etc. Édition de numéros spéciaux : J. Comput. Appl. Math. (Revol, 2004), J. Symb. Comput. (Villard, 2002), Tech. Sc. Inf. (Muller, 2002), Th. Comput. Sc. (Muller, 99, 02, 03, Daumas & Revol 04), Rés. Syst. Rép. Calc. Par. (Daumas, de Dinechin, Tisserand, 2001). École CNRS/AriNews, Dijon (Daumas, 2003) ; École Architecture, Roscoff (Tisserand, 2003) ; Appl. Computer Algebra, ACA 03, Raleigh (session, Villard, 2003) ; RNC 5, Lyon (Arénaire, 2003) ; AriNews, Lyon (Boldo, Boullis, Giorgi, 2003) ; Journée G. Philibert (Brisebarre, 2004) ; Forum Jeunes Mathématiciennes, Paris (Revol, 2004) ; École Jeunes Chercheurs Algo. Calcul Formel, Grenoble (session, Revol, 2004) ; Steering Committees : IEEE Symposium on Computer Arithmetic, ARITH, (Muller) ; International Symposium Symbolic and Algebraic Computation, ISSAC, (Villard). Arénaire - Partenaires et résultats
16 Logiciels (bibliothèques) Distribuées (souvent GNU/LGPL) : crlibm : fonctions élémentaires avec arrondi correct (C). LinBox : arithmétiques exactes et algèbre linéaire (C++). MPFI : arithmétique d intervalles en précision arbitraire (C). Opérateurs arithmétiques JBits pour fonctions élémentaires sur FPGA. Bibliothèque de preuves et propriétés pour la virgule flottante (Coq). SNAP : arithmétique des polynômes approchés (Maple). FPlibrary, opérateurs pour l arithmétique réelle sur FPGA (VHDL). Générateurs FPGA pour arithmétique modulaire (VHDL). Générateurs FPGA pour arithmétique entière (VHDL). En cours : Générateurs VHDL pour la signature numérique. Test de fonctions élémentaires ; Évitement des collisions aériennes (déposé APP) ; Approximation polynomiale avec contraintes. Arénaire - Partenaires et résultats
17 Plan I - Présentation et objectifs généraux II - Partenaires et résultats III - Thématiques IV - Conclusion Arénaire - Thématiques
18 Thématiques. 1. Implantations matérielles de l arithmétique 2. Opérateurs arithmétiques logiciels 3. Propriétés des calculs, validation et preuve 4. Utilisation des arithmétiques Arénaire - Thématiques
19 Opérateurs 1/ Implantations matérielles de l arithmétique J.-L. Beuchat, N. Boullis, J. Detrey, F. De Dinechin, J.-M. Muller, A. Tisserand, G. Villard - Arithmétique réelle : +,,,..., virgule flottante, systèmes logarithmiques. - Opérateurs optimisés :,, cst, /cst,..., filtres FIR. - Fonctions élémentaires. - Arithmétique modulaire et algorithmes à clé privée : IDEA, RC6... Ex. de réalisations en cours : Arithmétique réelle FPGA JBits/VHDL [ACI J. Cherch.] Proc. semi-logarithmique FPGA + CMOS 0.25µm + test [Leti, CMP, Fonds ENSL] Applications Low-power Cryptologie TSI Capteurs Vision Outils/CAO Asynchrone Générateurs Support arithmétique pour les langages Synthèse Partenaires : ST, Posic SA, CSEM, Xilinx, Leti, ACI, AI Alliance. Arénaire - 1. Opérateurs matériels
20 Exemple. Signature numérique (J.-L. Beuchat, A. Tisserand, G. Villard) OCAM - Arénaire/Codes/LIRMM, ACI «Sécurité informatique» ( ) Cryptographie à clef publique (McEliece, Niederreiter, Gabidulin...) Signature numérique basée sur la théorie des codes Signatures courtes (e.g bits) Lenteur logicielle ( 1mn) Opérateurs pour K[x], K = F 2 m Implantation FPGA Plate-forme de test Ingrédients : - Codes, décodage. - Générateurs d opérateurs cryptographiques. - Représentations : F 2 n, F 2 m[x]. - Critères matériels et critères de sécurité. Arénaire - 1. Opérateurs matériels
21 Prototypage FPGA, résultats et estimations, G. Duveau, signature tentatives de décodage de syndromes (hachés du document). 1 cycle = 1 multiplication dans F 2 16 (m = 16, t = 9), MHz. Étape Surface (CLBs) Complexité Période (cycles) a1) Syndrome a2) Synd. double - O(mt) 150 b) σ(z) 175 O(mt 2 ) 500 c) z 2m z mod σ(z)? 125 O(mt 2 ) 1380 XCV600E 3456 CLBs : 5 b + 15 c= 2750 CLBs 7, décod./sec CLBs : 0.1 sec. Signature : 1/2 sec. Arénaire - 1. Opérateurs matériels
22 2/ Opérateurs arithmétiques logiciels S. Boldo, N. Brisebarre, C. Daramy-Loirat, M. Daumas, F. de Dinechin, C.-P. Jeannerod J.-M. Muller, S.K. Raina, N. Revol, A. Tisserand Processeurs spécifiques Ex. Arithmétiques ST100/ST200, DSP, VLIW Fonctions algébriques Ex. Division complexe Fonctions élémentaires Ex. Troncature des coefficients de polynômes d approx. Fonctions spéciales Standardisation Ex. Extension de la norme IEEE754 Analyse d algorithmes Ex. Pt de départ de l itération de Newton Virgule fixe/flottante Arrondi correct Fused-mac (xy+z) Multi-précision Méthodes de tables Réduction d argument Approximation Optimisations Partenaires : AS STIC,ST,Région Rhône-Alpes, (Europe Marie Curie), Spaces. Arénaire - 2. Opérateurs logiciels
23 Exemple. Bibliothèque crlibm ODL INRIA (2002/2004) - C. Daramy-Loirat (D. Defour, F. de Dinechin, J.-M. Muller). Arrondi correct à la IEEE pour fonctions élémentaires en flottant, exp, log, sin, cos... Ingrédients : - Analyse théorique des pires cas. - Précision adaptative, cf. scslib, (de 64 à 211 bits), optimisation de caches. - Méthodes à base de tables. - Réduction d argument. - Preuve par majoration d erreur. exp crlibm/libm Moyenne UltraSparc IIi 2.7 Itanium 2.6 Pentium III 1.2 PowerPC G4 0.9 Xeon 1.2 libultim (IBM) : MPFR (Spaces) : (précision qcq.) de 0.98 à 2.2 fois plus rapide en moyenne (de 30 à 460 fois plus lente dans le pire cas.) (de 14 à 60 fois plus lente en moyenne) de 1.6 à 5.2 fois plus lente dans le pire cas. Arénaire - 2. Opérateurs logiciels
24 3/ Propriétés des calculs, validation et preuve S. Boldo, M. Daumas, G. Melquiond, J.-M. Muller, N. Revol Arithmétiques certifiées et calculs validés : Propriétés de programmes (statiques)/ algorithmes, représentabilité, arrondi correct/fidèle (e.g. ax + y, éval. Horner), existence et unicité de solutions (e.g. itér. Newton). Encadrements de résultats, bissection d intervalles... Bornes d erreur. Erreur de méthode et/ou d arrondi, modèles de Taylor (propriétés IEEE), calculs explicites. Spécification Arithmétique d intervalles + Preuve formelle Coq, PVS Partenaires : AS STIC, GDR Automatique, CEA (en signature), NIA-NASA (Navigation aérienne). Arénaire - 3. Propriétés des calculs, validation et preuve
25 Exemple. Bibliothèque Coq pour l arithmétique flottante S. Boldo, M. Daumas. http ://perso.ens-lyon.fr/sylvie.boldo/coq - Opérateurs et programmes (structures de contrôle statiques) - Propriétés de représentabilité et d arrondi Arénaire - 3. Propriétés des calculs, validation et preuve
26 4/ Utilisation des arithmétiques P. Giorgi, C.-P. Jeannerod, N. Revol, G. Villard Adéquation arithmétiques/algorithmes Calculs approchés/intervalles/arithmétique exacte Développement d arithmétiques spécifiques et test Intervalles multi-précision, corps finis et extensions, nombres rationnels Analyse numérique pour les intervalles Adaptation automatique de la précision, algorithmes dédiés. Complexité algorithmique Complexité algébrique versus binaire. Matrices polynomiales Théorie des réalisations, contrôle linéaire. Partenaires : AS STIC, LinBox, IMAG, ORCCA, Roxane (Galaad, Spaces) Arénaire - 4. Utilisation des arithmétiques
27 Exemple. Algèbre linéaire MPFI, LinBox, LMC-IMAG (J.-G. Dumas, C. Pernet). http ://linalg.org Développements logiciels : arithmétique d intervalles et exacte. Bibliothèque génériques, arithmétiques spécifiques et externes, évaluation des performances/rebouclage sur les implantations. Classes template C++ et STL. Interfaces, e.g. Maple ou utilisation des BLAS numériques. Opérateurs type BLAS 1,2,3 intervalles/exacts. Transfert : algorithmes et codes Maple 9 (ORCCA/Maple, G. Labahn). Collaborations : initiative Roxane, CD de logiciel libre (Galaad, B. Mourrain). Aspects applicatifs. Optimisation globale, calculs mathématiques. Arénaire - 4. Utilisation des arithmétiques
28 Calculs d homologies Systèmes diophantiens Forme normale de Smith Calcul du rang Opérateurs composites Opérateurs arithmétiques : corps finis [Dumas, Heckenbach, Saunders, Welker] [Dumas, Saunders, Villard] [Dumas, Giorgi, Pernet] Release 3.1 / Décembre 2003 Arénaire - 4. Utilisation des arithmétiques
29 Plan I - Présentation et objectifs généraux II - Partenaires et résultats III - Thématiques IV - Conclusion Arénaire - Conclusion
30 Engagement réaffirmé en conception de circuits Compétences accrues en - mathématiques/algorithmique/matériel - développement versus utilisation des arithmétiques Arithmétique et CAO / Basse consommation Cryptologie Fonctions élémentaires et spéciales Certification / validation Arénaire - Conclusion
Exemple d implantation de fonction mathématique sur ST240
Exemple d implantation de fonction mathématique sur ST240 Guillaume Revy Encadrants : Claude-Pierre Jeannerod et Gilles Villard Équipe INRIA Arénaire Laboratoire de l Informatique du Parallélisme - ENS
Plus en détailSemestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016
Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation
Plus en détailArithmétique réelle. Introduction à l arithmétique flottante La précision des calculs: analyse et améliorations. Valérie Ménissier-Morain
Arithmétique réelle Introduction à l arithmétique flottante La précision des calculs: analyse et améliorations Valérie Ménissier-Morain Université Pierre et Marie Curie - Paris 6 LIP6 - Département CALSCI
Plus en détailDe l arithmétique d intervalles à la certification de programmes
N d ordre : 388 N attribué par la bibliothèque : 06ENSL0388 ÉCOLE NORMALE SUPÉRIEURE DE LYON Laboratoire de l Informatique du Parallélisme THÈSE présentée et soutenue publiquement le 21 novembre 2006 par
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailMaster (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)
Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/
Plus en détailPolynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Plus en détailISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES
ISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES L ISFA et ses formations Focus sur S2IFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES L ISFA, CRÉÉ
Plus en détailMASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME
MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité
Plus en détailCalculer avec Sage. Revision : 417 du 1 er juillet 2010
Calculer avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse François Maltey Matthias Meulien Marc Mezzarobba Clément Pernet Nicolas Thiéry Paul Zimmermann Revision : 417 du 1
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailUNIVERSITE HASSAN II DE CASABLANCA. FACULTE DES SCIENCES & TECHNIQUES MOHAMMEDIA Département Génie Electrique
UNIVERSITE HASSAN II DE CASABLANCA FACULTE DES SCIENCES & TECHNIQUES MOHAMMEDIA Département Génie Electrique FORMATION CONTINUE Diplôme d Université de Casablanca Master d Université Master en Sciences
Plus en détailCalcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane
Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Poteaux Adrien XLIM-DMI, UMR-CNRS 6172 Université de Limoges Soutenance de thèse 15 octobre
Plus en détail2015 // 2016. des formations. programme. Retrouvez toutes ces informations sur enseirb-matmeca.bordeaux-inp.fr
programme des formations Filière Électronique...2 Filière Informatique...3 Filière Mathématique et Mécanique...4 Filière Télécommunications...5 Filière Réseaux et Systèmes d Information...6 Filière Systèmes
Plus en détailHigh Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi
Thèse High Performance by Exploiting Information Locality through Reverse Computing Présentée et soutenue publiquement le 21 décembre 2011 par Mouad Bahi pour l obtention du Doctorat de l université Paris-Sud
Plus en détailProblèmes arithmétiques issus de la cryptographie reposant sur les réseaux
Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Damien Stehlé LIP CNRS/ENSL/INRIA/UCBL/U. Lyon Perpignan, Février 2011 Damien Stehlé Problèmes arithmétiques issus de la cryptographie
Plus en détailLes fonctions de hachage, un domaine à la mode
Les fonctions de hachage, un domaine à la mode JSSI 2009 Thomas Peyrin (Ingenico) 17 mars 2009 - Paris Outline Qu est-ce qu une fonction de hachage Comment construire une fonction de hachage? Les attaques
Plus en détailContexte et motivations Les techniques envisagées Evolution des processus Conclusion
Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and
Plus en détailALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII
ALGORITHMIQUE II NOTION DE COMPLEXITE 1 2 Comment choisir entre différents algorithmes pour résoudre un même problème? Plusieurs critères de choix : Exactitude Simplicité Efficacité (but de ce chapitre)
Plus en détailArchitecture matérielle des systèmes informatiques
Architecture matérielle des systèmes informatiques IDEC, Renens. Version novembre 2003. Avertissement : ce support de cours n est pas destiné à l autoformation et doit impérativement être complété par
Plus en détailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en détailQuoi de neuf en LabVIEW FPGA 2010?
Quoi de neuf en LabVIEW FPGA 2010? Yannick DEGLA Ingénieur d Application Fonctionnalités de LabVIEW FPGA 2010 Nœud d intégration d IP - Importer directement des fichiers.xco de Xilinx ou vos propres VHDL
Plus en détailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailLa Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1
La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois
Plus en détailNouveaux résultats en cryptographie basée sur les codes correcteurs d erreurs
MajecSTIC 2009 Avignon, France, du 16 au 18 novembre 2009 Nouveaux résultats en cryptographie basée sur les codes correcteurs d erreurs Pierre-Louis CAYREL Université Paris VIII Département de Mathématiques
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailMaple: premiers calculs et premières applications
TP Maple: premiers calculs et premières applications Maple: un logiciel de calcul formel Le logiciel Maple est un système de calcul formel. Alors que la plupart des logiciels de mathématiques utilisent
Plus en détailLimitations of the Playstation 3 for High Performance Cluster Computing
Introduction Plan Limitations of the Playstation 3 for High Performance Cluster Computing July 2007 Introduction Plan Introduction Intérêts de la PS3 : rapide et puissante bon marché L utiliser pour faire
Plus en détailConversion d un entier. Méthode par soustraction
Conversion entre bases Pour passer d un nombre en base b à un nombre en base 10, on utilise l écriture polynomiale décrite précédemment. Pour passer d un nombre en base 10 à un nombre en base b, on peut
Plus en détailTable des matières. I Mise à niveau 11. Préface
Table des matières Préface v I Mise à niveau 11 1 Bases du calcul commercial 13 1.1 Alphabet grec...................................... 13 1.2 Symboles mathématiques............................... 14 1.3
Plus en détailUFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018
UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique
Plus en détailChapitre 10 Arithmétique réelle
Chapitre 10 Arithmétique réelle Jean Privat Université du Québec à Montréal INF2170 Organisation des ordinateurs et assembleur Automne 2013 Jean Privat (UQAM) 10 Arithmétique réelle INF2170 Automne 2013
Plus en détailAlgorithmes de Transmission et de Recherche de l Information dans les Réseaux de Communication. Philippe Robert INRIA Paris-Rocquencourt
Algorithmes de Transmission et de Recherche de l Information dans les Réseaux de Communication Philippe Robert INRIA Paris-Rocquencourt Le 2 juin 2010 Présentation Directeur de recherche à l INRIA Institut
Plus en détailThème 3 Conception et vérification d architectures de systèmes sur puce
Thème 3 Conception et vérification d architectures de systèmes sur puce Conception et simulation Frédéric Pétrot Vérification Laurence Pierre Conception et vérification d architectures de systèmes sur
Plus en détailPanorama des études à travers les filières. FEEL du 23 octobre 2014
Panorama des études à travers les filières FEEL du 23 octobre 2014 Plan Structure générale des études à l'ensimag 1A : le tronc commun 2A/3A : entrée dans les filières et spécialisation Modalités du choix
Plus en détailProgrammes des classes préparatoires aux Grandes Ecoles
Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voies : Mathématiques, physique et sciences de l'ingénieur (MPSI) Physique, chimie et sciences de l ingénieur (PCSI) Physique,
Plus en détailLe Master Mathématiques et Applications
Le Master Mathématiques et Applications Franck BOYER franck.boyer@univ-amu.fr Institut de Mathématiques de Marseille Aix-Marseille Université Marseille, 20 Mai 2014 1/ 16 Structure générale Vue d ensemble
Plus en détailComment reproduire les résultats de l article : POP-Java : Parallélisme et distribution orienté objet
Comment reproduire les résultats de l article : POP-Java : Parallélisme et distribution orienté objet Beat Wolf 1, Pierre Kuonen 1, Thomas Dandekar 2 1 icosys, Haute École Spécialisée de Suisse occidentale,
Plus en détailIFT2880 Organisation des ordinateurs et systèmes
Représentation des nombres flottants Notation exponentielle Représentations équivalentes dans la base 10 de 1,234 1 2 3, 4 0 0. 0 x 1 0-2 1 2, 3 4 0. 0 x 1 0-1 1, 2 3 4. 0 x 1 0 1 2 3. 4 x 1 0 1 2. 3 4
Plus en détailReprésentation d un nombre en machine, erreurs d arrondis
Chapitre Représentation d un nombre en machine, erreurs d arrondis Ce chapitre est une introduction à la représentation des nombres en machine et aux erreurs d arrondis, basé sur [], [].. Un exemple :
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailTrouver un vecteur le plus court dans un réseau euclidien
Trouver un vecteur le plus court dans un réseau euclidien Damien STEHLÉ http://perso.ens-lyon.fr/damien.stehle Travail en commun avec Guillaume HANROT (INRIA Lorraine) CNRS/LIP/INRIA/ÉNS Lyon/Université
Plus en détailArchitecture des ordinateurs
Décoder la relation entre l architecture et les applications Violaine Louvet, Institut Camille Jordan CNRS & Université Lyon 1 Ecole «Découverte du Calcul» 2013 1 / 61 Simulation numérique... Physique
Plus en détailConception et Intégration de Systèmes Critiques
Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle
Plus en détailHétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds
Hétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds Mardi Laurent Lefèvre LIP Inria/ENS Lyon Jean-Marc Pierson, Georges Da Costa, Patricia Stolf IRIT Toulouse Hétérogénéité
Plus en détailSéminaire RGE REIMS 17 février 2011
Séminaire RGE REIMS 17 février 2011 ADACSYS Présentation des FPGA Agenda Spécificité et différences par rapport aux autres accélérateurs Nos atouts Applications Approche innovante Document confidentiel
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailEchantillonnage Non uniforme
Echantillonnage Non uniforme Marie CHABERT IRIT/INP-ENSEEIHT/ ENSEEIHT/TéSASA Patrice MICHEL et Bernard LACAZE TéSA 1 Plan Introduction Echantillonnage uniforme Echantillonnage irrégulier Comparaison Cas
Plus en détailLa Certification de la Sécurité des Automatismes de METEOR
1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,
Plus en détailPour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur
Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur ARROWS Structures de données avec pointeurs sûres : une approche déclarative de leur spécification
Plus en détailIN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Plus en détailCalcul Scientifique et Symbolique, Logiciels Licence Mathématiques UE N1MA3003. Alain Yger
Calcul Scientifique et Symbolique, Logiciels Licence Mathématiques UE N1MA3003 Alain Yger Institut de Mathématiques, Université Bordeaux 1, Talence 33405, France E-mail address: Alain.Yger@math.u-bordeaux1.fr
Plus en détailTABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent
TABLE DES MATIÈRES AVANT-PROPOS III CHAPITRE I Les quanta s invitent I-1. L Univers est en constante évolution 2 I-2. L âge de l Univers 4 I-2.1. Le rayonnement fossile témoigne 4 I-2.2. Les amas globulaires
Plus en détailLES MÉMOIRES FLASH : ENTRE MÉMOIRE VIVE ET MÉMOIRE DE STOCKAGE. Etienne Nowak 12 mars 2015. Etienne Nowak - 12 mars 2015 - GIS-SPADON
LES MÉMOIRES FLASH : ENTRE MÉMOIRE VIVE ET MÉMOIRE DE STOCKAGE Etienne Nowak 12 mars 2015 PRÉSENTATION ETIENNE NOWAK
Plus en détailDes réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov
Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov Olivier Hermant et Vivien Maisonneuve CRI, MINES ParisTech, PSL Research University prenom.nom@mines-paristech.fr
Plus en détailRecherches amont en STIC: enjeux de compétitivité
? Recherches amont en STIC: enjeux de compétitivité Antoine Petit Directeur Inter-Régional Sud Ouest CNRS PaRI-STIC, 21-11-05 1 Pôles de compétitivité 1/ Mondiaux Aéronautique, Espace et Systèmes Embarqués
Plus en détailCryptologie. Algorithmes à clé publique. Jean-Marc Robert. Génie logiciel et des TI
Cryptologie Algorithmes à clé publique Jean-Marc Robert Génie logiciel et des TI Plan de la présentation Introduction Cryptographie à clé publique Les principes essentiels La signature électronique Infrastructures
Plus en détailTout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce
Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce «profil» S orienter (éventuellement se réorienter) dans
Plus en détailNé le 13/06/1984 Russe Célibataire Langues : Russe, Anglais,
Alexey Zykin Université d Etat Ecole des Hautes Etudes en Sciences Economiques Adresse : 7, Vavilova rue, Moscou, Russie Courriel : alzykin@gmail.com Page personnelle : http://www.mccme.ru/poncelet/pers/zykin.html
Plus en détailQuoi de neuf en contrôle/commande et systèmes embarqués (RIO, WSN...)?
Quoi de neuf en contrôle/commande et systèmes embarqués (RIO, WSN...)? Mathieu PACE National Instruments, Ingénieur d applications L architecture RIO se développe Processeur FPGA E/S E/S E/S personnalisées
Plus en détailIntroduction à l Informatique licence 1 ère année Notes de Cours
Introduction à l Informatique licence 1 ère année Notes de Cours Philippe Le Parc Mail : leparc@univ-brest.fr Bureau : LC101 Tel : (029801) 6960 Fiche UE (part.1) 2 Plan et planning Début des cours magistraux
Plus en détailNombres premiers. Comment reconnaître un nombre premier? Mais...
Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement
Plus en détailLe Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs
Le Futur de la Visualisation d Information Jean-Daniel Fekete Projet in situ INRIA Futurs La visualisation d information 1.Présentation 2.Bilan 3.Perspectives Visualisation : 3 domaines Visualisation scientifique
Plus en détailMAC-TC: programmation d un plate forme DSP-FPGA
MAC-TC: programmation d un plate forme DSP-FPGA Tanguy Risset avec l aide de: Nicolas Fournel, Antoine Fraboulet, Claire Goursaud, Arnaud Tisserand - p. 1/17 Plan Partie 1: le système Lyrtech Introduction
Plus en détailCatalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands.
Catalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands. Pourquoi un autre catalogue en Suisse romande Historique En 1990, la CRUS (Conférences des
Plus en détailÉvaluation des logiciels et autres réalisations
DOCUMENT D ANALYSE DE LA COMMISSION D ÉVALUATION DE L INRIA Évaluation des logiciels et autres réalisations Préparé par David Margery, Jean-Pierre Merlet, Cordelia Schmid, Agnès Sulem, Paul Zimmermann
Plus en détailLaboratoire d informatique Gaspard-Monge UMR 8049. Journée Labex Bézout- ANSES
Laboratoire d informatique Gaspard-Monge UMR 8049 Journée Labex Bézout- ANSES Présentation du laboratoire 150 membres, 71 chercheurs et enseignants-chercheurs, 60 doctorants 4 tutelles : CNRS, École des
Plus en détailOutils pour les réseaux de neurones et contenu du CD-Rom
Outils pour les réseaux de neurones et contenu du CD-Rom Depuis le développement théorique des réseaux de neurones à la fin des années 1980-1990, plusieurs outils ont été mis à la disposition des utilisateurs.
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailL INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009
1 L INRIA, institut français des STIC (en Île-de-France) 24 septembre 2009 Institut National de Recherche en Informatique et en Automatique 2 Institut dédié aux Sciences et Technologies de l Information
Plus en détailRapport de certification
Rapport de certification Memory Arrays avec Memory Gateways Version 5.5.2 Préparé par : Le Centre de la sécurité des télécommunications à titre d organisme de certification dans le cadre du Schéma canadien
Plus en détailPeter W. Shor, Prix Nevanlinna 1998
Peter W. Shor, Prix Nevanlinna 1998 Franck LEPRÉVOST (Institut de Mathématiques de Jussieu) Introduction L e prix Nevanlinna 1998 a été remis à Peter W. Shor au cours du congrès international des mathématiciens
Plus en détailExercices - Fonctions de plusieurs variables : corrigé. Pour commencer
Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy
Plus en détailCours 1 : Qu est-ce que la programmation?
1/65 Introduction à la programmation Cours 1 : Qu est-ce que la programmation? Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr Université Paris Diderot Paris 7 2/65 1. Sortez un appareil qui peut se rendre
Plus en détailUNIVERSITE DE BREST Référence GALAXIE : 4201
UNIVERSITE DE BREST Référence GALAXIE : 4201 Numéro dans le SI local : 6300MCF0617 Référence GESUP : 0617 Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 63-Génie électrique, électronique,
Plus en détailSujet 1 : Diagnostique du Syndrome de l apnée du sommeil par des techniques d analyse discriminante.
Sujet 1 : Diagnostique du Syndrome de l apnée du sommeil par des techniques d analyse discriminante. Objectifs et formulation du sujet Le syndrome de l apnée du sommeil (SAS) est un problème de santé publique
Plus en détailIntroduction et contexte L I S. Jean Arlat EDF. Electricité de France technicatome. LAAS et LIS THOMSON-CSF
Introduction et contexte L I S EDF Electricité de France technicatome THOMSON-CSF Jean Arlat LAAS et LIS Création : juillet 1992 Durée : 4 ans L IS MATRA MARCONI SPACE LAAS-CNRS Région Midi-Pyrénées technicatome
Plus en détailPeut-on faire confiance au calcul flottant?
Peut-on faire confiance au calcul flottant? Paul Zimmermann Institut de Physique du Globe de Strasbourg 16 janvier 2009 Plan de l exposé Motivation La bibliothèque Motivation Useful Computations Need Useful
Plus en détailPremiers pas avec Mathematica
Premiers pas avec Mathematica LP206 : Mathématiques pour physiciens I Année 2010/2011 1 Introduction Mathematica est un logiciel de calcul formel qui permet de manipuler des expressions mathématiques symboliques.
Plus en détailFiltrage stochastique non linéaire par la théorie de représentation des martingales
Filtrage stochastique non linéaire par la théorie de représentation des martingales Adriana Climescu-Haulica Laboratoire de Modélisation et Calcul Institut d Informatique et Mathématiques Appliquées de
Plus en détail1 Recherche en table par balayage
1 Recherche en table par balayage 1.1 Problème de la recherche en table Une table désigne une liste ou un tableau d éléments. Le problème de la recherche en table est celui de la recherche d un élément
Plus en détailCurriculum Vitae 1 er février 2008
Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57
Plus en détailFICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique
NOM DE L'UE : Algorithmique et programmation C++ LICENCE INFORMATIQUE Non Alt Alt S1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE Non
Plus en détailRapport d activité. Mathieu Souchaud Juin 2007
Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix
Plus en détailINTRODUCTION. 1 k 2. k=1
Capes externe de mathématiques : session 7 Première composition INTRODUCTION L objet du problème est l étude de la suite (s n n définie par : n, s n = Dans une première partie, nous nous attacherons à
Plus en détailSystèmes et traitement parallèles
Systèmes et traitement parallèles Mohsine Eleuldj Département Génie Informatique, EMI eleuldj@emi.ac.ma 1 Système et traitement parallèle Objectif Etude des architectures parallèles Programmation des applications
Plus en détailCorrigé des TD 1 à 5
Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un
Plus en détailChapitre 7. Récurrences
Chapitre 7 Récurrences 333 Plan 1. Introduction 2. Applications 3. Classification des récurrences 4. Résolution de récurrences 5. Résumé et comparaisons Lectures conseillées : I MCS, chapitre 20. I Rosen,
Plus en détailADÉQUATION ALGORITHME-ARCHITECTURE APPLIQUÉE AUX CIRCUITS RECONFIGURABLES
ADÉQUATION ALGORITHME-ARCHITECTURE APPLIQUÉE AUX CIRCUITS RECONFIGURABLES AILTON F. DIAS, MOHAMED AKIL, CHRISTOPHE LAVARENNE, YVES SOREL CNEN/CDTN Divisão de Computação e Informação, CP 941-012-970 Belo
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailLe signal GPS. Les horloges atomiques à bord des satellites GPS produisent une fréquence fondamentale f o = 10.23 Mhz
Le signal GPS Les horloges atomiques à bord des satellites GPS produisent une fréquence fondamentale f o = 10.23 Mhz Deux signaux en sont dérivés: L1 (fo x 154) = 1.57542 GHz, longueur d onde = 19.0 cm
Plus en détailFICHE PRODUIT COREYE CACHE Architecture technique En bref Plateforme Clients Web Coreye Cache applicative Références Principe de fonctionnement
COREYE CACHE Solution d absorption de charge pour une disponibilité et une performance optimales des applications Web En bref Architecture technique La plateforme Coreye Cache délivre la majeure partie
Plus en détailConception de Systèmes de Communications Numériques
Conception de Systèmes de Communications Numériques CSCN Markus Muck, Xavier Miet Markus.Muck@motorola.com Motorola Labs Paris (CRM) -1 - Motorola Labs CRM Paris Motorola consacre chaque année environ
Plus en détailSécurité de l'information
Sécurité de l'information Sylvain Duquesne Université Rennes 1, laboratoire de Mathématiques 24 novembre 2010 Les Rendez-Vous Mathématiques de l'irem S. Duquesne (Université Rennes 1) Sécurité de l'information
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailIntroduction. Mathématiques Quantiques Discrètes
Mathématiques Quantiques Discrètes Didier Robert Facultés des Sciences et Techniques Laboratoire de Mathématiques Jean Leray, Université de Nantes email: v-nantes.fr Commençons par expliquer le titre.
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailLicence et Master E.E.A.
Licence et Master E.E.A. N. Galopin & F. Camus UFR PHITEM 2 avril 2015 Spécialités des Masters 2 De roulement des E tudes Apre s le Master? De roulement des e tudes Locaux et environnement ge ographique
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailVérification de programmes et de preuves Première partie. décrire des algorithmes
Vérification de programmes et de preuves Première partie. décrire des algorithmes Yves Bertot September 2012 1 Motivating introduction A partir des années 1940, il a été compris que l on pouvait utiliser
Plus en détail