3130 search results - page 42 / 626 » Design Correctness of Digital Systems |
ERCIMDL
2006
Springer
13 years 11 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
We present a practical scheme for error-resilient digital video broadcasting, using the Wyner-Ziv coding paradigm. We apply the general framework of systematic lossy source-channe...
ISCA
2003
IEEE
14 years 27 days ago
2003
IEEE
Many future shared-memory multiprocessor servers will both target commercial workloads and use highly-integrated “glueless” designs. Implementing low-latency cache coherence i...
POPL
2001
ACM
14 years 8 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
NOSSDAV
2005
Springer
14 years 1 months ago
2005
Springer
Packet loss can severely impact streaming video quality. Repair techniques protect streaming video from packet loss but at the price of a reduced effective transmission rate when...