Martin Kohlík

According to our database1, Martin Kohlík authored at least 18 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Quantized Neural Network with Linearly Approximated Functions on Zynq FPGA.
Proceedings of the 13th Mediterranean Conference on Embedded Computing, 2024

2023
Evaluation of the Medium-sized Neural Network using Approximative Computations on Zynq FPGA.
Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023

2022
Verification of Calculations of Non-Homogeneous Markov Chains Using Monte Carlo Simulation.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2020
Non-homogeneous hierarchical Continuous Time Markov Chains.
Microprocess. Microsystems, 2020

Non-Homogeneous Continuous Time Markov Chains Calculations.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019
Hierarchical Dependability Models based on Non-Homogeneous Continuous Time Markov Chains.
Proceedings of the 14th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2019

Accurate Inexact Calculations of Non-Homogeneous Markov Chains.
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2017
Parity driven reconfigurable duplex system.
Microprocess. Microsystems, 2017

Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016
Enhanced Duplication Method with TMR-Like Masking Abilities.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Parity Waterfall method.
Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

2014
Fault Tolerant Duplex System with High Availability for Practical Applications.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013
Markov chains hierarchical dependability models: Worst-case computations.
Proceedings of the 14th Latin American Test Workshop, 2013

Hierarchical Dependability Models Based on Markov Chains.
Proceedings of the ARCS 2013, 2013

2012
Miscellaneous Types of Partial Duplication Modifications for Availability Improvements.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Reduction of complex safety models based on Markov chains.
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011
Fault Models Usability Study for On-line Tested FPGA.
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010
Faults Coverage Improvement Based on Fault Simulation and Partial Duplication.
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010


  Loading...