3852 search results - page 478 / 771 » Construction of Codes for Network Coding |
132
click to vote
APPROX
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
157
click to vote
ICESS
2004
Springer
16 years 2 days ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
184
click to vote
OTM
2004
Springer
16 years 2 days ago
2004
Springer
Globus has become a standard in the construction of Grid computing environments. However, it still needs more work and research to satisfy requirements from various grid applicatio...
175
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
175
click to vote
COMPSAC
2003
IEEE
16 years 13 hour ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...