default search action

combined dblp search
author search
venue search
publication search

ask others

Marcela Zachariásová

Marcela Zachariášová

> Home > Persons

Person information

unicode name: Marcela Zachariášová
affiliation: Brno University of Technology, Department of Computer Systems, Czech Republic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/BardonekZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/BardonekZ20
Petr Bardonek, Marcela Zachariásová:
Using Control Logic Drivers for Automated Generation of System-level Portable Models. DDECS 2020: 1-4

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09810
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09810
Martin Fajcik, Marcela Zachariásová, Pavel Smrz:
Automation of Processor Verification Using Recurrent Neural Networks. CoRR abs/1803.09810 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/PodivinskyCLZKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/PodivinskyCLZKK17
Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Marcela Zachariásová, Martin Krcma, Zdenek Kotásek:
Functional verification based platform for evaluating fault tolerance properties. Microprocess. Microsystems 52: 145-159 (2017)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/FajcikSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/FajcikSZ17
Martin Fajcik, Pavel Smrz, Marcela Zachariásová:
Automation of Processor Verification Using Recurrent Neural Networks. MTV 2017: 15-20
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/ZachariaovaKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/ZachariaovaKK16
Marcela Zachariásová, Michaela Kekelyova-Beleova, Zdenek Kotásek:
Regression Test Suites Optimization for Application-specific Instruction-Set Processors and Their Use for Dependability Analysis. DSD 2016: 380-387
2015
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Zachariasova15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Zachariasova15
Marcela Zachariásová:
Metody akcelerace verifikace logických obvodů ; New Methods for Increasing Efficiency and Speed of Functional Verification. Brno University of Technology, Czech Republic, 2015

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.