916 search results - page 70 / 184 » Using redundancies to find errors |
103
click to vote
ENTCS
2002
14 years 9 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
ICAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— The purpose of this study is to maintain efficient backup routes for restoring overlay trees. In most conventional methods, after a node leaves the trees, its children start se...
DCC
2004
IEEE
15 years 9 months ago
2004
IEEE
We consider the problem of rate-distortion optimized streaming of packetized media over the Internet from a server to a client using rich acknowledgments. Instead of separately ac...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
MM
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents a novel method to recover lost packets in music streaming using a synthesizer to generate percussive sounds. As an improvement of the state-of-the-art system t...