3852 search results - page 319 / 771 » Construction of Codes for Network Coding |
191
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
202
click to vote
ICUMT
2009
15 years 4 months ago
2009
We consider the problem of joint power control, scheduling and routing in energy harvesting sensor networks allowing for multicast of data generated at the sensor nodes to a set of...
135
click to vote
CISS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper considers hybrid-ARQ under the constraints of noncoherent orthogonal modulation and hard-decision decoding. Information theoretic bounds on the throughput fo...
169
click to vote
BIOADIT
2004
Springer
16 years 4 days ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
161
click to vote
CASSIS
2004
Springer
16 years 4 days ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...