Author of the publication

Automated Functional Verification of Application Specific Instruction-set Processors.

, , , and . IESS, volume 403 of IFIP Advances in Information and Communication Technology, page 128-138. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Hruska, Tomas
add a person with the name Hruska, Tomas
 

Other publications of authors with the same name

Generated Cycle-Accurate Profiler for C Language., , , and . DSD, page 263-268. IEEE Computer Society, (2010)Fast cycle-accurate compiled simulation., , , and . PDeS, page 76-81. International Federation of Automatic Control, (2010)Fast Cycle-Accurate Interpreted Simulation., , , and . MTV, page 9-14. IEEE Computer Society, (2009)Increasing students' motivation by using virtual learning environments based on gamification mechanics: Implementation and evaluation of gamified assignments for students., , and . TEEM, page 755-760. ACM, (2018)Pixel-Based Analysis of Information Dashboard Attributes., and . ADBIS (Short Papers and Workshops), volume 637 of Communications in Computer and Information Science, page 29-36. Springer, (2016)Extending an Object-Oriented Model: Multiple Class Objects., and . ER, volume 1331 of Lecture Notes in Computer Science, page 229-242. Springer, (1997)On Some Directions in Security-Oriented Research., , , , and . BLISS, page 141-144. IEEE Computer Society, (2007)Towards Online Data Mining System for Enterprises., and . ENASE, page 187-192. SciTePress, (2012)Segmentation of Dashboard Screen Images: Preparation of Inputs for Object-based Metrics of UI Quality., and . VISIGRAPP (3: IVAPP), page 199-207. SciTePress, (2019)Comparison of Categorical Foundations of Object-Oriented Database Model., and . DOOD, volume 1341 of Lecture Notes in Computer Science, page 302-319. Springer, (1997)