Exatidão para Sistemas de Computação Científica

Descrição

Exatidão para Sistemas de Computação Científica (CS²) é um programa conjunto da National Science Foundation (NSF) e do Department of Energy (DOE). O programa aborda desafios que são centrais para a missão do DOE e essenciais para a missão da NSF de garantir um amplo progresso científico. O objetivo principal do programa é elevar a exatidão como um requisito fundamental para ferramentas e cadeias de ferramentas de computação científica, abrangendo desde bibliotecas de baixo nível até simulações complexas de multifísica e fluxos de trabalho científicos emergentes. Em um nível elementar, a exatidão de um sistema significa que as propriedades comportamentais desejadas serão satisfeitas durante a execução do sistema. No contexto da computação científica, a exatidão pode ser entendida, tanto no nível de software quanto de hardware, como a ausência de comportamentos falhos, como arredondamento numérico excessivo, exceções de ponto flutuante, condições de corrida de dados, impasses, falhas de memória, violações de especificações nas interfaces de módulos do sistema e assim por diante. O programa CS² coloca a exatidão em pé de igualdade com o desempenho, o foco da pesquisa atual em computação científica. Este programa prevê a necessidade de provar a exatidão mesmo em sistemas de computação científica de alto desempenho. Tais provas de exatidão podem, por si só, depender de múltiplos fatores, incluindo a exatidão de análises de programas estáticas e em tempo de execução. Reconhecendo que muitas aplicações de computação científica são inerentemente estatísticas, usam probabilidade ou…

Fonte oficial

Beneficiarios elegibles

• Others (see text field entitled "Additional Information on Eligibility" for clarification)