1855 search results - page 126 / 371 » A coding theorem for distributed computation |
92
Voted
STACS
2010
Springer
15 years 10 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...
106
Voted
IEEEPACT
2007
IEEE
15 years 9 months 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...
138
Voted
ICPPW
2009
IEEE
15 years 10 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...
120
Voted
IPPS
2007
IEEE
15 years 9 months 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,...
126
Voted
ICIP
2005
IEEE
16 years 5 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...