Sciweavers

1855 search results - page 46 / 371
» A coding theorem for distributed computation
Sort
View
ICIP
2006
IEEE
15 years 20 days ago
On the Modeling of Motion in Wyner-Ziv Video Coding
In the past few years, a number of practical video coding schemes following distributed source coding principles have emerged. One of the main goals of distributed video coding (D...
Marco Tagliasacchi, Stefano Tubaro, Augusto Sarti
IPPS
2000
IEEE
14 years 3 months ago
Gray Codes for Torus and Edge Disjoint Hamiltonian Cycles
Lee distance Gray codes for -ary Ò-cubes and torus networks are presented. Using these Lee distance Gray codes, it is further shown how to directly generate edge disjoint Hamilto...
Myung M. Bae, Bella Bose
PPDP
2005
Springer
14 years 4 months ago
Formal validation of pattern matching code
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
Claude Kirchner, Pierre-Etienne Moreau, Antoine Re...
ASAP
2006
IEEE
85views Hardware» more  ASAP 2006»
14 years 5 months ago
High Speed Channel Coding Architectures for the Uncoordinated OR Channel
Herwin Chan, Miguel Griot, Andres I. Vila Casado, ...
EDO
2000
Springer
14 years 2 months ago
Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
António Rito Silva, Francisco Assis Rosa, T...