Sciweavers

2016 search results - page 274 / 404
» Distributed error confinement
Sort
View
ICIP
2005
IEEE
14 years 10 months ago
Network embedded FEC (NEF) for video multicast in presence of packet loss correlation
Network Embedded Forward Error Correction (NEF) framework is a paradigm shift from a conventional approach of providing Forward Error Correction (FEC) only on an end-to-end basis....
Shirish S. Karande, Mingquan Wu, Hayder Radha
DAC
2008
ACM
14 years 10 months ago
Parameterized timing analysis with general delay models and arbitrary variation sources
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...
Khaled R. Heloue, Farid N. Najm
SIGSOFT
2006
ACM
14 years 10 months ago
SYNERGY: a new algorithm for property checking
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...
SIGSOFT
2003
ACM
14 years 10 months ago
Tracking pointers with path and context sensitivity for bug detection in C programs
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
V. Benjamin Livshits, Monica S. Lam
ASPLOS
2009
ACM
14 years 9 months ago
ASSURE: automatic software self-healing using rescue points
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nic...