位置：成果数据库 > 期刊 > 期刊详情页
面向高可信软件的整数溢出错误的自动化测试
  • 期刊名称：软件学报
  • 时间：2010.2.2
  • 页码：179-193
  • 相关项目：面向科学计算流处理器的编译存储优化关键技术研究
作者： 卢锡城|李根|卢凯|张英|
同期刊论文项目
面向科学计算流处理器的编译存储优化关键技术研究
期刊论文 20 会议论文 10 专利 6
同项目期刊论文
Improving vertex-frontier based GPU breadth-first search
A novel quantum representation for log-polar images
基于结构相似度的视觉显著性检测方法
板级高速传输总线链路层关键技术研究与实现
SPICE modeling of memristors with multilevel resistance states
Aware conflict detection of non-uniform memory access system and prevention for transactional memory
一种在线学习的视频图像分割算法
基于侧抑制频谱调谐的显著性检测方法
量子算法与量子衍生算法
基于全局结构相似度度量方法的显著性检测
Evaluating Trustworthiness of Prefix Announcements in Internet Routing
基于相位谱和调谐幅度谱的显著性检测方法
Exploiting the Reuse Supplied by Loop-Dependent Stream References for Stream Processors
Exploiting parallelism in deterministic shared memory multiprocessing
一种基于代码隔离的大程序迭代编译优化方法