Computational Aspects of Progression for Temporal Equilibrium Logic

Abstract

Deep-learning-based lossless compression is of immense importance in real-world applications, such as cold data persistence, sensor data collection, and astronomical data transmission. However, existing compressors typically model data using single-byte symbols as tokens, which makes it hard to capture the inherent correlations and cannot effectively utilize the parallel capabilities of GPU and multi-core CPU. This paper proposes SEP, a novel lossless compression framework for most time-series backbone neural networks. We first introduce a semantic enhancement module to capture the complex intra-patch relationships of binary byte streams. To improve the compression speed, we design multi-stream pipelines that dynamically assign parallel tasks to GPU streams and multi-cores. We further propose a novel GPU memory optimization strategy, which reuses GPU memory by a shared pool across streams. We conduct experiments on seven real-world datasets and the results demonstrate that our SEP framework outperforms state-of-the-art compressors with an average speed improvement of 30.0% and an average compression ratio gain of 5.1%, which is further elevated to 7.6% with the use of pre-training models. The GPU memory footprint is reduced by as high as 63.1% and by an average of 36.2%. The source code is available at: https://github.com/damonwan1/SEP.

Cite

Text

Eiter and Soldà. "Computational Aspects of Progression for Temporal Equilibrium Logic." International Joint Conference on Artificial Intelligence, 2024. doi:10.24963/ijcai.2024/370

Markdown

[Eiter and Soldà. "Computational Aspects of Progression for Temporal Equilibrium Logic." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/eiter2024ijcai-computational/) doi:10.24963/ijcai.2024/370

BibTeX

@inproceedings{eiter2024ijcai-computational,
  title     = {{Computational Aspects of Progression for Temporal Equilibrium Logic}},
  author    = {Eiter, Thomas and Soldà, Davide},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3342-3350},
  doi       = {10.24963/ijcai.2024/370},
  url       = {https://mlanthology.org/ijcai/2024/eiter2024ijcai-computational/}
}