Comment calculer une somme ou un classement à plusieurs sans révéler un seul bit : Calcul multipartite sécurisé (MPC) et problème des millionnaires de Yao
Tags
30 pages
Computer Science
Comment les vaisseaux spatiaux et les voitures autonomes déterminent leur vraie position à partir de capteurs bruités : L'ingénierie mathématique du filtre de Kalman
Comment plusieurs threads peuvent-ils modifier les mêmes données sans aucun verrou ? La science de la programmation Lock-Free et du problème ABA
Comment prouver mathématiquement qu'un programme est 100 % sans bug sans jamais l'exécuter ? La science de la vérification formelle
Comment Shazam identifie n'importe quelle chanson en 3 secondes dans un café bruyant ? Empreinte acoustique, Constellation Map et séparation aveugle de sources (ICA)
Pourquoi les ordinateurs modernes résolvent en quelques secondes des problèmes NP-complets censés exploser : solveurs SAT, CDCL et transitions de phase
Pourquoi les petits caractères restent nets et lisibles : Mathématiques du rendu de polices, courbes de Bézier, VM de hinting et antialiasing sous-pixel
Pourquoi les sondes spatiales et les codes QR restaurent parfaitement les données même partiellement détruites : la science des codes correcteurs d'erreurs et de la limite de Shannon
Décider de l'autorité par ce que vous détenez, non par qui vous êtes : l'architecture de sécurité basée sur les capacités
Peut-on dissimuler l’existence même d’un secret ? Stéganographie et mathématiques de la dissimulation d’information
Pourquoi « aller vite » ne suffit pas : Systèmes d'exploitation temps réel (RTOS), WCET, ordonnancement RMS vs EDF et l'inversion de priorité de Mars Pathfinder
Pourquoi les anciennes consoles peuvent être recréées par logiciel : Architecture des émulateurs — Interpréteurs, JIT Dynarec, Fastmem et précision au cycle
Pourquoi tout s'arrête quand chacun attend l'autre : Théorie de l'interblocage (Deadlock), graphes d'allocation, algorithme du banquier et Livelock
Sans perdre un seul caractère, pourquoi peut-on réduire la taille d’un fichier ? Principes et limites de la compression sans perte
Comment fabriquer du « hasard » à partir d'une procédure fixe ? : La science et la cryptographie de l'imprévisibilité
La « complexité » ne se mesure pas au nombre de caractères : complexité de Kolmogorov et nature du hasard
Peut-on récupérer le code source à partir d'un exécutable ? : science, algorithmes et limites de la décompilation
Pourquoi vos données survivent à une coupure de courant : l'ingénierie de la cohérence après crash
Pourquoi votre code ne s'exécute pas dans l'ordre écrit : Introduction aux modèles mémoire des CPU et compilateurs
Techniques d'optimisation de compilateur : Qu'est-ce que la SSA (Assignation Unique Statique) ?
