
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 zerosuppressed 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 lowlevel 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++ containerlike 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 MLlike 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 opensource software tool...

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

Edgebreaker
 Referenced in 53 articles
[sw04117]
 Edgebreaker is a simple technique for compressing three...

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, royaltyfree standard...

OEIS
 Referenced in 3337 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

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