You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Mar 4, 2025. It is now read-only.
Copy file name to clipboardExpand all lines: README.md
+9-5Lines changed: 9 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -96,7 +96,9 @@ Grammar used for **static code analysis** graphs:
96
96
97
97
### Results
98
98
99
-
The results of the **all pairs reachability** queries evaluation on graphs related to **RDF analysis**:
99
+
The results of the **all pairs reachability** queries evaluation on graphs related to **RDF analysis** are listed below.
100
+
101
+
The sign ’–’ in cells means that the respective query is not applicable to the graph, so time is not measured.
100
102
101
103
<table>
102
104
<thead>
@@ -200,8 +202,10 @@ The evaluation results for **single source** CFPQ for graphs related to **RDF an
200
202
The results for graphs related to static code analysis are compared to results of Azimov’s CFPQ algorithm based on matrix operations. [The implementation](https://github.com/JetBrains-Research/CFPQ_PyAlgo/blob/master/src/problems/Base/algo/matrix_base/matrix_base.py)
201
203
from [CFPQ_PyAlgo](https://github.com/JetBrains-Research/CFPQ_PyAlgo) was taken as the implementation of the matrix CFPQ algorithm. This library contains the implementation for both scenarios, all pairs reachability and single source reachability. To perform matrix operations pygraphblas is used. [Pygraphblas](https://github.com/Graphegon/pygraphblas) is a python wrapper over the SuiteSparse library, which based on the [GraphBLAS](http://graphblas.org/index.php?title=Graph_BLAS_Forum) framework.
202
204
203
-
The results of the **all pairs reachability** queries evaluation on graphs related to **static code analysis**:
204
-
205
+
The results of the **all pairs reachability** queries evaluation on graphs related to **static code analysis** are listed below.
206
+
207
+
The sign ’–’ in cells means that the respective query and graph require a considerable amount of memory during algorithm execution that leads to unpredictable time to get the result.
208
+
205
209
<table>
206
210
<thead>
207
211
<tr>
@@ -217,7 +221,7 @@ The results of the **all pairs reachability** queries evaluation on graphs relat
217
221
<tbody>
218
222
<tr>
219
223
<td align="left">Apache</td>
220
-
<td align="center">-</td>
224
+
<td align="center">–</td>
221
225
<td align="center">536,7</td>
222
226
<td align="center">92 806 768</td>
223
227
</tr>
@@ -259,7 +263,7 @@ The results of the **all pairs reachability** queries evaluation on graphs relat
0 commit comments