211 search results - page 5 / 43 » Fine-Grained Data Distribution Operations for Particle Codes |
NCA
2008
IEEE
14 years 1 months ago
2008
IEEE
Distributed storage systems apply erasure-tolerant codes to guarantee reliable access to data despite failures of storage resources. While many codes can be mapped to XOR operatio...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
ISPDC
2010
IEEE
13 years 5 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
OSDI
2004
ACM
14 years 7 months ago
2004
ACM
Copy-pasted code is very common in large software because programmers prefer reusing code via copy-paste in order to reduce programming effort. Recent studies show that copy-paste...
DCOSS
2009
Springer
14 years 1 months ago
2009
Springer
Bulk transport underlies data exfiltration and code update facilities in WSNs, but existing approaches are not designed for highly lossy and variable-quality links. We observe tha...