|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A practical comparator of cost functions and its applications |
Albert, Elvira |
2015 |
111 | P3 |
p. 483-504 22 p. |
artikel |
|
| 2 | Certifying execution time in multicores |
Rodrigues, Vítor |
2015 |
111 | P3 |
p. 505-534 30 p. |
artikel |
|
| 3 | Light combinators for finite fields arithmetic |
Canavese, D. |
2015 |
111 | P3 |
p. 365-394 30 p. |
artikel |
|
| 4 | On bounding space usage of streams using interpretation analysis |
Gaboardi, Marco |
2015 |
111 | P3 |
p. 395-425 31 p. |
artikel |
|
| 5 | Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 |
Shkaravska, Olha |
2015 |
111 | P3 |
p. 363-364 2 p. |
artikel |
|
| 6 | Space consumption analysis by abstract interpretation: Inference of recursive functions |
Montenegro, Manuel |
2015 |
111 | P3 |
p. 426-457 32 p. |
artikel |
|
| 7 | Space consumption analysis by abstract interpretation: Reductivity properties |
Montenegro, Manuel |
2015 |
111 | P3 |
p. 458-482 25 p. |
artikel |
7 gevonden resultaten