State compression based on one-sided communications for distributed model checking
C Coti, S Evangelista, L Petrucci - 2018 23rd International …, 2018 - ieeexplore.ieee.org
We propose a distributed implementation of the collapse compression technique used by
explicit state model checkers to reduce memory usage. This adapatation makes use of lock …
explicit state model checkers to reduce memory usage. This adapatation makes use of lock …
A Novel Artwork Design Method Based on Big Data Technology
W Liu, J Liu - 2018 International Conference on Virtual Reality …, 2018 - ieeexplore.ieee.org
How to fully the big data technology to improve the performance of artwork design is of great
importance in computer vision. In this paper, we propose a novel artwork design method …
importance in computer vision. In this paper, we propose a novel artwork design method …