Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Šafařík, Tomáš"'
Autor:
Šafařík, Tomáš
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transf
Externí odkaz:
http://www.nusl.cz/ntk/nusl-347971
Autor:
Šafařík, Tomáš
This diploma thesis is focused on description, breakdown and objective analysis of available development indicators of the Information and Communication Technology market in the Czech Republic. In certain ways it relates to some prior theses prepared
Externí odkaz:
http://www.nusl.cz/ntk/nusl-12429
Autor:
Šafařík, Tomáš
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3c0da59cdb2d078ead2fbe961a8a87f3
http://www.nusl.cz/ntk/nusl-490717
http://www.nusl.cz/ntk/nusl-490717
Autor:
Šafařík, Tomáš
This text treats of the compiler into assembly language of the programming language which is derived from programming language BASIC. This derived language is specified including the analysis of the language constructions. In the next chapters are de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::98b8a7520ab6fcb04b56c10f04f19f52
http://www.nusl.cz/ntk/nusl-478306
http://www.nusl.cz/ntk/nusl-478306
Autor:
Šafařík, Tomáš
This diploma thesis is focused on description, breakdown and objective analysis of available development indicators of the Information and Communication Technology market in the Czech Republic. In certain ways it relates to some prior theses prepared
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::027720bcf59698865ed3a9fdb1275553
http://www.nusl.cz/ntk/nusl-12429
http://www.nusl.cz/ntk/nusl-12429