Credit cards on a keyboard

2014 – in press

De SILVA., G.; RYŠAVÝ, O.; MATOŠEK, P.; ŠVÉDA, M. On Formal Reachability Analysis in Networks with Dynamic Behavior. In Telecommunication Systems. Volume 57, Issue 4. 2014 (in press).

2013

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z.; MIČULKA, L. Fault Tolerant System Design and SEU Injection Based Testing. In Microprocessors and Microsystems. 2013 (in press).

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.; VIDAL, A.; MORENO, F.; RIESGO, T.; SEKANINA, L. Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling. In Microprocessors and Microsystems. Volume 36, Issue 5. Amsterdam, NL, 2012, pp. 427-438.Doi: http://dx.doi.org/10.1016/j.micpro.2012.02.002.

 

Invitation to 1st Regional InnoHPC Workshop,
22 February 2018, Linz
12th Open Access Grant Competition results
12th Open Access Grant Competition results
TETRAMAX offers financing of innovative technology experiments, apply until February 28
TETRAMAX offers financial support for innovative ideas in customized low-energy computing. The 1st open call […]
PRACE Summer of HPC 2018 has launched
Early-stage postgraduate and late-stage undergraduate students are invited to apply for the PRACE Summer of […]
Invitation to the course Intel Xeon Phi programming
(2018-02-22 to 2018-02-23)
When: Thursday February 22, 2018, 9.30am – Friday February 23, 2018, 4.30pm Where: campus VŠB-TUO […]
All news