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.

Superpočítač Salomon je 87. nejvýkonnější superpočítač na světě
Superpočítač Salomon je dle žebříčku TOP500 87. nejvýkonnějším superpočítačem na světě. Nový žebříček byl vydán […]
Pozvánka na kurz CFD simulations using OpenFOAM
(14-15/12/2017)
Kdy: čtvrtek 14. prosince 2017 9.00 hod. – pátek 15. prosince 2017 15.30 hod. Kde: […]
Pozvánka na kurz Productivity tools for High Performance Computing (27-28/11/2017)
Kdy: pondělí 27. listopadu 2017 9.30 hod. – úterý 28. listopadu 2017 15.30 hod. Kde: […]
12. kolo Veřejné grantové soutěže
Veřejná grantová soutěž je vypisována pravidelně 3x ročně pro zaměstnance výzkumných, vědeckých a vzdělávacích organizací, […]
16. výzva PRACE Project Access a 6. výzva SHAPE Call for Applications
16. výzva PRACE Project Access Od 26. září 2017 do 26. listopadu 2017 je možnost […]
Všechny aktuality