阿尔法

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
Morin Allory,Katell;Cachera,David:证明参数化系统:在多面体逻辑中使用伪管道(2005) Manjunathaiah,M.;Megson,G.M.:用于正则化阵列设计的工具(2004) Quinton,Patrice;Risset,Tanguy:递归方程的结构化调度:理论与实践(2002) Mémin,Étienne;Risset,Tanguy:用于边缘保持图像重建的VLSI设计方法(2001) 帕斯卡,弗拉德特;朱利安:大规模并行计算机专用函数语言的汇编(2000) Smarandache,Irina M.;Gautier,Thierry;Le Guernic,Paul:通过仿射演算在时钟同步约束下验证混合信号α实时系统(1999)