Communications of the ACM
Latest Research
From Communications of the ACM
From Polynomial Time Queries to Graph Structure Theory
We give a logical characterization of the polynomial-time properties of graphs with excluded minors.
From Communications of the ACM
Technical Perspective: Complex Financial Products: Caveat Emptor
CDOs are examples of financial derivatives, with a value that depends on the underlying assets with which they are linked. These kinds of complex financial products...
From Communications of the ACM
Computational Complexity and Information Asymmetry in Financial Products
Securitization of cash flows using financial derivatives transformed the financial industry over the last three decades. Derivatives...
From Communications of the ACM
Poly-Logarithmic Independence Fools Bounded-Depth Boolean Circuits
The question of determining which (weak) forms of randomness "fool" (or seem totally random to) a given algorithm is a basic...
From Communications of the ACM
Technical Perspective: Patterns Hidden from Simple Algorithms
Is the number 9021960864034418159813 random? To my limited mind, the string appears random. Is there a way to use some formal mathematics...
From Communications of the ACM
Liability Issues in Software Engineering: The Use of Formal Methods to Reduce Legal Uncertainties
This paper reports on the results of a multidisciplinary project involving lawyers and computer scientists with the aim to put forward a set of methods and tools...
From Communications of the ACM
Technical Perspective: Liability Issues in Software Engineering
The paper by LeMétayer et al. addresses one technical issue in a large and serious problem in the production...
From Communications of the ACM
VL2: A Scalable and Flexible Data Center Network
VL2 is a practical network architecture that scales to support huge data centers with uniform high capacity between servers, performance isolation between services...
From Communications of the ACM
Technical Perspective: VL2
The Internet is increasingly a platform for online services running on rack after rack of servers. With the advent of large data centers, the study of the networks...
From Communications of the ACM
The Informatics Philharmonic
A system for musical accompaniment is presented in which a computer-driven orchestra follows and learns from a soloist in a concerto-like setting. The system's...
From Communications of the ACM
Technical Perspective: Concerto For Violin and Markov Model
In the opening of Sibelius' Violin Concerto, a soloist plays delicately. The orchestra responds in kind. As...
From Communications of the ACM
DRAM Errors in the Wild: A Large-Scale Field Study
While a large body of work exists on DRAM in lab conditions, little has been reported on real DRAM failures in large production clusters. In this paper, we analyze...
From Communications of the ACM
Technical Perspective: DRAM Errors in the Wild
In order to advance the field, knowledge of the types of memory errors at the system level, their frequencies, and conditions that exacerbate or are unrelated to...
From Communications of the ACM
Path Selection and Multipath Congestion Control
This paper studies data transfers under two classes of multipath control, coordinated control where the rates...
From Communications of the ACM
Technical Perspective: Multipath, A New Control Architecture For the Internet
Multipath transmission for the Internet—that is, allowing users to send some of their packets along one path and...
From Communications of the ACM
Sora: High-Performance Software Radio Using General-Purpose Multi-Core Processors
Sora, a fully programmable software radio platform on commodity PC architectures, combines the performance and fidelity of hardware software-defined radio platforms...
From Communications of the ACM
Technical Perspective: Sora Promises Lasting Impact
The objective of Sora is to build a software defined radio that combines the performance and fidelity of hardware...
From Communications of the ACM
QIP = PSPACE
The collection of computational problems having quantum interactive proof systems consists precisely of those problems solvable with an ordinary classical computer...
From Communications of the ACM
Technical Perspective: QIP = PSPACE Breakthrough
It is now clear that for a wide range of problems, quantum computers offer little or no advantage over their classical counterparts.
From Communications of the ACM