| |
| 一种在RTL测试模式生成中验证断言再用的方法(英文) |
| | 马克西姆捷尼赫尼; 捷安瑞克; 莱穆德俄巴尔; 塔维维卢卡斯; 藤原秀雄 |
| | 2010,39(5) |
| | 摘要[891] PDF 2.49 M[935] |
|
| 芯片调试技术中插入点和监听电路区域的研究(英文) |
| | 新井雅之; 田畑義弘; 岩崎和彦 |
| | 2010,39(5) |
| | 摘要[899] PDF 385.92 K[1008] |
|
| 集成电路电磁适应性的时钟信号调制(英文) |
| | 费利裴拉瓦迪; 蕾迪西亚波尔士; 法比安瓦嘎斯; 乔治赛米拉; 茱安安迪纳; 伊莎贝尔特谢拉; 保罗特谢拉 |
| | 2010,39(5) |
| | 摘要[904] PDF 496.63 K[1115] |
|
| 时间自动机的事务级形式验证(英文) |
| | 阿米拉里高弗兰尼; 法特穆加瓦河瑞; 哈米德诺瑞; 在那拉贝定纳瓦比 |
| | 2010,39(5) |
| | 摘要[968] PDF 409.43 K[1038] |
|
| 多层次测试包:一种用于系统层设计的C/C++门组件层故障模拟的测试包(英文) |
| | 所美也萨迪格可汗; 法特穆加瓦河瑞; 斯纳默哈莫蒂; 在那拉贝定纳瓦比 |
| | 2010,39(5) |
| | 摘要[900] PDF 506.00 K[1145] |
|
| 一种使用调控器针对数据通路的综合功能的时间扩展模型生成方法(英文) |
| | 细川利纪; 早川哲兵; 吉村正义 |
| | 2010,39(5) |
| | 摘要[880] PDF 777.63 K[1013] |
|
| 常微分方程初值问题的一类单步解法 |
| | 李晓辉; 岳荣先 |
| | 2010,39(5) |
| | 摘要[964] PDF 219.25 K[1285] |
|
| 最小二乘支持向量机的一个快速近似算法 |
| | 彭新俊; 王翼飞 |
| | 2010,39(5) |
| | 摘要[1143] PDF 526.81 K[1535] |
|
| 变分包含问题和不动点问题的公共近似解 |
| | 黄洁; 曾六川 |
| | 2010,39(5) |
| | 摘要[989] PDF 207.99 K[1411] |
|
| 关于Banach空间中有限多个渐近伪压缩映像的迭代格式 |
| | 来欣欣; 曾六川 |
| | 2010,39(5) |
| | 摘要[995] PDF 215.58 K[1346] |
|
| 双时段具违约相关性的公司债券定价 |
| | 吴春军; 傅毅; 张寄洲 |
| | 2010,39(5) |
| | 摘要[996] PDF 315.25 K[1371] |
|
| 关于LTB宇宙模型中的Friedamann方程 |
| | 赵伟; 李新洲 |
| | 2010,39(5) |
| | 摘要[1104] PDF 220.13 K[1390] |
|
| 含有相互作用的高维全息暗能量 |
| | 王华; 刘道军 |
| | 2010,39(5) |
| | 摘要[1101] PDF 265.19 K[1445] |
|
| 中国印度肩隐翅虫属一新记录种(鞘翅目:隐翅虫科)(英文) |
| | 刘田田; 胡佳耀; 田茂兴; 李利珍 |
| | 2010,39(5) |
| | 摘要[960] PDF 175.51 K[1473] |
|
| 中国菲隐翅虫属三新记录种(隐翅虫科:隐翅虫科:隐翅虫亚科)(英文) |
| | 袁小转; 凌瑞芬; 田茂兴; 胡佳耀; 李利珍 |
| | 2010,39(5) |
| | 摘要[1106] PDF 408.24 K[1360] |
|
| 匍枝青藓(Brachythecium procumbens)对铅胁迫的生理响应 |
| | 曾元元; 娄玉霞; 曹同 |
| | 2010,39(5) |
| | 摘要[1050] PDF 518.53 K[1467] |
|
