• Algorithm 673

  • Referenced in 9 articles [sw13893]
  • Algorithm 673: Dynamic Huffman coding. We present a Pascal implementation of the one-pass algorithm ... constructing dynamic Huffman codes that is described and analyzed in a companion paper [J. Assoc ... best possible for any one-pass Huffman scheme. In practice, it uses fewer bits than...
  • libjpeg-turbo

  • Referenced in 1 article [sw21558]
  • virtue of its highly-optimized Huffman coding routines. In many cases, the performance of libjpeg...
  • Stream Fusion Code

  • Referenced in 1 article [sw28590]
  • preprocessor of the code generator. [Brian Huffman’s AFP entry formalises stream fusion in HOLCF ... contrast, this work enables Isabelle’s code generator to perform stream fusion itself. To that ... require specification and proof principles different from Huffman...
  • HuffmanView

  • Referenced in 0 articles [sw05672]
  • useful for educational purposes. Huffman coding is a graph algorithm used for lossless variable length...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • APL

  • Referenced in 81 articles [sw01165]
  • APL (named after the book A Programming Language...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • PCIF

  • Referenced in 3 articles [sw02647]
  • PCIF: An algorithm for lossless true color image...
  • JAFFE

  • Referenced in 79 articles [sw04163]
  • The Japanese Female Facial Expression (JAFFE) Database ...
  • Concorde

  • Referenced in 319 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Xilinx

  • Referenced in 96 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable...
  • CoSaMP

  • Referenced in 231 articles [sw08727]
  • CoSaMP: Iterative signal recovery from incomplete and inaccurate...
  • Soap

  • Referenced in 38 articles [sw08915]
  • SOAP: short oligonucleotide alignment program. We have developed...
  • SOAP3

  • Referenced in 4 articles [sw12017]
  • SOAP3 is a GPU-based software for aligning...
  • XMill

  • Referenced in 33 articles [sw12312]
  • XMill: an efficient compressor for XML data. We...