The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
The incentive auction scenario provides the backdrop for the breathtaking research contribution presented by Newman et al. in "Deep Optimization for Spectrum Repacking."
We propose a new programming language for image processing pipelines, called Halide, that separates the algorithm from its schedule.
This paper describes the process by which we built the SAT-based Feasibility Checker, a crucial element of the 2016-17 U.S. FCC "incentive auction" design.
"Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing" by Ragan-Kelley et al. on the image processing language Halide explores a substantially different approach to architecture-specific code optimization…