Traducido automáticamente
🏛 GRANTS_GOV · 📍 US
18 000 000 $US
10/5/2024
11/8/2026
Science et technologie et autres activités de recherche et développement
L'exactitude pour les systèmes de calcul scientifique (CS²) est un programme conjoint de la National Science Foundation (NSF) et du Department of Energy (DOE). Le programme aborde des défis qui sont à la fois au cœur de la mission du DOE et essentiels à la mission de la NSF d'assurer un large progrès scientifique. L'objectif primordial du programme est d'élever l'exactitude au rang d'exigence fondamentale pour les outils et les chaînes d'outils de calcul scientifique, allant des bibliothèques de bas niveau aux simulations multi-physiques complexes et aux flux de travail scientifiques émergents. À un niveau élémentaire, l'exactitude d'un système signifie que les propriétés comportementales souhaitées seront satisfaites pendant l'exécution du système. Dans le contexte du calcul scientifique, l'exactitude peut être comprise, tant au niveau logiciel qu'au niveau matériel, comme l'absence de comportements défectueux tels que des arrondis numériques excessifs, des exceptions en virgule flottante, des courses de données, des interblocages, des erreurs de mémoire, des violations des spécifications aux interfaces des modules système, et ainsi de suite. Le programme CS² place l'exactitude sur un pied d'égalité avec la performance, l'objet de la recherche actuelle en calcul scientifique. Ce programme envisage la nécessité de prouver l'exactitude même dans les systèmes de calcul scientifique performants. De telles preuves d'exactitude peuvent elles-mêmes reposer sur de multiples facteurs, y compris l'exactitude des analyses de programmes statiques et d'exécution. Reconnaissant que de nombreuses applications de calcul scientifique sont intrinsèquement statistiques, utilisent des méthodes probabilistes ou…