Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

FlowVR est une bibliothèque middleware permettant de faciliter le développement et l'exécution d'applications haute performance interactives nécessitant l'exploitation de la puissance de nœuds informatiques distribués en grappe ou en grid. FlowVR a été utilisé pour des applications de réalité virtuelle, de téléprésence, de modélisation 3D en temps réel, de visualisation in situ, de pilotage de simulations moléculaires parallèles, etc. FlowVR réutilise et étend le paradigme de flux de données couramment utilisé dans les environnements de visualisation scientifique. Une application est vue comme un ensemble éventuellement distribué de modules échangeant des données. Différentes assemblées de modules peuvent être spécifiées sans modification ou recompilation des modules. Le développeur d'applications n'a pas à se soucier des problématiques de réseau. C'est le rôle de FlowVR de gérer et d'optimiser les échanges de données entre modules. FlowVR supporte les modules parallèles, permettant d'exploiter des codes MPI existants par exemple. Cette fonctionnalité est couramment utilisée pour la visualisation in situ ou le pilotage de simulations parallèles.

Projet dédié à la simulation et à l'analyse de données pour les établissements de santé. Il permet de modéliser des scénarios de flux patients, d'optimiser l'utilisation des ressources et d'évaluer l'impact des décisions organisationnelles. Les outils développés aident les hôpitaux et cliniques à améliorer leur efficacité opérationnelle et la qualité des soins.

Outil de création et d'édition graphique dédié à la modélisation de flux de données et de tâches techniques. Permet de visualiser et organiser des processus sous forme de nœuds interconnectés, avec des projections dédiées aux données et aux signaux. Utilisé pour concevoir des architectures logicielles ou des workflows complexes de manière intuitive et structurée.

Le projet bb-lossy est un outil d'analyse et d'optimisation de flux de données dans les réseaux. Il permet de détecter les goulots d'étranglement, d'analyser les performances et de modéliser le trafic réseau. Grâce à ses algorithmes avancés, il fournit des informations détaillées sur les flux de données et aide à identifier les axes d'amélioration.

Meteomat est un projet dédié à l'analyse et à la modélisation des données météorologiques et climatiques. Il permet de traiter des flux de données environnementales pour en extraire des indicateurs pertinents, facilitant ainsi la compréhension des phénomènes atmosphériques. Le projet s'appuie sur des outils avancés pour visualiser et interpréter les résultats, offrant une aide précieuse aux chercheurs et aux acteurs du domaine.

Spécification formelle pour la modélisation et la vérification de workflows sécurisés. Ce projet permet de définir des propriétés de sécurité à l'aide de la logique temporelle linéaire (LTL) et de les valider sur des modèles de tâches et de flux de données. Il s'appuie sur des outils de model checking pour garantir le bon fonctionnement et la sécurité des processus modélisés.

Ce projet permet d'analyser et d'optimiser des graphes pour résoudre des problèmes de parcours, de logistique ou de réseaux. Il facilite la modélisation de structures complexes comme des réseaux de transport, des circuits électroniques ou des flux de données. Les algorithmes intégrés aident à identifier les chemins optimaux, à détecter des goulots d'étranglement ou à simuler des scénarios d'évolution. L'outil est particulièrement utile pour les ingénieurs, les chercheurs ou les data scientists travaillant sur des systèmes interconnectés.

Plateforme dédiée à la simulation et à la modélisation des flux de fluides, principalement utilisée pour des applications en mécanique des fluides et en hydrodynamique. Elle permet aux chercheurs et ingénieurs de tester des scénarios numériques complexes, d'analyser des données de simulation et de partager des résultats dans un cadre académique ou industriel. L'outil s'appuie sur des méthodes avancées de calcul scientifique pour reproduire des phénomènes physiques variés.

Outil dédié à l'analyse et à la modélisation de réseaux et de graphes à partir de données relationnelles. Permet d'extraire des statistiques sur les interactions entre entités et de générer des visualisations pour faciliter l'interprétation des structures complexes. Utilisé pour étudier des dynamiques sociales, des réseaux de collaboration ou des flux d'information.