Sciweavers

1336 search results - page 20 / 268
» codes 2005
Sort
View
RTA
2005
Springer
15 years 3 months ago
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
Amy P. Felty
74
Voted
APSEC
2005
IEEE
15 years 3 months ago
Metrics for Analyzing Module Interactions in Large Software Systems
We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics will be important to any automatic or s...
Santonu Sarkar, Avinash C. Kak, N. S. Nagaraja
ICIP
2005
IEEE
15 years 11 months ago
Combining MCTF with distributed source coding
Motion Compensated Temporal Filtering (MCTF) has proved to be an efficient coding tool in the design of open-loop scalable video codecs. In this paper we propose a MCTF video codi...
Marco Tagliasacchi, Stefano Tubaro, Augusto Sarti
78
Voted
ICIP
2005
IEEE
15 years 11 months ago
The role of the virtual channel in distributed source coding of video
In distributed video source coding side-information at the decoder is generated as a temporal prediction based on previous frames. This creates a virtual dependency channel betwee...
Ronald P. Westerlaken, Rene Klein Gunnewiek, Inald...
INFOCOM
2005
IEEE
15 years 3 months ago
Network coding for large scale content distribution
— We propose a new scheme for content distribution of large files that is based on network coding. With network coding, each node of the distribution network is able to generate...
Christos Gkantsidis, Pablo Rodriguez