Formal verification of the Adiar BDD package
-
Updated
Dec 7, 2021 - Isabelle
Formal verification of the Adiar BDD package
The solution for the problem of list ranking in the external memory.
Solved tasks of the master's degree courses of speciality "Algorithms and Systems for Big Data Processing".
External Memory (Binary) Decision Diagrams
Tarea 1 de Diseno y Analisis de Algoritmos
Manejo de archivos tanto en memoria interna como en memoria externa en el dispositivo móvil, utilizando Kotlin.
Move Mobile Legends data on External SD Card virtually.
My materials for course on External Memory Algorithms in YDAS
External memory decoder of LZ77 parsing
Implementation of External Memory Fractal Tree (a variant of the Buffered Repository Tree) in C++ through the STXXL library.
differentiable neural computers
A framework for complex external datastructures and algorithms.
University of California BDD Package
Disk-based approach to compute the BWT and the LCP of a set of strings
Parallel external memory construction of BWT from SA
External memory LZ-End parsing algorithm
Parallel external memory suffix array construction
External Long-term and Working Memory augmented Recurrent Neural Networks (ELWM).
Add a description, image, and links to the external-memory topic page so that developers can more easily learn about it.
To associate your repository with the external-memory topic, visit your repo's landing page and select "manage topics."