Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Programmation parallèle en Scala: Computing p-norm

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (51)

Mémoire Transactionnelle: Hardware Concurrency Control Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mémoire transactionnelle pour le contrôle de la concurrence matérielle, en discutant des mécanismes de verrouillage, des compromis de performance et des modifications matérielles.

Introduction à l'architecture multiprocesseur Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'architecture multiprocesseurs, l'informatique durable, l'impact de la formation sur les modèles d'IA et les principes fondamentaux de la programmation parallèle.

Introduction à la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Présente la programmation LabVIEW, couvrant la gestion de la mémoire, les types de données et les concepts de programmation parallèle, avec des démonstrations pratiques.

Fondations théoriques pour les technologies multiprocesseurs émergentes: RDMA et NVRAM Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements théoriques de RDMA et de NVRAM dans les technologies multiprocesseurs, couvrant la discorde, le contrôle de la convergence et la tolérance aux défauts.

Analyse opérationnelle : nouvelles techniques de gestion des données Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse opérationnelle, en se concentrant sur le système adaptatif STEP pour un accès efficace aux nouvelles données dans le traitement analytique.

Architectures VLIW: Compilateurs et parallélisme de niveau d'instruction Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les architectures et les compilateurs VLIW, en se concentrant sur le parallélisme de niveau d'instruction et les techniques d'optimisation.

Extensions d'ensemble d'instructions: Techniques de synthèse de haut niveau Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les extensions de jeu d'instructions et les techniques de synthèse de haut niveau pour optimiser les processeurs embarqués.

Transactions distribuées : architectures et protocoles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les architectures de bases de données parallèles et les protocoles de transaction distribués, en se concentrant sur la coordination, le contrôle de la concurrence et les défis de récupération.

Optimisation des logiciels: Localité et planification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les optimisations logicielles pour l'efficacité du cache, l'exécution parallèle et l'équilibrage de charge.

Gestion des périphériques dans les systèmes d'exploitation: Chaperons et persistance Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la gestion des périphériques dans les systèmes d'exploitation, en se concentrant sur les pilotes de périphériques, la persistance et les techniques d'optimisation des performances.

Programmation parallèle de données : Processeurs vectoriels et SIMD Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la programmation parallèle aux données avec les processeurs vectoriels et SIMD, et présente MapReduce, Pregel et TensorFlow.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Conceptions de chisel vérifiées de façon formelle Connectez-vous à Mediaspace pour regarder cette vidéo

Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.

Transactions : concepts et implémentations Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'importance et les défis des transactions, en mettant l'accent sur les propriétés ACID et les implications pratiques de l'utilisation de la mémoire transactionnelle pour le contrôle de la concurrence.

Contrôle simultané : protocoles basés sur des verrous Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les protocoles de contrôle de la concurrence basés sur les verrous et divers modèles de transaction.

Synchronisation sans verrouillage : performances et évolutivité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la synchronisation sans verrouillage pour des performances et une évolutivité dans les systèmes distribués, couvrant la génération d'identifiants uniques, les files d'attente de messagerie et les lectures RDMA atomiques.

Intégration et nettoyage des données: Compilation d'experts et reconnaissance des entités Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'intégration des données, l'appariement d'experts, la reconnaissance des entités, les performances, l'évolutivité, la gestion des données de flux, la décomposition des tenseurs et la détection de la dérive conceptuelle.

Opérations et contrôle des devises Connectez-vous à Mediaspace pour regarder cette vidéo

Déplacez-vous dans les transactions, les propriétés de l'ACID, les calendriers, les protocoles de verrouillage et le contrôle de la concordance dans les systèmes de base de données.

Opérations distribuées : principes et protocoles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les transactions distribuées, couvrant les principes, les protocoles, le contrôle de la concordance, le commit et la réplication.

Contrôle des devises multi-versions : approches optimistes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le contrôle de la confusion multi-versions avec des approches optimistes pour améliorer les systèmes de traitement des transactions.

Page 2 sur 3