A memory-efficient emptiness checking algorithm

被引：0
|
作者：
Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030, China [1 ]
机构：
来源：
J. Inf. Comput. Sci. | 2006年 / 4卷 / 803-810期
关键词：
Data structures;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Memory-Efficient Tactics for Randomized LTL Model Checking
    Larsen, Kim
    Peled, Doron
    Sedwards, Sean
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS (VSTTE 2017), 2017, 10712 : 152 - 169
  • [2] A memory-efficient elitist genetic algorithm
    Ahn, CW
    Kim, KP
    Ramakrishna, RS
    [J]. PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2004, 3019 : 552 - 559
  • [3] A memory-efficient huffman decoding algorithm
    Wang, PC
    Yang, YR
    Lee, CL
    Chang, HY
    [J]. AINA 2005: 19th International Conference on Advanced Information Networking and Applications, Vol 2, 2005, : 475 - 479
  • [4] A Memory-Efficient Data Redistribution Algorithm
    Siegel, Stephen F.
    Siegel, Andrew R.
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2009, 5759 : 219 - +
  • [5] Memory-Efficient Random Order Exponentiation Algorithm
    Le, Duc-Phong
    Ghorbani, Ali A.
    [J]. IEEE ACCESS, 2020, 8 : 146923 - 146931
  • [6] Memory-efficient algorithm for lens distortion compensation
    K. D. Kozmin
    K. Hyyppä
    [J]. Optics and Spectroscopy, 2003, 95 : 139 - 141
  • [7] Memory-efficient algorithm for lens distortion compensation
    Kozmin, KD
    Hyyppä, K
    [J]. OPTICS AND SPECTROSCOPY, 2003, 95 (01) : 139 - 141
  • [8] A memory-efficient and fast Huffman decoding algorithm
    Chen, HC
    Wang, YL
    Lan, YF
    [J]. INFORMATION PROCESSING LETTERS, 1999, 69 (03) : 119 - 122
  • [9] A Fast and Memory-Efficient Hierarchical Graph Clustering Algorithm
    Szilagyi, Laszlo
    Szilagyi, Sandor Miklos
    Hirsbrunner, Beat
    [J]. NEURAL INFORMATION PROCESSING (ICONIP 2014), PT I, 2014, 8834 : 247 - 254
  • [10] SparseHC: a memory-efficient online hierarchical clustering algorithm
    Thuy-Diem Nguyen
    Schmidt, Bertil
    Kwoh, Chee-Keong
    [J]. 2014 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, 2014, 29 : 8 - 19
12345