Statistics
Verificação limitada de modelos baseada em SMT para programas CUDA
- 445 Total Visits
Total Visits per Month
| November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 |
|---|---|---|---|---|---|---|
| 17 | 13 | 21 | 24 | 16 | 12 | 6 |
File Downloads
| ???jsp.statistics.heading.download.filename??? | ???jsp.statistics.heading.download.amout??? |
|---|---|
| Dissertação_PhillipePereira_PPGEE.pdf | 137 |