PURPOSE
-------
This data package is provided as supplementary material of the paper:
“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè,
submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.
STRUCTURE
---------
The data package consists of 24 files:
- a file named _README.txt: this file
- a file named _programs.txt
- 22 files named <program_name>.sexpr
DOI Link:
Dataset Files
You must be an IEEE Dataport Subscriber to access these files. Subscribe now or login.
Documentation:
| Attachment | Size |
|---|---|
 _README.txt | 958 bytes |
[1] Giovanni Denaro,
"Parallel ReCal Supplementary material",
IEEE Dataport,
2019. [Online]. Available: http://dx.doi.org/10.21227/hwxc-cf61. Accessed: Nov. 29, 2023.
@data{hwxc-cf61-19,
doi = {10.21227/hwxc-cf61},
url = {http://dx.doi.org/10.21227/hwxc-cf61},
author = {Giovanni Denaro },
publisher = {IEEE Dataport},
title = {Parallel ReCal Supplementary material},
year = {2019} }
doi = {10.21227/hwxc-cf61},
url = {http://dx.doi.org/10.21227/hwxc-cf61},
author = {Giovanni Denaro },
publisher = {IEEE Dataport},
title = {Parallel ReCal Supplementary material},
year = {2019} }
TY - DATA
T1 - Parallel ReCal Supplementary material
AU - Giovanni Denaro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/hwxc-cf61
ER -
T1 - Parallel ReCal Supplementary material
AU - Giovanni Denaro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/hwxc-cf61
ER -
Giovanni Denaro.
(2019).
Parallel ReCal Supplementary material.
IEEE Dataport.
http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro,
2019.
Parallel ReCal Supplementary material.
Available at:
http://dx.doi.org/10.21227/hwxc-cf61.
Giovanni Denaro.
(2019).
"Parallel ReCal Supplementary material."
Web.
1. Giovanni Denaro.
Parallel ReCal Supplementary material [Internet].
IEEE Dataport; 2019.
Available from :
http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro.
"Parallel ReCal Supplementary material."
doi:
10.21227/hwxc-cf61