Sciweavers

397 search results - page 52 / 80
» Overview of LDPC Codes
Sort
View
ASE
2008
102views more  ASE 2008»
13 years 11 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
SAC
2004
ACM
14 years 4 months ago
Automatic parallel code generation for tiled nested loops
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
Georgios I. Goumas, Nikolaos Drosinos, Maria Athan...
DCC
2001
IEEE
14 years 10 months ago
Video Coding for Streaming Media Delivery on the Internet
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...
Gregory J. Conklin, Gary S. Greenbaum, Karl Olav L...
ERSA
2006
147views Hardware» more  ERSA 2006»
14 years 7 days ago
Code Partitioning for Reconfigurable High-Performance Computing: A Case Study
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...
Volodymyr V. Kindratenko
ICASSP
2009
IEEE
14 years 5 months ago
Candidate proposal for ITU-T super-wideband speech and audio coding
This paper describes the speech and audio codec that has been submitted to ITU-T by Huawei and ETRI as a candidate for the upcoming super-wideband and stereo extensions of Rec. G....
Bernd Geiser, Hauke Krüger, Heinrich W. L&oum...