3852 search results - page 619 / 771 » Construction of Codes for Network Coding |
143
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
176
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
158
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
165
click to vote
AFRIGRAPH
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the process of designing an authoring tool for virtual environments, using constructivist principles. The focus of the tool is on helping novice designers wit...
187
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...