• SDSL

  • Referenced in 8 articles [sw23210]
  • SDSL - Succinct Data Structure Library. The Succinct Data Structure Library (SDSL) is a powerful ... flexible C++11 library implementing succinct data structures. In total, the library contains the highlights ... research publications. Succinct data structures can represent an object (such as a bitvector ... classical data structure and the equivalent succinct data structure are (most of the time) identical...
  • succinct

  • Referenced in 3 articles [sw29758]
  • succinct: A collection of succinct data structures. This library contains the implementation of some succinct...
  • DenseZDD

  • Referenced in 3 articles [sw32975]
  • this article, we propose a succinct data structure of zero-suppressed binary decision diagrams (ZDDs ... information retrieval, information integration, and data mining. However, to support rich manipulation of sets ... compressed. The paper introduces a new succinct data structure, called DenseZDD, for further compressing...
  • libcds

  • Referenced in 2 articles [sw23211]
  • Structures Library. libcds implements low-level succinct data structures such as bitmaps, sequences, permutations ... goal is to provide a set of structures that form the building block of most ... compression algorithms and support for succinct trees. You can find more information at http://libcds.recoded.cl...
  • BlinkFill

  • Referenced in 2 articles [sw29485]
  • synthesis algorithm. We develop a data structure InputDataGraph to succinctly represent a large ... patterns that are shared across the input data, and use this graph to efficiently learn...
  • bitvector

  • Referenced in 1 article [sw32490]
  • bitvector: A C++ container-like data structure for storing a vector of bits with fast ... fast insertion in the middle, all in succinct space...
  • PERMAP

  • Referenced in 1 article [sw26080]
  • uncover any ”hidden structure” that might be residing in a complex data set. PERMAP will ... that shows the relationships between the objects. Succinctly, PERMAP makes classical metric and nonmetric...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • MapReduce

  • Referenced in 248 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • METAFONT

  • Referenced in 37 articles [sw01163]
  • METAFONT ist eine abstrakte Beschreibungssprache zur Definition von...
  • PERL

  • Referenced in 261 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • An ML-like module system for the synchronous...
  • CUDA

  • Referenced in 1169 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool...
  • gensim

  • Referenced in 12 articles [sw04081]
  • Gensim is a free Python framework designed to...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • OpenCL

  • Referenced in 216 articles [sw07060]
  • OpenCL™ is the first open, royalty-free standard...
  • OEIS

  • Referenced in 3337 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Pinocchio

  • Referenced in 32 articles [sw10193]
  • Pinocchio: Nearly practical verifiable computation. To instill greater...