HUFFMAN CODING IN BIT-VECTOR COMPRESSION

被引：18
|
作者：
JAKOBSSON, M
机构：
来源：
INFORMATION PROCESSING LETTERS | 1978年 / 7卷 / 06期
关键词：
D O I：
10.1016/0020-0190(78)90023-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：304 / 307
页数：4
相关论文
共 50 条
  • [21] Ranking Function Synthesis for Bit-Vector Relations
    Cook, Byron
    Kroening, Daniel
    Ruemmer, Philipp
    Wintersteiger, Christoph M.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 236 - 250
  • [22] Efficiently solving quantified bit-vector formulas
    Wintersteiger, Christoph M.
    Hamadi, Youssef
    de Moura, Leonardo
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 42 (01) : 3 - 23
  • [23] From cascade decompositions to bit-vector algorithms
    Bergeron, A
    Hamel, S
    THEORETICAL COMPUTER SCIENCE, 2004, 313 (01) : 3 - 16
  • [24] Combination of Huffman Coding Compression Algorithm and Least Significant Bit Method for Image Hiding
    Rachmawati, D.
    Amalia, A.
    Surya, J.
    1ST INTERNATIONAL CONFERENCE ON COMPUTING AND APPLIED INFORMATICS 2016 : APPLIED INFORMATICS TOWARD SMART ENVIRONMENT, PEOPLE, AND SOCIETY, 2017, 801
  • [25] Canonical Huffman Coding for Image Compression
    Khaitu, Shree Ram
    Panday, Sanjeeb Prasad
    PROCEEDINGS ON 2018 IEEE 3RD INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND SECURITY (ICCCS), 2018, : 184 - 190
  • [26] VQ Compression Enhancer with Huffman Coding
    Lee, Chin-Feng
    Chang, Chin-Chen
    Zeng, Qun-Feng
    GENETIC AND EVOLUTIONARY COMPUTING, 2018, 579 : 101 - 108
  • [27] DATA-COMPRESSION WITH HUFFMAN CODING
    AMSTERDAM, J
    BYTE, 1986, 11 (05): : 98 - &
  • [28] Efficient identification of design patterns with bit-vector algorithm
    Kaczor, Olivier
    Gueheneuc, Yann-Gaeel
    Hamel, Sylvie
    10TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2006, : 173 - +
  • [29] On the complexity of the quantified bit-vector arithmetic with binary encoding
    Jonas, M.
    Strejcek, J.
    INFORMATION PROCESSING LETTERS, 2018, 135 : 57 - 61
  • [30] Complexity of Fixed-Size Bit-Vector Logics
    Kovasznai, Gergely
    Froehlich, Andreas
    Biere, Armin
    THEORY OF COMPUTING SYSTEMS, 2016, 59 (02) : 323 - 376
12345