4311 search results - page 237 / 863 » Code Generation for Distributed Systems |
158
click to vote
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
We provide an overview of an architecture of today's Internet streaming media delivery networks and describe various problems that such systems pose with regard to video codin...
230
click to vote
ESOP
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
142
click to vote
ADAEUROPE
2008
Springer
16 years 25 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
151
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we introduce a Round–robin Arbiter Generator (RAG) tool. The RAG tool can generate a design for a Bus Arbiter (BA). The BA is able to handle the exact number of b...
148
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...