Credit cards on a keyboard

2013

 

de SILVA, G., RYŠAVÝ, O., MATOUŠEK, P., ŠVÉDA, M.: On formal reachability analysis in networks with dynamic behavior, In: Telecommunication Systems, Vol. 52, No. 2, 2013, New York, US, pp. 919-929, ISSN 1018-4864.

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z.; MIČULKA, L. Fault Tolerant System Design and SEU Injection based Testing, In: Microprocessors and Microsystems, Vol. 37, No. 2, 2013, Amsterdam, NL, p. 155-173, ISSN 0141-9331.

2012

 

HABERMEHL, P.; HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Forest Automata for Verification of Heap Manipulation. In Formal Methods in System Design, Issue 41. Berlin, DE, 2012, p. 83-106. ISSN 0925-9856.
DRAHANSKÝ, M.; DOLEŽEL, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T., H. Influence of Skin Diseases on Fingerprint Recognition. In Journal of Biomedicine and Biotechnology, Issue 4. New York, US, 2012, pp. 1-14. ISSN 1110-7243.
SALVADOR, R., OTERO, A., MORA, J., DE LA TORRE., E., RIESGO, T., SEKANINA, L. Self-Reconfigurable Evolvable Hardware System for Adaptive Image Processing, In: IEEE Transactions on Computers, Vol. 62, No. 8, 2013, US, p. 1481-1493, ISSN 0018-9340.

Pozvánka na první regionální workshop InnoHPC, 22. února 2018, Linec
Výsledky 12. Veřejné grantové soutěže
Výsledky 12. Veřejné grantové soutěže
TETRAMAX nabízí financování inovativních technologických experimentů, žádosti přijímá do 28. února
TETRAMAX nabízí finanční podporu spolupráce malých a středních firem s akademickou sférou. První výzva na […]
Přihlášky na letní stáže PRACE Summer of HPC 2018
Studenti magisterského a doktorského studia se mohou přihlásit do programu PRACE Summer of HPC. Jedná […]
Pozvánka na kurz Intel Xeon Phi programming (22-23/02/2018)
Kdy: čtvrtek 22. února 2018 9.30 hod. – pátek 23. února 2018 16.30 hod. Kde: […]
Všechny aktuality