1282 search results - page 93 / 257 » Practical Loss-Resilient Codes |
125
Voted
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
168
click to vote
TAP
2010
Springer
15 years 3 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
180
click to vote
CSMR
2011
IEEE
14 years 8 months ago
2011
IEEE
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
136
click to vote
ICC
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—We consider non-asymmetric distributed source coding (DSC) that achieves any point in the Slepian-Wolf (SW) region. We study the error propagation phenomena and propose ...
181
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Recently, there has been a growing interest of using network coding to improve the performance of wireless networks, for example, authors of [1] proposed the practical wireless ...