acm-header.
登入

ACM的通信

研究档案


档案

该研究档案提供了对过去问题发表的所有研究文章的访问。

2016年3月


从ACM的通信

未定义行为检测的差异方法

未定义行为检测的差异方法

本文研究了系统编程语言(如C / C ++)中出现的未定义行为。我们介绍一个名为堆栈的新静态检查器,精确地识别未定义的行为错误。


从ACM的通信

技术视角:堆叠未定义的行为

在“未定义行为检测的差异方法”中,“王等人。假设任何时候编译器能够通过基于未定义的行为使用推理来删除代码,编译程序可能包含...


从ACM的通信

学习命名对象

学习命名对象

本文介绍了预测类别标签的问题,模仿人类观察者将如何命名对象。


从ACM的通信

技术视角:驯服名称游戏

在“学习名称对象”中,作者提供了一种方法来确定图像中对象的基本级别类别名称。

Baidu
map