1629 search results - page 258 / 326 » Infeasible Code Detection |
135
Voted
PERCOM
2010
ACM
15 years 23 days ago
2010
ACM
—Data loss in wireless communications greatly affects the reconstruction quality of a signal. In the case of images, data loss results in a reduction in quality of the received i...
167
Voted
OOPSLA
2010
Springer
15 years 7 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
136
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
A collaborative framework for detecting the different sources in mixed signals is presented in this paper. The approach is based on CHiLasso, a convex collaborative hierarchical s...
103
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
113
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—A novel counter architecture, called Counter Braids, has recently been proposed for accurate per-flow measurement on high-speed links. Inspired by sparse random graph codes, Co...