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 条
  • [1] EVALUATION OF A HIERARCHICAL BIT-VECTOR COMPRESSION TECHNIQUE
    JAKOBSSON, M
    [J]. INFORMATION PROCESSING LETTERS, 1982, 14 (04) : 147 - 149
  • [2] Huffman Coding and Applications in Compression for Vector Maps
    Liu, Xingke
    Chen, Ke
    Li, Bin
    [J]. MEASUREMENT TECHNOLOGY AND ENGINEERING RESEARCHES IN INDUSTRY, PTS 1-3, 2013, 333-335 : 718 - +
  • [3] Bit-Vector Optimization
    Nadel, Alexander
    Ryvchin, Vadim
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 851 - 867
  • [4] CULZSS-Bit: A Bit-Vector Algorithm for Lossless Data Compression on GPGPUs
    Ozsoy, Adnan
    [J]. 2014 INTERNATIONAL WORKSHOP ON DATA-INTENSIVE SCALABLE COMPUTING SYSTEMS (DISCS), 2014, : 57 - 64
  • [5] Bit-Vector Typestate Analysis
    Arslanagic, Alen
    Subotic, Pavle
    Perez, Jorge A.
    [J]. FORMAL ASPECTS OF COMPUTING, 2023, 35 (03)
  • [6] Deciding bit-vector arithmetic with abstraction
    Bryant, Randal E.
    Kroening, Daniel
    Ouaknine, Joel
    Seshia, Sanjit A.
    Strichman, Ofer
    Brady, Bryan
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 358 - +
  • [7] Deciding Bit-Vector Formulas with mcSAT
    Zeljic, Aleksandar
    Wintersteiger, Christoph M.
    Rummer, Philipp
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 249 - 266
  • [8] Algorithms for a Bit-Vector Encoding of Trees
    Ghazi, Kaoutar
    Beaudou, Laurent
    Raynaud, Olivier
    [J]. INTELLIGENT COMPUTING & OPTIMIZATION, 2019, 866 : 418 - 427
  • [9] Solving MaxSAT with Bit-Vector Optimization
    Nadel, Alexander
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, 2018, 10929 : 54 - 72
  • [10] Matching Multiplications in Bit-Vector Formulas
    Chakraborty, Supratik
    Gupta, Ashutosh
    Jain, Rahul
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 131 - 150
12345