3852 search results - page 723 / 771 » Construction of Codes for Network Coding |
120
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...
132
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
131
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
149
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
141
Voted
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...