于勐
【姓名】 于勐
【职称】 助教;
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 事件约束,自动并行编译,分布式程序测试,端口,CSPE(constraints on succeeding and preceding events),调度,优化,自动机模型,白箱测试,程序变换,依赖...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 4 1 48 733
中国期刊全文数据库    共找到4篇
[1]顾庆,陈道蓄,于勐,谢立,孙钟秀.基于事件约束的分布式程序正确性测试[J]软件学报.2000,(08)
[2]阳雪林,于勐,陈道蓄,谢立.自动并行编译新技术[J]软件学报.2000,(09)
[3]于勐,臧婉瑜,谢立,孙钟秀,过敏意.面向对象语言并行化中的调用局部化优化[J]计算机学报.2002,(04)
[4]顾庆,谢立,于勐,陈道蓄,孙钟秀.程序正确性测试的相关技术进展[J]计算机应用与软件.2002,(03)
更多