研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
激励性拍卖的场景为纽曼令人惊叹的研究贡献提供了背景et al。在“频谱重新包装的深度优化”中。
我们提出了一种新的用于图像处理管道的编程语言,称为Halide,它将算法与它的调度分开。
本文描述了我们构建基于sat的可行性检查器的过程,这是2016-17年美国FCC“激励拍卖”设计的一个关键元素。
《卤化物:高性能图像处理的解耦算法》,作者Ragan-Kelleyet al。关于图像处理语言Halide探索了一种完全不同的方法来优化特定于体系结构的代码…