Dimas Gabriel,  Carlos A Holbig. 

Este artigo descreve um estudo em andamento sobre a otimizaçãoda biblioteca C-XSC através de rotinas otimizadas para o tratamento defunções básicas da biblioteca. Será feito uma descrição dos conceitos básicosda Computação Verificada e de Alta Exatidão. Além disso, pontos críticospara a obtenção de desempenho no C-XSC serão descritos e possíveis formasde otimização destes pontos serão abordadas.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2008/0060.pdf

Processando consulta.