1855 search results - page 54 / 371 » A coding theorem for distributed computation |
ERSHOV
1989
Springer
14 years 9 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
ATAL
2004
Springer
14 years 10 months ago
2004
Springer
As of today no solely software-based solution that a priori protects the computation of any mobile code and/or mobile agent was presented. Furthermore, Algesheimer et al. [1], arg...
HIPC
2009
Springer
14 years 2 months ago
2009
Springer
The Cell/B.E. processor has proved that heterogeneous multi
ICDCS
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper proposes LTNC, a new recoding algorithm to build low complexity network codes. At the core of LTNC is a decentralized version of LT codes that allows the use of fast be...
CCS
2009
ACM
14 years 12 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...