INRIA a CCSD electronic archive server
Not a member yet
122212 research outputs found
Sort by
Benchmarking CO2 Storage Simulations: Results from the 11th Society of Petroleum Engineers Comparative Solution Project
No full textInternational audienceThe 11th Society of Petroleum Engineers Comparative Solution Project (shortened SPE11 herein) benchmarked simulation tools for geological carbon dioxide (CO2) storage. A total of 45 groups from leading research institutions and industry across the globe signed up to participate, with 18 ultimately contributing valid results that were included in the comparative study reported here. This paper summarizes the SPE11. A comprehensive introduction and qualitative discussion of the submitted data are provided, together with an overview of online resources for accessing the full depth of data. A global metric for analyzing the relative distance between submissions is proposed and used to conduct a quantitative analysis of the submissions. This analysis attempts to statistically resolve the key aspects influencing the variability between submissions. The study shows that the major qualitative variation between the submitted results is related to thermal effects, dissolution-driven convective mixing, and resolution of facies discontinuities. Moreover, a strong dependence on grid resolution is observed across all three versions of the SPE11. However, our quantitative analysis suggests that the observed variations are predominantly influenced by factors not documented in the technical responses provided by the participants. We therefore identify that unreported variations due to human choices within the process of setting up, conducting, and reporting on the simulations underlying each SPE11 submission are at least as impactful as the computational choices reported
Making GPU Tensor Cores compute texture interpolation
No full textNational audienceTexture interpolations is computationally heavy. This paper aims at seeing if tensor cores, which are extra hardware, could be used for computing, with a reasonable performance, texture interpolations that are not possible under the texture unit, as well as to see if an improvement can be achieved compared to the texture unit's already existing interpolations
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
No full textInternational audienceHardware verification is crucial to ensure the quality of Integrated Circuits, and prevent costly bugs down the manufacturing flow. Electrical Rule Checking (ERC) is a verification step used to assert that a circuit complies with some electrical rules, from the absence of short-circuits to dedicated constructor rules. In this survey, we provide a global overview of existing ERC techniques at transistor-level, where voltage values are explicit. We propose a new classification method to compare the existing approaches based on their semantic modeling of circuits. This survey precisely describes transistor-level ERC research challenges and existing solutions. We believe it will help structure this research domain by positioning existing approaches with respect to each other. Obviously, a survey should also facilitate technological transfer and this one should help CAD vendors identify the most relevant approaches to integrate in their tools. Finally, we highlight several promising directions to improve the existing solutions
Vers une abstraction composable des méthodes hiérarchiques pour l'accélération du produit matrice-vecteur
No full textInternational audienc
Improving Productivity of Threaded Scientific Applications with Quo Vadis
No full textInternational audienceScientific discovery is increasingly enabled by heterogeneoushardware that includes multiple processor types, deep memoryhierarchies, and heterogeneous memories. To effectively utilize thishardware, computational scientists must compose their applicationsusing a combination of programming models, middleware, and runtimesystems. Since these systems are often designed inisolation from each other, their concurrent execution results inresource contention and interference, which limits applicationperformance and scalability. Consequently, real-world applicationsface numerous challenges on heterogeneous machines.This poster presents the thread interface of Quo Vadis, a runtimesystem that helps hybrid applications make efficient use ofheterogeneous hardware, eases programmability in the presence ofmultiple programming abstractions, and enables portability acrosssystems. Applications using OpenMP or POSIX threads can now benefitfrom Quo Vadis' high-level abstractions to map and remap full physicspackages to the machine dynamically with a handful offunctions. Furthermore, the thread interface has similar semanticsto the process interface, allowing scientists to leveragea single-semantics model for partitioning and assignment of resourcesto workers, whether they are processes or threads. With both processand thread interfaces, Quo Vadis broadens its applicability to improvethe productivity of computational scientists across programmingabstractions and heterogeneous hardware
Fuzzing des Extensions Noyau de macOS
No full textNational audienceFuzzing is an effective technique for identifying vulnerabilities in complex software, such as operating system drivers. In particular, fuzzing macOS kernel extensions (kext) poses unique challenges related to Apple's new ARM processors, hardware security measures such as pointer authentication (PA), and the inability to access source code for most kext . This article examines the main obstacles to fuzzing kext , such as identifying and creating a grammar for fuzzing kext , instrumentation to obtain code coverage and detect bugs, and the inherent limitations due to the ARM architecture. In addition, an in-depth analysis of existing fuzzers has highlighted their advances and limitations. In conclusion, we propose ways of improving the fuzzing of macOS kext, such as the cooperation of several fuzzers, the optimisation of bug detection and the evaluation of fuzzers from different angles.Le fuzzing est une technique efficace pour identifier des vulnérabilités dans des logiciels complexes, comme les pilotes de systèmes d'exploitation. En particulier, le fuzzing des extensions du noyau de macOS (Kernel Extensions, ou kext) pose des défis uniques, liés aux nouveaux processeurs ARM d'Apple, aux mesures de sécurité matérielle comme l'authentification de pointeur (PA) et à l'impossibilité d'accéder au code source pour la plupart des kext . Cet article examine les principaux obstacles liés au fuzzing des kext , tels que l'identification et la création d'une grammaire pour fuzzer les kext , l'instrumentation pour obtenir la couverture du code et détecter les bugs, et les limitations inhérentes à l'architecture ARM. En outre, une analyse approfondie des fuzzers existants a permis de mettre en avant leurs avancées et limites. Pour conclure, nous proposons des pistes d'amélioration pour le fuzzing des kext de macOS, telles que la coopération de plusieurs fuzzers, l'optimisation de la détection des bugs et l'évaluation des fuzzers sous différents angles
Actes des 32èmes Journées d'Informatique Musicale
No full textInternational audienceThis document contains the proceedings of the 32nd Journées d’Informatique Musicale, held in Lyon (France) from June 23 to 25, 2025. In addition to scientific papers, it also includes the list of invited talks, workshops, demonstrations, and concerts.Ce document rassemble les actes des 32èmes Journées d’Informatique Musicale, qui se sont tenues à Lyon (France) du 23 au 25 juin 2025. Outre les communications scientifiques, il inclut également la liste des conférences invitées, des ateliers, des démonstrations et des concerts
Pharo Sound Design: Adding Auditory Feedback to a Live Programming Environment
No full textInternational audienceWe present a prototype for integrating auditory cues into the Pharo Integrated Development Environment (IDE) to support workflow awareness and explore multimodal interaction. To achieve this, we use the synthesis capabilities of the Phausto library and API, which handles digital signal processing through an embedded Faust compiler.This allows us to attach cues to user-facing events without modifying the original source code. We describe a set ofevent-driven auditory cues and the rationale behind their design. We then describe the components required for instrumentation and consistent cue playback. This approach provides a practical foundation for further experimenta tion with sound in live programming environmentsNous présentons un prototype d'intégration de signaux auditifs dans l'environnement de développement intégré (IDE) Pharo afin de favoriser la prise de conscience du flux de travail et d'explorer l'interaction multimodale. Pour ce faire, nous utilisons les capacités de synthèse de la bibliothèque et de l'API Phausto, qui gère le traitement des signaux numériques via un compilateur Faust intégré. Cela nous permet d'associer des signaux à des événements visibles par l'utilisateur sans modifier le code source d'origine. Nous décrivons un ensemble de signaux auditifs déclenchés par des événements et la logique qui sous-tend leur conception. Nous décrivons ensuite les composants nécessaires à l'instrumentation et à la lecture cohérente de ces signaux. Cette approche fournit une base pratique pour poursuivre l'expérimentation avec le son dans des environnements de programmation en direct
A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies
No full textInternational audiencePutting autonomous mobile robots into practice typically requires the integration of background information such as considering and including both legal as well as regulatory aspects into the process. This document presents a novel AI framework for such an integration. In particular, the framework features (I) a declarative formalization of environmental regulations for an integration into explainable processes using AI, (II) a learning-based method to fuse realtime sensor data from the mobile robot into an implicit spatial map, which can be queried for environmental measurements, and (III) a logical knowledge base, which leverages reasoning to detect and explain violations of the legislation. The resulting process is validated on simulated data as a proof-of-concept. Its context is autonomous fertilization in the agricultural domain near protected water bodies
From Microscopic Driver Models to Macroscopic PDEs in Ring Road Traffic Dynamics
No full textInternational audienceIn this paper, using a continuation method [22], we provide a simple procedure to derive macroscopic models from second order ordinary differential equations modeling individual vehicles moving on a ring. In particular, the result is applied to classical traffic models such as the optimal velocity follow the leader (OV-FTL) models, the intelligent driver model (IDM) or delayed driver models and we are able to modelize the macroscopic behavior of the drivers through a 2 × 2 partial differential equations whose variables are the density of the traffic and the speed of the vehicles. The paper concludes with open questions regarding stability and microscopic control design