1855 search results - page 16 / 371 » A coding theorem for distributed computation |
IJCAI
2003
14 years 8 days ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
We present solutions to statically load-balance scatter operations in parallel codes run on Grids. Our loadbalancing strategy is based on the modification of the data distributio...
VSTTE
2012
Springer
12 years 6 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
DCC
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
DSN
2005
IEEE
14 years 4 months ago
2005
IEEE
