From Theory to Practice: Plug and Play with Succinct Data Structures

被引:0
|
作者
Gog, Simon [1 ]
Beller, Timo [2 ]
Moffat, Alistair [1 ]
Petri, Matthias [1 ]
机构
[1] Univ Melbourne, Dept Comp & Informat Syst, Melbourne, Vic 3010, Australia
[2] Univ Ulm, Inst Theoret Comp Sci, D-89069 Ulm, Germany
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Engineering efficient implementations of compact and succinct structures is time-consuming and challenging, since there is no standard library of easy-to-use, highly optimized, and composable components. One consequence is that measuring the practical impact of new theoretical proposals is difficult, since older baseline implementations may not rely on the same basic components, and reimplementing from scratch can be time-consuming. In this paper we present a framework for experimentation with succinct data structures, providing a large set of configurable components, together with tests, benchmarks, and tools to analyze resource requirements. We demonstrate the functionality of the framework by recomposing two succinct solutions for top-k document retrieval which can operate on both character and integer alphabets.
引用
收藏
页码:326 / 337
页数:12
相关论文
共 50 条
  • [31] Formal Verification of the rank Algorithm for Succinct Data Structures
    Tanaka, Akira
    Affeldt, Reynald
    Garrigue, Jacques
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 243 - 260
  • [32] A comparison study of succinct data structures for use in GWAS
    Patrick P Putnam
    Ge Zhang
    Philip A Wilsey
    [J]. BMC Bioinformatics, 14
  • [33] Succinct data structures for flexible text retrieval systems
    Sadakane, Kunihiko
    [J]. JOURNAL OF DISCRETE ALGORITHMS, 2007, 5 (01) : 12 - 22
  • [34] Succinct data structures for nearest colored node in a tree
    Tsur, Dekel
    [J]. INFORMATION PROCESSING LETTERS, 2018, 132 : 6 - 10
  • [35] The therapeutic play in nursing graduation: from theory to practice
    Salomao Barroso, Maria Clara da Cunha
    Diniz Machado, Maria Estela
    Cursino, Emilia Gallindo
    da Silva, Luciana Rodrigues
    Bastos Depianti, Jessica Renata
    da Silva, Liliane Faria
    [J]. REVISTA DE PESQUISA-CUIDADO E FUNDAMENTAL ONLINE, 2019, 11 (04): : 1043 - 1047
  • [36] Glass structures, from theory to practice
    Emami, N.
    [J]. STRUCTURES AND ARCHITECTURE: CONCEPTS: APPLICATIONS AND CHALLENGES, 2013, : 305 - 311
  • [37] Synthetic Riboswitches: From Plug and Pray toward Plug and Play
    Etzel, Maja
    Moerl, Mario
    [J]. BIOCHEMISTRY, 2017, 56 (09) : 1181 - 1198
  • [38] PLAY; PEDAGOGY, THEORY AND PRACTICE
    Macintyre, M.
    Kunter, Y.
    Macintyre, A.
    Martin, C.
    [J]. 9TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES (EDULEARN17), 2017, : 7104 - 7104
  • [39] PLAY PRODUCTION: THEORY AND PRACTICE
    Philbrick, Norman
    [J]. QUARTERLY JOURNAL OF SPEECH, 1952, 38 (03) : 355 - 356
  • [40] Leveraging Succinct Data Structures for DNA Sequence Mapping on FPGA
    Di Donato, Guido Walter
    Zeni, Alberto
    Di Tucci, Lorenzo
    Santambrogio, Marco D.
    [J]. 2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW 2020), 2020, : 155 - 158