3852 search results - page 477 / 771 » Construction of Codes for Network Coding |
169
click to vote
AMS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
184
click to vote
CSL
2005
Springer
16 years 7 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
195
click to vote
TLCA
2005
Springer
16 years 6 days ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
153
click to vote
APLAS
2004
ACM
16 years 4 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
175
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...