1855 search results - page 126 / 371 » A coding theorem for distributed computation |
122
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
137
click to vote
IEEEPACT
2007
IEEE
16 years 19 days ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
180
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
A significant fraction of parallel scientific codes are iterative with barriers between iterations or even between phases of the same iteration. The sender of a message is assur...
154
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...
158
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we propose a Joint Source-Network error control coding (JSNC) scheme which efficiently integrates scalable video coding, error control coding and overlay infrastruc...