Difference between revisions of "Publications/remaud.19.seminar"

From LRDE

(Created page with "{{CSIReport | authors = Arthur Remaud | title = State compression in Spot | year = 2019 | number = 1902 | abstract = To represent a system by an automaton, we have to save the...")
 
 
Line 4: Line 4:
 
| year = 2019
 
| year = 2019
 
| number = 1902
 
| number = 1902
| abstract = To represent a system by an automaton, we have to save the values of all variables of this system in each state. This can take a lot of memory when there is a lot of variables and/or a lot of statesand also can grow the execution time due to cache misses. To avoid this problem in Spot, we compress the array of variables of each state, which already reduces the memory consumption and the execution time. In this report, we present a datastructure for a better compression of variables in statesusing the redundancy of the values in each states of the automaton, and the different constraints encounter to add it in Spot.
+
| abstract = To represent a system by an automaton, we have to save the values of all variables of this system in each state. This can take a lot of memory when there is a lot of variables and/or a lot of states, and also can grow the execution time due to cache misses. To avoid this problem in Spot, we compress the array of variables of each state, which already reduces the memory consumption and the execution time. In this report, we present a datastructure for a better compression of variables in states, using the redundancy of the values in each states of the automatonand the different constraints encounter to add it in Spot.
 
| type = techreport
 
| type = techreport
 
| id = remaud.19.seminar
 
| id = remaud.19.seminar

Latest revision as of 17:07, 29 January 2019

Abstract

To represent a system by an automaton, we have to save the values of all variables of this system in each state. This can take a lot of memory when there is a lot of variables and/or a lot of states, and also can grow the execution time due to cache misses. To avoid this problem in Spot, we compress the array of variables of each state, which already reduces the memory consumption and the execution time. In this report, we present a datastructure for a better compression of variables in states, using the redundancy of the values in each states of the automatonand the different constraints encounter to add it in Spot.