Ce projet explore les mécanismes de programmation multicoeur en simulant des scénarios de concurrence, de synchronisation et de gestion de ressources. Il modélise des problèmes classiques comme les philosophes affamés ou les salles de bain partagées pour étudier les verrous, les deadlocks et les stratégies d'optimisation. L'objectif est de fournir des outils pour comprendre et résoudre les défis liés à la programmation parallèle et aux systèmes multi-threads.

Panoramyx est un framework C++ conçu pour simplifier la résolution de problèmes de programmation par contraintes en parallèle. Il permet aux développeurs de modéliser et résoudre des problèmes complexes en exploitant des techniques avancées de décomposition et d'optimisation, tout en offrant une intégration facile dans des projets existants via des outils comme CMake et vcpkg.

Ce projet propose un tutoriel pratique pour implémenter la simulation de la réaction chimique de Gray-Scott en utilisant le framework SYCL. Il guide les utilisateurs dans la création d'un programme parallèle capable de modéliser l'évolution de deux substances chimiques sur une grille 2D, en exploitant les capacités de calcul des GPU ou des accélérateurs matériels. Le projet inclut des exemples concrets, des comparaisons de performances et des bonnes pratiques pour optimiser les transferts de données entre hôte et périphérique.

Ce projet propose une sémantique formelle pour le langage de programmation Erlang, axée sur l'ordre des messages et la gestion des signaux. Il vise à simplifier la représentation du parallélisme et de la concurrence, tout en offrant une modélisation des comportements de surveillance et de gestion des exceptions. Les fonctionnalités telles que la création dynamique de processus, la représentation du temps continu ou la mise à jour dynamique du code ne sont pas prises en charge.

Ce projet fournit l'IR (Intermediate Representation) et le workflow de modélisation de programmes parallèles GeCoS SCoP, ainsi que des outils pour l'extraction de SCoP à partir du code C, diverses transformations polyédriques, la génération de code et plus encore.

Projet de simulation informatique modélisant la collision de particules à des fins éducatives ou de recherche. Il s'agit d'une adaptation d'un code initial vers une implémentation utilisant SYCL, un standard pour la programmation parallèle sur accélérateurs matériels.