2060 search results - page 131 / 412 » Some Applications of Coding Theory in Computational Complexi... |
101
click to vote
CADE
1990
Springer
15 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
ICIW
2009
IEEE
15 years 4 months ago
2009
IEEE
BitTorrent and Practical Network Coding are efficient methods for sharing files in a peer-to-peer network. Both face the problem to distribute a given file using peers with dif...
CONEXT
2009
ACM
14 years 11 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
DCC
2000
IEEE
15 years 2 months ago
2000
IEEE
On sparse images, contiguous runs of identical symbols often occur in the same coding context. This paper proposes a model for efficiently encoding such runs in a twodimensional s...
AUIC
2006
IEEE
15 years 4 months ago
2006
IEEE
An execution trace contains a description of everything that happened during an execution of a program. Execution traces are useful, because they can help software engineers under...