Universite de Perpignan Via Domitia;
abstract interpretation; compiler optimizations; floating-point numbers; numerical precision; program transformation;
机译:数值精度的程序转换
机译:测试执行实际程序所需的数值精度
机译:关于使用可编程硬件以及降低地球系统建模的数值精度
机译:数字精度的程序转换
机译:兼职MBA课程中的短期国外留学项目中的转化学习要素:案例研究
机译:关于在地球系统建模中使用可编程硬件并降低数值精度
机译:数值精度的程序转换