机译:验证用于计算Groebner基数的有效功能程序的属性
MADS-LFCIA, Computer Science Department, University of A Coruna, Spain;
MADS-LFCIA, Computer Science Department, University of A Coruna, Spain;
MADS-LFCIA, Computer Science Department, University of A Coruna, Spain;
formal methods; software verification; theorem provers; functional programming; groebner bases; buchberger's algorithm;
机译:基于MATLAB的图形用户界面程序,可计算高达超高阶次的地势函数:在不规则表面上的高效计算
机译:DuctTeip:一种高效的编程模型,用于基于任务的分布式并行计算
机译:基于动态规划的随机排序子序列高效排序算法
机译:致力于Groebner基地的认证和高效计算
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:与日本癌症护理的经过认证护士和护士专家的工作满意度相关的因素:基于促进癌症控制计划的基础计划的分析
机译:验证用于计算Gröbner基数的有效功能程序的属性
机译:“认证监管计划”是否与CEQa在功能上相当。他们的章程和法规的比较。