|
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 | Application of compiler transformations against software vulnerabilities exploitation |
Nurmukhametov, A. R. |
2015 |
41 | 4 |
p. 231-236 |
artikel |
|
| 2 | Associated types and constraint propagation for generic programming in Scala |
Pelenitsyn, A. |
2015 |
41 | 4 |
p. 224-230 |
artikel |
|
| 3 | Automated construction of software configuration tables for real-time systems in avionics |
Utkin, S. B. |
2015 |
41 | 4 |
p. 219-223 |
artikel |
|
| 4 | High-level memory model with low-level pointer cast support for Jessie intermediate language |
Mandrykin, M. U. |
2015 |
41 | 4 |
p. 197-207 |
artikel |
|
| 5 | Interprocedural taint analysis for LLVM-bitcode |
Koshelev, V. K. |
2015 |
41 | 4 |
p. 237-245 |
artikel |
|
| 6 | Secure cloud computing based on threshold homomorphic encryption |
Varnovskiy, N. P. |
2015 |
41 | 4 |
p. 215-218 |
artikel |
|
| 7 | View to view transformations in domain specific modeling |
Koznov, D. V. |
2015 |
41 | 4 |
p. 208-214 |
artikel |
7 gevonden resultaten