Supercomputing Technologies Research Group SC@FIT

2024

JAROŠ, J.; DUCHOŇ, R. Acceleration of Ultrasound Neurostimulation Using Mixed-Precision Arithmetic. HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024. p. 370-372. ISBN: 979-8-4007-0413-0. Detail

JAROŠ, J.; JAROŠ, M.; BUCHTA, M. Estimation of Distributed Ultrasound Simulation Execution Time Using Machine Learning. In 2024 IEEE Congress on Evolutionary Computation (CEC). Yokohama: Institute of Electrical and Electronics Engineers, 2024. p. 1-8. ISBN: 979-8-3503-0836-5. Detail

JAROŠ, M.; JAROŠ, J. k-Dispatch: Enabling Cost-Optimized Biomedical Workflow Offloading. HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024. p. 358-360. ISBN: 979-8-4007-0413-0. Detail

OLŠÁK, O.; JAROŠ, J. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. HPDC '24: Proceedings of the 33nd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024. p. 361-363. ISBN: 979-8-4007-0413-0. Detail

OLŠÁK, O.; JAROŠ, J. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. Soláň: 2024. p. 0-0. Detail

OLŠÁK, O.; JAROŠ, J. On the usage of the Sparse Fourier Transform in ultrasound propagation simulation. In ICBRA '23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications. New York: Association for Computing Machinery, 2024. p. 107-113. ISBN: 979-8-4007-0815-2. Detail

2023

CHLEBÍK, J.; JAROŠ, J. Evolutionary Optimization of a Focused Ultrasound Propagation Predictor Neural Network. GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion. Lisbon: Association for Computing Machinery, 2023. p. 635-638. ISBN: 979-8-4007-0120-7. Detail

JAROŠ, M.; JAROŠ, J. Optimization of Execution Parameters of Moldable Ultrasound Workflows Under Incomplete Performance Data. In Job Scheduling Strategies for Parallel Processing. JSSPP 2022. Lecture Notes in Computer Science, LNCS 13592. Virtual Event: Springer Nature Switzerland AG, 2023. p. 152-171. ISBN: 978-3-031-22697-7. Detail

OLŠÁK, O.; JAROŠ, M.; JAROŠ, J. System for managing HPC-services and workflow executions. Ostrava: 2023. p. 0-0. Detail

2022

AUBRY, J.; BATES, O.; BOEHM, C.; PAULY, K.; CHRISTENSEN, D.; CUETO, C.; GÉLAT, P.; GUASCH, L.; JAROŠ, J.; JING, Y.; JONES, R.; LI, N.; MARTY, P.; MONTANARO, H.; NEUFELD, E.; PICHARDO, S.; PINTON, G.; PULKKINEN, A.; STANZIOLA, A.; THIELSCHER, A.; TREEBY, B.; VAN 'T WOUT, E. Benchmark problems for transcranial ultrasound simulation: Intercomparison of compressional wave models. Journal of the Acoustical Society of America, 2022, vol. 152, no. 2, p. 1003-1019. ISSN: 1520-8524. Detail

JAROŠ, M.; JAROŠ, J. k-Dispatch's Performance Modules for Advanced Workflow Submission. Soláň: 2022. p. 0-0. Detail

JAROŠ, M.; TREEBY, B.; JAROŠ, J. k-Plan: from the Hospital to the Cluster and back. Ostrava: 2022. p. 0-0. Detail

OLŠÁK, O.; JAROŠ, J. Comparison of SpFFT and FFTW3 library. Soláň: 2022. p. 0-0. Detail

OLŠÁK, O.; JAROŠ, J. Evaluation of libraries for the one-dimensional sparse Fourier transform. Ostrava: 2022. p. 0-0. Detail

2021

CHLEBÍK, J.; JAROŠ, J. Distributed Evolutionary Design of HIFU Treatment Plans. GECCO 2021 Companion - Proceedings of the 2021 Genetic and Evolutionary Computation Conference Companion. Lille: Association for Computing Machinery, 2021. p. 297-298. ISBN: 978-1-4503-8351-6. Detail

CHLEBÍK, J.; JAROŠ, J. Distributed Evolutionary Design of High Intensity Focused Ultrasound Treatment Plans. In IEEE International Conference on Systems, Man and Cybernetics. Melbourne: IEEE Circuits and Systems Society, 2021. p. 2203-2208. ISBN: 978-1-6654-4207-7. Detail

JAROŠ, J. Handling C++ Exceptions in MPI Applications. The International Conference for High Performance Computing, Networking, Storage, and Analysis. St. Louis, MO, USA: 2021. p. 0-0. Detail

JAROŠ, M.; JAROŠ, J. k-Dispatch's Performance Modules for Advanced Workflow Submission. 5th Users' Conference of IT4Innovations. Ostrava: 2021. p. 0-0. Detail

JAROŠ, M.; JAROŠ, J. Performance-Cost Optimization of Moldable Scientific Workflows. In Job Scheduling Strategies for Parallel Processing. Lecture Notes in Computer Science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Portland, Oregon USA: Springer International Publishing, 2021. p. 149-167. ISBN: 978-3-030-88223-5. ISSN: 0302-9743. Detail

JAROŠ, M.; SASÁK, T.; TREEBY, B.; JAROŠ, J. Estimation of Execution Parameters for k-Wave Simulations. In High Performance Computing in Science and Engineering. HPCSE 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Nature Switzerland AG, 2021. p. 116-134. ISBN: 978-3-030-67076-4. Detail

JAROŠ, M.; TREEBY, B.; JAROŠ, J. Adaptive Execution Planning in Biomedical Workflow Management Systems. The Platform for Advanced Scientific Computing (PASC) Conference 2021. Geneva: 2021. p. 0-0. Detail

KOZUBEK, T.; ŘÍHA, L.; ŠÍSTEK, J.; TICHÝ, P. High Performance Computing in Science and Engineering, 4th International Conference, HPCSE 2019. Lecture Notes in Computer Science, vol 12456. Cham: 2021. p. 1-163. Detail

PHAM, K.; NOIMARK, S.; HUYNH, N.; ZHANG, E.; KUKLIŠ, F.; JAROŠ, J.; DESJARDINS, A.; COX, B.; BEARD, P. Broadband all-optical plane-wave ultrasound imaging system based on a Fabry-Perot scanner. IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL, 2021, vol. 68, no. 4, p. 1007-1016. ISSN: 1525-8955. Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Performance Evaluation of Pseudospectral Ultrasound Simulations on a Cluster of Xeon Phi Accelerators. In High Performance Computing in Science and Engineering. HPCSE 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Nature Switzerland AG, 2021. p. 99-115. ISBN: 978-3-030-67076-4. Detail

WISE, E.; JAROŠ, J.; COX, B.; TREEBY, B. Pseudospectral Time-Domain (PSTD) Methods for the Wave Equation: Realizing Boundary Conditions with Discrete Sine and Cosine Transforms. Journal of Theoretical and Computational Acoustics, 2021, vol. 29, no. 4, p. 2050021-2050021. ISSN: 2591-7285. Detail

2020

JAROŠ, M.; KLUSÁČEK, D.; JAROŠ, J. Optimizing Biomedical Ultrasound Workflow Scheduling Using Cluster Simulations. In Job Scheduling Strategies for Parallel Processing. JSSPP 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). New Orleans: Springer Nature Switzerland AG, 2020. p. 68-84. ISBN: 978-3-030-63170-3. Detail

JAROŠ, M.; TREEBY, B.; GEORGIOU, P.; JAROŠ, J. k-Dispatch: A Workflow Management System for the Automated Execution of Biomedical Ultrasound Simulations on Remote Computing Resources. In Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2020. New York: Association for Computing Machinery, 2020. p. 1-10. ISBN: 978-1-4503-7993-9. Detail

KUKLIŠ, F.; JAROŠ, M.; JAROŠ, J. Accelerated Design of HIFU Treatment Plans Using Island-Based Evolutionary Strategy. In Applications of Evolutionary Computation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer International Publishing, 2020. p. 463-478. ISBN: 978-3-030-43721-3. Detail

MARTIN, E.; JAROŠ, J.; TREEBY, B. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL, 2020, vol. 67, no. 1, p. 81-91. ISSN: 1525-8955. Detail

TREEBY, B.; WISE, E.; KUKLIŠ, F.; JAROŠ, J.; COX, B. Nonlinear ultrasound simulation in an axisymmetric coordinate system using a k-space pseudospectral method. Journal of the Acoustical Society of America, 2020, vol. 148, no. 4, p. 2288-2300. ISSN: 1520-8524. Detail

VAVERKA, F.; MRÁZEK, V.; VAŠÍČEK, Z.; SEKANINA, L. TFApprox: Towards a Fast Emulation of DNN Approximate Hardware Accelerators on GPU. In 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: Institute of Electrical and Electronics Engineers, 2020. p. 294-297. ISBN: 978-3-9819263-4-7. Detail

2019

BORDOVSKÝ, G. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava: 2019. p. 0-0. Detail

BORDOVSKÝ, G.; JAROŠ, J. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň: 2019. p. 1 (1 s.). Detail

JAROŠ, M. Adaptive Execution Planning in Workflow Management Systems. Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019. p. 23-26. ISBN: 978-80-88214-20-5. Detail

JAROŠ, M.; JAROŠ, J.; TREEBY, B. Adaptive Execution Planning in Workflow Management Systems. Denver: 2019. p. 0-0. Detail

JAROŠ, M.; TREEBY, B.; JAROŠ, J. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava: 2019. p. 0-0. Detail

JAROŠ, M.; TREEBY, B.; JAROŠ, J. Scientific workflow management framework. Soláň: 2019. p. 1 (1 s.). Detail

KUKLIŠ, F. Optimization of Evolutionary Strategy using Island Model to Design HIFU Treatment Plans. Sborník semináře PAD 2019. Doksy: Academic and Medical Conference Agency, 2019. p. 5-8. ISBN: 978-80-88214-20-5. Detail

TREEBY, B.; JAROŠ, J.; MARTIN, E.; COX, B. From Biology to Bytes: Predicting the Path of Ultrasound Waves Through the Human Body. Acoustics Today, 2019, vol. 15, no. 2, p. 36-44. ISSN: 1557-0223. Detail

VAVERKA, F. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. PAD 2019. Doksy: Academic and Medical Conference Agency, 2019. p. 64-67. ISBN: 978-80-88214-20-5. Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Advancements in Ultrasound Simulations Enabled by High-bandwidth GPU Interconnects. Denver: 2019. p. 0-0. Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods. In 19th International Conference on Computational Science 2019, Faro, Portugal, June 12-14, 2019. Lecture Notes in Computer Science. Faro: Springer International Publishing, 2019. p. 577-590. ISBN: 978-3-030-22743-2. Detail

WISE, E.; COX, B.; JAROŠ, J.; TREEBY, B. Representing arbitrary acoustic source and sensor distributions in Fourier collocation methods. Journal of the Acoustical Society of America, 2019, vol. 146, no. 1, p. 278-288. ISSN: 1520-8524. Detail

2018

BORDOVSKÝ, G. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018. p. 49-52. ISBN: 978-80-261-0814-6. Detail

BORDOVSKÝ, G.; COX, B.; JAROŠ, J. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava: 2018. p. 1 (1 s.). Detail

DANTUMA, M.; LUCKA, F.; TREEBY, B.; JAROŠ, J.; COX, B.; MANOHAR, S. Signal Frequency Content and Appearance of Tumors in Photoacoustic Breast Tomography: A Simulation. Caparica: 2018. p. 1 (1 s.). Detail

JAROŠ, M. Scientific Workflows Management. Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018. p. 25-28. ISBN: 978-80-261-0814-6. Detail

JAROŠ, M.; TREEBY, B.; JAROŠ, J. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava: 2018. p. 1 (1 s.). Detail

JAROŠ, M.; TREEBY, B.; JAROŠ, J. Design of HIFU Treatment Plans using Evolutionary Strategy. In GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018. p. 1568-1575. ISBN: 978-1-4503-5764-7. Detail

KADLUBIAK, K.; JAROŠ, J.; TREEBY, B. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main: 2018. p. 0 (1 s.). Detail

KADLUBIAK, K.; JAROŠ, J.; TREEBY, B. GPU-accelerated Simulation of Elastic Wave Propagation. In Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018. Orleans: IEEE Computer Society, 2018. p. 188-195. ISBN: 978-1-5386-7878-7. Detail

KADLUBIAK, K.; TREEBY, B.; JAROŠ, J. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava: 2018. p. 1 (1 s.). Detail

KLEPÁRNÍK, P.; BAŘINA, D.; ZEMČÍK, P.; JAROŠ, J. Efficient Low-Resource Compression of HIFU Data. Information (Switzerland), 2018, vol. 9, no. 7, p. 1-14. ISSN: 2078-2489. Detail

KLEPÁRNÍK, P.; ZEMČÍK, P.; JAROŠ, J. Efficient Lossy Compression of Ultrasound Data. In 2017 IEEE International Symposium on Signal Processing and Information Technology, ISSPIT 2017. Bilbao: Institute of Electrical and Electronics Engineers, 2018. p. 232-237. ISBN: 978-1-5386-4662-5. Detail

KOZUBEK, T.; ČERMÁK, M.; TICHÝ, P.; BLAHETA, R.; ŠÍSTEK, J.; LUKÁŠ, D.; JAROŠ, J. HPCSE: 3rd International Conference on High Performance Computing in Science and Engineering. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018. p. 0-0. ISBN: 978-3-319-97135-3. Detail

SUOMI, V.; JAROŠ, J.; TREEBY, B.; CLEVELAND, R. Full modelling of high-intensity focused ultrasound and thermal heating in the kidney of realistic patient models. IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 2018, vol. 65, no. 11, p. 2660-2670. ISSN: 0018-9294. Detail

SUOMI, V.; TREEBY, B.; JAROŠ, J.; MAKELA, P.; ANTTINEN, M.; SAUNAVAARA, J.; SAINIO, T.; KIVINIEMI, A.; BLANCO, R. Transurethral ultrasound therapy of the prostate in the presence of calcifications: a simulation study. MEDICAL PHYSICS, 2018, vol. 45, no. 11, p. 4793-4805. ISSN: 0094-2405. Detail

SUOMI, V.; TREEBY, B.; JAROŠ, J.; SAUNAVAARA, J.; KIVINIEMI, A.; BLANCO, R. The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate. In 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018. p. 5701-5704. ISBN: 978-1-5386-3646-6. Detail

TREEBY, B.; BUDISKÝ, J.; WISE, E.; JAROŠ, J.; COX, B. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. Journal of the Acoustical Society of America, 2018, vol. 143, no. 1, p. 529-537. ISSN: 1520-8524. Detail

TREEBY, B.; VAVERKA, F.; JAROŠ, J. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics, 2018, vol. 34, no. 1, p. 1-5. ISSN: 1939-800X. Detail

VAVERKA, F.; ŠPEŤKO, M.; TREEBY, B.; JAROŠ, J. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas: 2018. p. 1-2. Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava: 2018. p. 1 (1 s.). Detail

2017

AHMED, H.; SHAH, T.; GEORGIOU, P.; JAROŠ, J.; PAYNE, H.; ALLEN, C.; GIBSON, E.; BARRATT, D.; TREEBY, B. Beam Distortion Due to Gold Fiducial Markers During Salvage High-Intensity Focused Ultrasound in the Prostate. MEDICAL PHYSICS, 2017, vol. 44, no. 2, p. 679-693. ISSN: 0094-2405. Detail

BORDOVSKÝ, G.; JAROŠ, J. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava: 2017. p. 1 (1 s.). Detail

JAROŠ, J. High Performance Computing in Ultrasound Cancer Treatment. Brno: 2017. p. 0-0. Detail

JAROŠ, J.; TREEBY, B.; GEORGIOU, P. Modelling Beam Distortion during Focused Ultrasound Surgery in the Prostate using k-Wave. In Supercomputing in Science and Engineering. Ostrava: VŠB-Technical University of Ostrava - IT4I, 2017. p. 205-207. ISBN: 978-80-248-4037-6. Detail

JAROŠ, J.; TREEBY, B.; ROBERTSON, J. Convergence Testing of a k-space Pseudospectral Scheme for Transcranial Time-reversal Focusing. In Supercomputing in Science and Engineering. Ostrava: VŠB-Technical University of Ostrava - IT4I, 2017. p. 195-197. ISBN: 978-80-248-4037-6. Detail

JAROŠ, M. Framework for Planning, Running and Monitoring Cooperating Computations. Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017. p. 20-23. ISBN: 978-80-972784-0-3. Detail

JAROŠ, M.; JAROŠ, J. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava: 2017. p. 0-0. Detail

KADLUBIAK, K.; TREEBY, B.; JAROŠ, J. Simulation of Ultrasound Propagation in Bone. Ostrava: 2017. p. 1 (1 s.). Detail

NIKL, V.; HRADECKÝ, M.; JAROŠ, J.; KELEČÉNI, J. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In High Performance Computing. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. p. 377-393. ISBN: 978-3-319-58666-3. Detail

ROBERTSON, J.; COX, B.; JAROŠ, J.; TREEBY, B. Accurate simulation of transcranial ultrasound propagation for ultrasonic neuromodulation and stimulation. Journal of the Acoustical Society of America, 2017, vol. 141, no. 3, p. 1726-1738. ISSN: 1520-8524. Detail

TREEBY, B.; BUDISKÝ, J.; WISE, E.; JAROŠ, J.; COX, B. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava: 2017. p. 1 (1 s.). Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava: 2017. p. 1 (1 s.). Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver: 2017. p. 1 (1 s.). Detail

2016

BROWN, M.; JAROŠ, J.; COX, B.; TREEBY, B. Control of Broadband Optically Generated Ultrasound Pulses Using Binary Amplitude Holograms. Journal of the Acoustical Society of America, 2016, vol. 139, no. 4, p. 1637-1647. ISSN: 1520-8524. Detail

JAROŠ, J.; RENDELL, A.; TREEBY, B. Full-wave nonlinear ultrasound simulation on distributed clusters with applications in high-intensity focused ultrasound. International Journal of High Performance Computing Applications, 2016, vol. 30, no. 2, p. 137-155. ISSN: 1741-2846. Detail

JAROŠ, J.; VAVERKA, F.; TREEBY, B. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. Salt Lake City: 2016. p. 1 (1 s.). Detail

JAROŠ, J.; VAVERKA, F.; TREEBY, B. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. International Journal of Supercomputing Frontiers and Innovations, 2016, vol. 3, no. 3, p. 40-55. ISSN: 2313-8734. Detail

MERTA, M.; ZAPLETAL, J.; JAROŠ, J. Many Core Acceleration of the Boundary Element Method. In Proceedings of High Performance Computing in Science and Engineering. Lecture Notes in Computer Science. Basel: Springer International Publishing, 2016. p. 116-125. ISBN: 978-3-319-40360-1. Detail

NIKL, V. High Performance Computing on Low Power Devices. Computer achitectures and diagnostics 2016. Brno: Faculty of Information Technology BUT, 2016. p. 81-84. ISBN: 978-80-214-5376-0. Detail

SUOMI, V.; JAROŠ, J.; TREEBY, B.; CLEVELAND, R. Nonlinear 3-D simulation of high-intensity focused ultrasound therapy in the kidney. In 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC). Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Orlando: Institute of Electrical and Electronics Engineers, 2016. p. 5648-5651. ISBN: 978-1-4577-0220-4. Detail

TREEBY, B.; JAROŠ, J.; COX, B. Advanced photoacoustic image reconstruction using the k-Wave toolbox. In Progress in Biomedical Optics and Imaging - Proceedings of SPIE. Progress in Biomedical Optics and Imaging - Proceedings of SPIE. San Francisco: SPIE - the international society for optics and photonics, 2016. p. 1-14. ISBN: 978-1-62841-942-9. Detail

VAVERKA, F. Case Study on Multi-domain Decomposition of k-Wave Simulation Framework. Computer achitectures and diagnostics 2016. Brno: Faculty of Information Technology BUT, 2016. p. 37-40. ISBN: 978-80-214-5376-0. Detail

VAVERKA, F.; TREEBY, B.; JAROŠ, J. Acceleration of Ultrasound Wave Propagation using a Cluster of GPUs. Frankfurt am Main: 2016. p. 1 (1 s.). Detail

2015

DVOŘÁK, V.; MIKUŠEK, P. Memory-Based Logic Control for Embedded Systems. Lecture notes in Electrical Engineering, 2015, vol. 325, no. 1, p. 367-379. ISSN: 1876-1100. Detail

GROEN, D.; CHACRA, D.; NASH, R.; JAROŠ, J.; BERNABEU, M.; COVENEY, P. Weighted decomposition in high-performance lattice-Boltzmann simulations: are some lattice sites more equal than others?. In Solving Software Challengesfor Exascale. Lecture Notes in Computer Science. Stockholm: Springer Verlag, 2015. p. 28-38. ISBN: 978-3-319-15975-1. Detail

JAROŠ, J.; DOHNAL, M.; TREEBY, B. Large-scale Ultrasound Simulations with Local Fourier Basis Decomposition. The International Conference for High Performance Computing, Networking, Storage Analysis, SC15. Austin: 2015. p. 0-0. Detail

JAROŠ, J.; MAREK, J.; MENŠÍK, P. Optimisation of Water Management Systems Using a GPU-Accelerated Differential Evolution. In Proceedings - 2015 IEEE Symposium Series on Computational Intelligence, SSCI 2015. Cape Town: IEEE Computer Society, 2015. p. 1727-1734. ISBN: 978-1-4799-7560-0. Detail

JAROŠ, J.; NIKL, V.; TREEBY, B. Large-scale Ultrasound Simulations Using the Hybrid OpenMP/MPI Decomposition. Proceedings of the 3rd International Conference on Exascale Applications and Software. Edinburgh: Association for Computing Machinery, 2015. p. 115-119. ISBN: 978-0-9926615-1-9. Detail

NIKL, V. High Performance Computing on Low Power Devices. Počítačové architektury a diagnostika 2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015. p. 37-41. ISBN: 978-80-7454-522-1. Detail

2014

JAROŠ, J.; TYRALA, R. GPU-accelerated Evolutionary Design of the Complete Exchange Communication on Wormhole Networks. In GECCO 2014 - Proceedings of the 2014 Genetic and Evolutionary Computation Conference. New York, NY: Association for Computing Machinery, 2014. p. 1023-1030. ISBN: 978-1-4503-2662-9. Detail

NIKL, V.; JAROŠ, J. Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. In Mathematical and Engineering Methods in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2014. p. 100-112. ISBN: 978-3-319-14895-3. Detail

TREEBY, B.; JAROŠ, J.; ROHRBACH, D.; COX, B. Modelling Elastic Wave Propagation Using the k-Wave MATLAB Toolbox. In IEEE International Ultrasonics Symposium, IUS. Chicago, IL: Institute of Electrical and Electronics Engineers, 2014. p. 146-149. ISBN: 978-1-4799-7049-0. Detail

ZÁŇ, D.; JAROŠ, J. Solving Multidimensional Knapsack Problem using CUDA Accelerated PSO. In Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Beijing: IEEE Computational Intelligence Society, 2014. p. 2933-2939. ISBN: 978-1-4799-1488-3. Detail

2013

DVOŘÁK, V.; MIKUŠEK, P. Easily Reprogrammable Embedded Logic Control. Proceedings of ICINCO 2013, Vol.1. Lisbon: SciTePress - Science and Technology Publications, 2013. p. 471-476. ISBN: 978-989-8565-70-9. Detail

2012

DVOŘÁK, V. O složitosti a optimalizaci větvících programů pro stroje DDM. Programmable Devices and Embedded Systems PDeS 2012. Programmable devices and systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2012. s. 84-89. ISBN: 978-3-902823-21-2. ISSN: 1474-6670. Detail

JAROŠ, J. Multi-GPU Island-Based Genetic Algorithm Solving the Knapsack Problem. In 2012 IEEE Congress on Evolutionary Computation, CEC 2012. CA: Institute of Electrical and Electronics Engineers, 2012. p. 217-224. ISBN: 978-1-4673-1508-1. Detail

JAROŠ, J.; POSPÍCHAL, P. A Fair Comparison of Modern CPUs and GPUs Running the Genetic Algorithm under the Knapsack Benchmark. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7248, p. 426-435. ISSN: 0302-9743. Detail

RŮŽIČKA, R.; ŠIMEK, V. Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials. Proceedings of CSE 2012 International Scientific Conference on Computer Science and Engineerig. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2012. p. 154-161. ISBN: 978-80-8143-049-7. Detail

2011

DVOŘÁK, V.; JAROŠ, J. A Programmable Interconnection Network for Multiple Communication Patterns. Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 6-11. ISBN: 978-1-61208-002-4. Detail

DVOŘÁK, V.; MIKUŠEK, P. On the cascade realization of sparse logic functions. Euromicro Proceedings. Oulu: IEEE Computer Society, 2011. p. 21-28. ISBN: 978-0-7695-4494-6. Detail

JAROŠ, J.; DVOŘÁK, V. Optimizing Collective Communications on the K-port Spidergon Network. Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011. p. 24-29. ISBN: 978-1-61208-002-4. Detail

MIKUŠEK, P.; TOMEC, M.; DVOŘÁK, V. A Cascade Decomposition of Application-Specific Systems. MEMICS Proc. Brno: Brno University of Technology, 2011. p. 78-85. ISBN: 978-80-214-4305-1. Detail

2010

DVOŘÁK, V. Multi-Terminal BDDs in Microprocessor-Based Control. Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 140-145. ISBN: 978-989-8425-02-7. Detail

DVOŘÁK, V.; JAROŠ, J. Optimizing Collective Communications on 2D-Mesh and Fat Tree NoC. In 9th International Conference on Networks, ICN 2010. Piscataway, NJ: IEEE Computer Society, 2010. p. 22-27. ISBN: 978-0-7695-3979-9. Detail

DVOŘÁK, V.; MIKUŠEK, P. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, 2010, vol. 16, no. 14, p. 1826-1852. ISSN: 0948-6968. Detail

JAROŠ, J. Evolutionary Design of Collective Communications on Wormhole Networks. Brno: Publishing house of Brno University of Technology VUTIUM, 2010. 183 p. ISBN: 978-80-214-4208-5. Detail

JAROŠ, J.; DVOŘÁK, V. Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs. In Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. New York: Association for Computing Machinery, 2010. p. 1171-1178. ISBN: 978-1-4503-0072-8. Detail

KOŘENEK, J.; PUŠ, V. Memory Optimization for Packet Classification Algorithms in FPGA. Proceedings of the 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Vídeň: IEEE Computer Society, 2010. p. 297-300. ISBN: 978-1-4244-6610-8. Detail

2009

DVOŘÁK, V.; MIKUŠEK, P. Optimalizace firmware pro vestavěné logcké řízení. Programmable devices and systems, 2009, roč. 2009, č. 1, s. 109-114. ISSN: 1474-6670. Detail

JAROŠ, J. Evolutionary Optimization of Multistage Interconnection Networks Performance. In Proceeding of Genetic and Evolutionary Computation Conference, GECCO 2009. New York: Association for Computing Machinery, 2009. p. 1537-1544. ISBN: 978-1-60558-325-9. Detail

KOŘENEK, J.; PUŠ, V. Memory Optimization for Packet Classification Algorithms. Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Association for Computing Machinery. New York: Association for Computing Machinery, 2009. p. 165-166. ISBN: 978-1-60558-630-4. Detail

MIKUŠEK, P. Dekompoziční techniky pro aplikačně specifické systémy. Počítačové architektury a diagnostika 2009. Zlín: Univerzita Tomáše Bati ve Zlíně, 2009. s. 118-123. ISBN: 978-80-7318-847-4. Detail

MIKUŠEK, P. Multi-Terminal BDD Synthesis and Applications. Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL). Prague: IEEE Computer Society, 2009. p. 721-722. ISBN: 978-1-4244-3892-1. Detail

MIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009. p. 235-235. ISBN: 978-80-87342-04-6. Detail

MIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009. p. 605-608. ISBN: 978-0-7695-3782-5. Detail

2008

DVOŘÁK, V. Communication Performance of Mesh- and Ring-Based NoCs. Proceedings of the 7th Int. Conference on Networking. New York: IEEE Computer Society, 2008. p. 156-161. ISBN: 978-0-7695-3106-9. Detail

DVOŘÁK, V. Embedded Firmware Development with Multi-Way Branching. Proc. of the 3rd Int. Coference on Systems. New York: IEEE Computer Society, 2008. p. 317-322. ISBN: 978-0-7695-3105-2. Detail

DVOŘÁK, V. Implementation of Combinational and Sequential Functions in Embedded Firmware. International Journal of Software Engineering and Its Applications, 2008, vol. 2, no. 1, p. 43-54. ISSN: 1738-9984. Detail

DVOŘÁK, V.; MIKUŠEK, P. LUT Cascade-Based Implementations of Allocators. Proc. of the 25th Convention of EEE in Israel. New York: IEEE Computer Society, 2008. p. 85-89. ISBN: 978-1-4244-2482-5. Detail

JAROŠ, J. Evolutionary Design of Fault Tolerant Collective Communications. In Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2008. p. 261-272. ISBN: 978-3-540-85856-0. Detail

JAROŠ, J.; DVOŘÁK, V. An Evolutionary Design Technique for Collective Communications on Optimal Diameter-Degree Networks. In 2008 Genetic and Evolutionary Computational Conference GECCO. New York: Association for Computing Machinery, 2008. p. 1539-1546. ISBN: 978-1-60558-131-6. Detail

JAROŠ, J.; SCHWARZ, J. Evoluční návrh wormhole kolektivních komunikací. Proceedings of Junior Scientist Conference 2008. Vienna: Technische Universität Wien, 2008. s. 111-112. ISBN: 978-3-200-01612-5. Detail

MIKUŠEK, P.; DVOŘÁK, V. On Lookup Table Cascade-Based Realizations of Arbiters. 11th EUROMICRO Conference on Digital System Design DSD 2008. Parma: IEEE Computer Society, 2008. p. 795-802. ISBN: 978-0-7695-3277-6. Detail

MIKUŠEK, P.; DVOŘÁK, V. On Lookup Table Cascade-Based Realizations of Arbiters. 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008. p. 261-261. ISBN: 978-80-7355-082-0. Detail

OHLÍDAL, M. Evolutionary design of collective communication based on prediction of conflicts in interconnection networks. Brno: Faculty of Information Technology BUT, 2008. 145 p. ISBN: 978-80-214-3597-1. Detail

ŠIMEK, V. GPU Acceleration of 2D-DWT Image Compression in MATLAB with CUDA. Proceedings 2nd UKSim European Symposium on Computer Modelling and Simulation. Liverpool: IEEE Computer Society, 2008. p. 274-277. ISBN: 978-0-7695-3325-4. Detail

ŠIMEK, V. Identifying the Interesting Points in Geometrical Figures of Certain Class. Proceedings 8th International Scientific Conference on Computers Science and Engineering. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2008. p. 373-382. ISBN: 978-80-8086-092-9. Detail

2007

BRYAN, L. A Set of Definitions for Working with Spatial Filters. Proceedings of the 13th Conference STUDENT EEICT 2007 Volume 4. Brno: Brno University of Technology, 2007. p. 430-434. ISBN: 80-214-3410-4. Detail

BRYAN, L.; FUČÍK, O. FPGA Implementation of a Reconfigurable License Plate Detection Method. Proceedings of the 2007 Engineering of Reconfigurable Systems and Algorithms. CSREA Press. Las Vegas, NV: Penn State Erie, The Behrend College, 2007. p. 1-4. ISBN: 1-60132-026-4. Detail

DRÁBEK, V. Hardware Unit for Motion Estimation. Electronic Devices and Systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. p. 17-21. ISBN: 978-80-214-3470-7. Detail

DRÁBEK, V. The Evolution of Graphical Processors. 6th Electronic Circuits and Systems Conference (ECS 2007). Bratislava: Faculty of Informatics and Information Technology Slovak University of Technology in Bratislava, 2007. p. 97-102. ISBN: 978-80-227-2697-9. Detail

DVOŘÁK, V. Implementation of Combinational and Sequential Functions in Embedded Firmware. Proceedings of the 2007 International Conference on Intelligent Pervasive Computing (IPC-07). Los Alamitos, California: IEEE Computer Society, 2007. p. 80-85. ISBN: 978-0-7695-3006-2. Detail

DVOŘÁK, V. Space-Time Trade-offs in SW Evaluation of Boolean Functions. Proceedings of The Second International Conference on Systems. New York: IEEE Computer Society, 2007. p. 344-349. ISBN: 0-7695-2807-4. Detail

DVOŘÁK, V. Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2007. p. 178-185. ISBN: 0-7695-2772-8. Detail

DVOŘÁK, V. Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. Journal of Software, 2007, vol. 2, no. 5, p. 52-63. ISSN: 1796-217X. Detail

DVOŘÁK, V.; JAROŠ, J.; OHLÍDAL, M. Optimum Topology-Aware Scheduling of Collective Communications. In Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007. p. 1-6. ISBN: 0-7695-2805-8. Detail

ŠIMEK, V. Medical Data Compression. Počítačové architektury a diagnostika. Plzeň: University of West Bohemia in Pilsen, 2007. p. 143-148. ISBN: 978-80-7043-605-9. Detail

ŠIMEK, V. On Selected Methods for Hyperspectral Data Compression. Proceedings of the 13th Conference STUDENT EEICT 2007 Volume 4. Brno: Brno University of Technology, 2007. p. 462-466. ISBN: 978-80-214-3410-3. Detail

2006

JAROŠ, J. Evoluční optimalizace skupinových komunikačních vzorů. Zborník príspevkouv pracovného semináre Počítačové architektúry a diagnostika pre studenty doktorského štúdia. Bratislava: Ústav informatiky Slovenskej akadémie vied, 2006. s. 31-36. ISBN: 80-969202-2-7. Detail

JAROŠ, J.; DVOŘÁK, V. Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. In MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Masaryk University, 2006. p. 63-68. ISBN: 80-214-3287-X. Detail

JAROŠ, J.; DVOŘÁK, V. Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. In Proc. of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006. p. 222-223. ISBN: 1-4244-0184-4. Detail

JAROŠ, J.; OHLÍDAL, M.; DVOŘÁK, V. Complexity of Collective Communications on NoCs. In Proc. of 5th International Symposium on Parallel Computing in Electrical Engineering. Los Alamitos, CA 90720-1314: IEEE Computer Society, 2006. p. 127-132. ISBN: 0-7695-2554-7. Detail

OHLÍDAL, M. Plánování skupinové komunikace All-to-All Broadcast pomocí predikce konfliktů v propojovacích sítích. Zborník príspevkouv pracovného semináre Počítačové architektúry a diagnostika pre studenty doktorského štúdia. Bratislava: Ústav informatiky Slovenskej akadémie vied, 2006. s. 25-30. ISBN: 80-969202-2-7. Detail

OHLÍDAL, M.; JAROŠ, J.; DVOŘÁK, V. Performance of Collective Communications on Interconnection Networks with Fat Nodes and Edges. In Proceedings of the Fifth International Conference on Networking ICN 2006. Los Alamitos: IEEE Computer Society, 2006. p. 619-624. ISBN: 0-7695-2570-9. Detail

OHLÍDAL, M.; JAROŠ, J.; DVOŘÁK, V.; SCHWARZ, J. Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks. In EvoStar 2006. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2006. p. 267-278. ISBN: 978-3-540-33237-4. Detail

OHLÍDAL, M.; SCHWARZ, J. Collective Communication AAB for Regular and Irregular Topology Based on Prediction of Conflicts. Proc. of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006. p. 224-225. ISBN: 1-4244-0184-4. Detail

ŠIMEK, V.; POKORNÝ, P. Communication of sensor modules. Proceedings of the 12th konference Student EEICT 2006. Volume II. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 56-58. ISBN: 80-214-3161-X. Detail

2005

DRÁBEK, V.; KOTÁSEK, Z. Handbook of Testing Electronic Systems. In Handbook of Testing Electronic Systems. Praha: Czech Technical University Publishing House, 2005. p. 235-243. ISBN: 80-01-03318-X. Detail

DVOŘÁK, V. Reconfigurability of the Interconnect Architecture for Chip Multiprocessors. Proceedigns of the 4th International Symposium on Information and Communication Technologies. ACM International Conference Proceedings Series. Dublin: Computer Science Press, 2005. p. 136-141. ISBN: 0-9544145-6-X. Detail

DVOŘÁK, V. Scheduling Collective Communications on Wormhole Fat Cubes. Proc. of the 17th International Symposium on Computer Architecture and High Performance Computing. Los Alamitos: IEEE Computer Society, 2005. p. 27-34. ISBN: 0-7695-2446-X. Detail

KUTÁLEK, V.; DVOŘÁK, V. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science, 2005, vol. 11, no. 6, p. 944-961. ISSN: 0948-6968. Detail

2004

DVOŘÁK, V. Architektury a programování paralelních systémů. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2004. s. 0-0. ISBN: 80-214-2608-X. Detail

DVOŘÁK, V. Optimizing Communication Architectures for Parallel Embedded Systems. In Design of Embedded Control Systems. Berlin: Springer Verlag, 2004. p. 225-234. ISBN: 0-387-23630-9. Detail

DVOŘÁK, V.; ŠVÉDA, M. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, CA: IEEE Computer Society, 2004. p. 0-0. ISBN: 0-7695-2125-8. Detail

DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 9, no. 11, p. 1258-1260. ISSN: 0948-6968. Detail

KUTÁLEK, V. Modelování a predikce výkonnosti aplikačně-specifických multiprocesorových systémů. Počítačové architektúry & diagnostika PAD 2004. Bratislava: Slovenská akademie věd, 2004. s. 132-137. ISBN: 80-969202-0-0. Detail

STAROBA, J.; DVOŘÁK, V. Design of Low-Cost Communication Algorithms for Irregular Networks. Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004. p. 980-985. ISBN: 0-86341-325-0. Detail

2003

BUREŠ, F. Selected Methods of Specification and Verification of Industriall Application. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 614-618. ISBN: 80-214-2379-X. Detail

DRÁBEK, V. Montgomery Multiplication in GF(p) and GF(2^n). Brno: Brno University of Technology, 2003. p. 106-109. ISBN: 80-214-2452-4. Detail

DVOŘÁK, V. Communication Architectures for Application-Specific Multiprocessor Systems (on a Chip). Proc. of the 11th International Conference on Software, Telecommunications and Computer Networks SoftCOM 2003. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture, 2003. p. 778-782. ISBN: 953-6114-64-X. Detail

DVOŘÁK, V.; STAROBA, J. Genetic Search for the Shortest Group Communications on Irregular Topologies. Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: 2003. p. 321-326. ISBN: 80-85988-88-7. Detail

KOTÁSEK, Z.; MIKA, D.; STRNADEL, J. Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Poznaň: Publishing House of Poznan University of Technology, 2003. p. 233-238. ISBN: 83-7143-557-6. Detail

KOTÁSEK, Z.; TUPEC, P.; URBIŠ, H. Testing PCBs Based on Boundary Scan. Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003. p. 119-122. ISBN: 80-7099-509-2. Detail

KOTÁSEK, Z.; URBIŠ, H. USB-to-IDE Adapter Design and Implementation. 6th International Workshopn on Electronics, Control, Measurment and Signals. Liberec: Liberec University of Technology, 2003. p. 315-319. ISBN: 80-7083-708-X. Detail

KUTÁLEK, V.; DVOŘÁK, V. A multi-protocol cache controller. IFAC Workshop on Programmable devices and systems - PDS 2003. Ostrava: VŠB - Technical University of Ostrava, 2003. p. 220-225. ISBN: 0-08-044130-0. Detail

MIKA, D. The Test Controller Design Based on I-Path Concept. Proceedings of 9th Conference and Competition STUDENT EEICT 2003 Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 624-628. ISBN: 80-214-2379-X. Detail

MIKA, D. Uplatnění formálních postupů při návrhu řadiče testu číslicového systému. Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků. Brno: Fakulta informačních technologií VUT v Brně, 2003. s. 17-23. ISBN: 80-214-2471-0. Detail

MIKA, D.; KOTÁSEK, Z. The Test Controller Model Based on The Timed Automaton. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 107-114. ISBN: 80-85988-86-0. Detail

OČENÁŠEK, J.; SCHWARZ, J.; PELIKÁN, M. Design of Multithreaded Estimation of Distribution Algorithms. Procceedings of GECCO 2003, USA. Chicago: Kluwer Verlag, 2003. p. 1247-1258. ISBN: 3-540-40-603-4. Detail

RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. p. 0-0. ISBN: 1-85769-189X. Detail

RŮŽIČKA, R. Testable Design Verification Using Petri Nets. Proceedings of Euromicro Symposium on Digital System Design 2003. Los Alamitos, CA: IEEE Computer Society Press, 2003. p. 304-311. ISBN: 0-7695-2003-0. Detail

RŮŽIČKA, R.; KOTÁSEK, Z.; SEKANINA, L. Sborník pracovního semináře "Počítačové architektury a diagnostika" pro studenty doktorského studia. Brno: Ústav počítačových systémů FIT VUT v Brně, 2003. s. 0-0. ISBN: 80-214-2471-0. Detail

RŮŽIČKA, R.; ZBOŘIL, F. Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog. Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003. p. 727-730. ISBN: 80-7099-509-2. Detail

SEKANINA, L. Evolvable Components - From Theory to Hardware Implementations. Natural Computing Series. Natural Computing Series. Berlin: Springer Verlag, 2003. 194 p. ISBN: 3-540-40377-9. Detail

SEKANINA, L.; RŮŽIČKA, R. On the Automatic Design of Testable Circuits. Proceedings of IEEE Workshop on Design nad Diagnostics of Electronic Circuits and Systems. Poznań: Publishing House of Poznan University of Technology, 2003. p. 299-300. ISBN: 83-7143-557-6. Detail

SLLAME, A. A Pipeline Scheduling Algorithm for High-Level Synthesis. Proc. of IFAC Workshop on Programmable Devices and Systems Conference. Ostrava: Elsevier Science, 2003. p. 178-183. ISBN: 0-08-044130-0. Detail

STAROBA, J. Collective Communication Scheduling for Parallel Computers. Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems. Ostrava: 2003. p. 65-70. ISBN: 80-85988-86-0. Detail

STAROBA, J.; DVOŘÁK, V. Genetic Algorithm Optimization of Group Communications. 9th International Conference on Soft Computing Mendel 2003. Brno: Faculty of Mechanical Engineering BUT, 2003. p. 47-52. ISBN: 80-214-2411-7. Detail

STRNADEL, J. Scan Layout Encoding by Means of a Binary String. Proceedings of 37th International Conference on Modelling and Simulation of Systems. Ostrava: 2003. p. 115-122. ISBN: 80-85988-86-0. Detail

ŠVÉDA, M. Engineering of Computer-Based Systems: Brno in 2004. Proceedings EDS'03. Electronic Devides and Systems, 10th. Brno: Brno University of Technology, 2003. p. 85-88. ISBN: 80-214-2452-4. Detail

ŠVÉDA, M. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003. p. 49-54. ISBN: 0-08-044130-0. Detail

ŠVÉDA, M. Rapid Prototyping of Networked Embedded Systems. Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003. p. 125-132. ISBN: 0-7695-1917-2. Detail

ŠVÉDA, M. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 4-9. ISSN: 1109-2750. Detail

ŠVÉDA, M.; KAPOUN, V. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com - http://www.electronicsletters.com, 2003, vol. 2003, no. 6, p. 0-0. ISSN: 1213-161X. Detail

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003. p. 169-172. ISBN: 0-7695-1917-2. Detail

ŠVÉDA, M.; VRBA, R. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 10-14. ISSN: 1109-2750. Detail

2002

BUREŠ, F. DocBook and Creation of Technical Documents. Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 421-425. ISBN: 80-214-2116-9. Detail

ČEJKA, R.; DVOŘÁK, V.; STAROBA, J. Predicting performance of SMP clusters. In Distributed and Parallel Systems - Cluster and Grid Computing. Boston/London: Kluwer Academic Publishers, 2002. p. 38-45. ISBN: 1-4020-7209-0. Detail

DRÁBEK, V.; SEKANINA, L. Basic Principles of Bio-Inspired Approaches to Fault Tolerance: Tutorial. Design for Test of Systems on Chip: Digital Test. Tallinn: Tallinn University of Technology, 2002. p. 1-48. ISBN: 0000-00-000-0. Detail

DVOŘÁK, V. Architektura a programování paralelních systémů. Učební texty pro předmět APP, obor IT. Brno: 2002. s. 0-0. Detail

DVOŘÁK, V. Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems. Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002. Stirling: University of Stirling, 2002. p. 65-70. ISBN: 1-85769-169-5. Detail

DVOŘÁK, V. Simulation and Prototyping in Teaching Parallel Architectures, Algorithms, and Programming Models. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Volume II. Las Vegas, Nevada: Computer Science Research, Education, and Applications Press, 2002. p. 934-940. ISBN: 1-892512-88-2. Detail

DVOŘÁK, V.; STAROBA, J. Design Space Exploration of Parallel Embedded Applications Based on Performance-Oriented Specifications. Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2002. p. 71-75. ISBN: 1-85769-169-5. Detail

DVOŘÁK, V.; STAROBA, J. Performance Prediction Model of Bus-Based Shared Memory Architectures. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 273-280. ISBN: 80-85988-71-2. Detail

KAPOUN, V.; ŠVÉDA, M. Management systems and their organization. ElectronicsLetters.com - http://www.electronicsletters.com, 2002, vol. 2002, no. 12, p. 0-0. ISSN: 1213-161X. Detail

KOTÁSEK, Z.; RŮŽIČKA, R.; HLAVIČKA, J.; MARINISSEN, E.; NOVÁK, O.; STRAUBE, B. Proceedings of 5th International Workshop IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002. p. 0-0. ISBN: 80-214-2094-4. Detail

KUČERA, P.; ZEZULKA, F.; ŠVÉDA, M.; VRBA, R. Executable specifications for Process Automation and Microelectronics. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. p. 91-98. ISBN: 1-85769-169-5. Detail

KUTÁLEK, V.; DVOŘÁK, V. Prototyping Parallel Applications Based on Divide and Conquer Strategy. Proceedings of 36th International Conference MOSIS '02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 313-320. ISBN: 80-85988-71-2. Detail

KUTÁLEK, V.; DVOŘÁK, V. Simulation and Prototyping Multiprocessor SoC with Hybrid Pipeline/Farm Architecture. Proceedings of IEEE Design and Diagnostics of Electronic Circuits and System Workshop. Brno: Faculty of Information Technology BUT, 2002. p. 296-299. ISBN: 80-214-2094-4. Detail

LAUMANNS, M.; OČENÁŠEK, J. Bayesian Optimization Algorithms for Multi-Objective Optimization. Lecture Notes in Computer Science, 2002, vol. 2002, no. 2439, p. 298-307. ISSN: 0302-9743. Detail

MIKA, D.; KOTÁSEK, Z.; STRNADEL, J. Test Controller Design Based on VHDL Source File Analysis. Proceedings of The Fifth International Scientific Conference Electronic Computers and Informatics 2002. VIENALA Press, Edition: 55. Letná 42, 040 01 TU Košice: The University of Technology Košice, 2002. p. 135-141. ISBN: 80-7099-879-2. Detail

OČENÁŠEK, J.; SCHWARZ, J. Development system DEBOA for rapid prototyping of evolutionary applications. Proceedings of International Conference MOSIS '02. Ostrava: 2002. p. 169-176. ISBN: 80-85988-71-2. Detail

OČENÁŠEK, J.; SCHWARZ, J. Estimation Distribution Algorithm for mixed continuous-discrete optimization problems. Proceedings of the 2nd Euro-International Symposium on Computational Intelligence. Kosice: IOS Press, 2002. p. 227-232. ISBN: 1-58603-256-9. Detail

RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. p. 0-0. ISBN: 1-85769-169-5. Detail

RŮŽIČKA, R. The Formal Approach to the RTL Test Application Problem Using Petri Nets. Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002. Brno: Faculty of Information Technology BUT, 2002. p. 78-86. ISBN: 80-214-2094-4. Detail

RŮŽIČKA, R. VHDL Circuit Description Transparency Analysis. Proceedings of the Fifth International Scientific Conference Electronic Computers and Informatics 2002. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2002. p. 194-199. ISBN: 80-7099-879-2. Detail

SCHWARZ, J. Aplikované evoluční algoritmy. Učební texty pro předmět EVA, obor IT. Brno: Fakulta informačních technologií VUT v Brně, 2002. s. 0-0. Detail

SCHWARZ, J.; OČENÁŠEK, J. Bayes-Dirichlet BDD as a probabilistic model for logic functions and evolutionary circuit decomposer. Mendel 2002. Brno: Faculty of Mechanical Engineering BUT, 2002. p. 117-124. ISBN: 80-214-2135-5. Detail

SCHWARZ, J.; OČENÁŠEK, J. Ratio cut hypergraph partitioning using BDD based MBOA optimization algorithm. Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Brno: Faculty of Informatics and Information Technology Slovak University of Technology in Bratislava, 2002. p. 87-96. ISBN: 80-214-2094-4. Detail

SEKANINA, L. Automata of Evolvable Computational Machines. Proc. ot 8th conference Student EEICT. Brno: Brno University of Technology, 2002. p. 491-495. ISBN: 80-214-2116-9. Detail

SEKANINA, L. Evolution of digital circuits operating as image filters in dynamically changing environment. Mendel 2002 - 8th International Conference on Soft Computing. Brno: Brno University of Technology, 2002. p. 33-38. ISBN: 80-214-2135-5. Detail

SEKANINA, L. Nanostructures and bio-inspired computer engineering (Abstract). Nano'02 (Abstracts). Brno: Akademické nakladatelství CERM, 2002. p. 74-74. ISBN: 80-7204-258-0. Detail

SEKANINA, L. Nanostructures and bio-inspired computer engineering. Proceedings of Nano02. Ostrava: Repronis, 2002. p. 233-236. ISBN: 80-7329-027-8. Detail

SEKANINA, L.; DRÁBEK, V. A Survey of Bioinspired Methods for Design of Fault Tolerant Reconfigurable Architectures. Proc. of the 8th Biennial Baltic Electronics Conference. Tallinn: Tallinn University of Technology, 2002. p. 355-358. ISBN: 9985-59-292-1. Detail

SEKANINA, L.; DRÁBEK, V. Automatic Design of Image Operators Using Evolvable Hardware. Proc. of 5th IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Brno: Brno University of Technology, 2002. p. 132-139. ISBN: 80-214-2094-4. Detail

SEKANINA, L.; DRÁBEK, V. Soft-hardware. Vesmír, 2002, roč. 81, č. 7, s. 393-395. ISSN: 0042-4544. Detail

SEKANINA, L.; TORRESEN, J. Detection of Norwegian Speed Limit Signs. Proc. of the 16th European Simulation Multiconference. Delft: SCS Publication House, 2002. p. 337-340. ISBN: 90-77039-07-4. Detail

SLLAME, A. Efficient Design Space Characterization Toward Realizing High-Performance Digital systems. Proceedings of Electronic Devices and Systems EDS'02 Conference. Proceedings. Brno: Brno University of Technology, 2002. p. 144-149. ISBN: 80-214-2180-0. Detail

SLLAME, A.; DRÁBEK, V. A Design Space Exploration Scheme for High-Level Synthesis Systems. Proceedings of 36th International Conference MOSIS '02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 305-312. ISBN: 80-85988-71-2. Detail

SLLAME, A.; DRÁBEK, V. An Efficient List-Based Scheduling Algorithm for High-Level-Synthesis. EUROMICRO Symposium on Digital System Design (DSD2002): Architecture, Methods and Tools, IEEE Computer Society. IEEE Computer Society. Dortmund, Germany: IEEE Computer Society Press, 2002. p. 316-323. ISBN: 0-7695-1790-0. Detail

SLLAME, A.; SEKANINA, L. An Evolutionary-Based Algorithm to the Module Selection Process in High-Level Synthesis. Mendel 2002 - 8th International Conference on Soft Computing. Brno: Brno University of Technology, 2002. p. 87-92. ISBN: 80-214-2135-5. Detail

STAROBA, J. Optimization of a Fully Distributed Stack Filter Using Genetic Algorithms. Proc. ot 8th conference Student EEICT. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 501-505. ISBN: 80-214-2116-9. Detail

STAROBA, J.; DVOŘÁK, V. Parallel Linear Equations Solvers for Scientific Simulation: Cluster and SMP Experience. Proceedings of XXIVth International Autumn Colloquium ASIS'02 Advanced Simulation of Systems. Ostrava: 2002. p. 225-230. ISBN: 80-85988-77-1. Detail

STRNADEL, J. Evaluating Cost/Quality Trade-off Solutions Proposed During a DFT Process. Proceeding of 8th Conference Student EEICT 2002. Brno: Brno University of Technology, 2002. p. 506-510. ISBN: 80-214-2116-9. Detail

STRNADEL, J. Normalized Testability Measures Based on RTL Digital Circuit Graph Model Analysis. Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002. Edition 55. Košice: The University of Technology Košice, 2002. p. 200-205. ISBN: 80-7099-879-2. Detail

STRNADEL, J.; KOTÁSEK, Z. Normalized Testability Measures at RT Level: Utilization and Reasons for Creation. Proceedings of 36th International Conference MOSIS`02 Modeling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 297-304. ISBN: 80-85988-71-2. Detail

STRNADEL, J.; KOTÁSEK, Z. Optimising Solution of the Scan Problem at RT Level Based on a Genetic Algorithm. Proceedings of 5th IEEE Design and Diagnostics of Electronics Circuits and Systems Workshop. Brno: Brno University of Technology, 2002. p. 44-51. ISBN: 80-214-2094-4. Detail

STRNADEL, J.; KOTÁSEK, Z. Testability Improvements Based on the Combination of Analytical and Evolutionary Approaches at RT Level. Proceedings of Euromicro Symposium on Digital System Design Architectures, Methods and Tools DSD'2002. Los Alamitos: IEEE Computer Society Press, 2002. p. 166-173. ISBN: 0-7695-1790-0. Detail

ŠVÉDA, M. A fail-stop model for design of embedded systems. Telecommunications and Signal Processing TSP-2002. Brno: Brno University of Technology, 2002. p. 152-155. ISBN: 80-214-2172-X. Detail

ŠVÉDA, M. Rapid Prototyping of Embedded Distributed Systems. IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002. p. 320-323. ISBN: 80-214-2094-4. Detail

ŠVÉDA, M. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno: 2002. p. 0-0. Detail

ŠVÉDA, M.; RÁB, J. Designing dedicated distributed architectures for embedded systems. Proceedings of Electronic Devices and Systems, 2002. Brno: Brno University of Technology, 2002. p. 301-310. ISBN: 80-214-2180-0. Detail

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002. p. 224-225. ISBN: 0-7695-1549-5. Detail

ŠVÉDA, M.; VRBA, R. An Integrated Framework for Internet-Based Applications of Smart Sensors. Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002. p. 1543-1548. ISBN: 0-7803-7454-1. Detail

ŠVÉDA, M.; VRBA, R. An Integrated Framework for Sensor-Based Embedded Systems. Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002. p. 195-202. ISBN: 0-7695-1549-5. Detail

ZBOŘIL, F., KOTÁSEK, Z., MIKA, D., STRNADEL, J. The Identification of Feedback Loops in RTL Structures. In Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002. Edition 55. Košice: The University of Technology Košice, 2002. p. 142-147. ISBN: 80-7099-879-2. Detail

2001

BUREŠ, F. DocBook - moderní prostředek pro tvorbu profesionální technické dokumentace. Proceedings of 7th Conference Student FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 250-252. ISBN: 80-214-1859-1. Detail

ČEJKA, R.; DVOŘÁK, V. Evaluating Performance of Message-Passing Programs on SMP Clusters. Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: 2001. p. 115-120. ISBN: 80-85988-57-7. Detail

DRÁBEK, V. Configurable Computing. Advanced Simulation of Systems. Ostrava: 2001. p. 59-63. ISBN: 80-85988-61-5. Detail

DVOŘÁK, V. Optimizing SW/HW Architecture for Parallel Embedded Systems - A Case Study. Proceedings of the the International Workshop on Discrete-Event System Design, DESDes'01. Przytok near Zielona Gora, POLAND: Publishing House of Zielona Gora Technical University, 2001. p. 103-108. ISBN: 83-85911-62-6. Detail

DVOŘÁK, V.; ČÁBEL, M. Can Message Passing Architecture Outperform EREW PRAM?. In Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: 2001. p. 109-114. ISBN: 80-85988-57-7. Detail

DVOŘÁK, V.; STAROBA, J. Numerical Performance Models of Synchronization Operations in Shared-Variable Programs. Proceedings of XXIII Int. Autumn Colloquium ASIS 2001. Ostrava: 2001. p. 65-70. ISBN: 80-85988-61-5. Detail

DVOŘÁK, V.; STAROBA, J. Simulating PRAM algorithms with TRANSIM. Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: 2001. p. 81-86. ISBN: 80-85988-57-7. Detail

KOTÁSEK, Z., STRNADEL, J. Analytic Approach to RTL Testability Analysis. In Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 363 ( p.)ISBN: 80-214-1860-5. Detail

KOTÁSEK, Z.; RŮŽIČKA, R.; STRNADEL, J. Formal and Analytical Approaches to the Testability Analysis - the Comparison. Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001. Gyor: SZIF-UNIVERSITAS Ltd., Hungary, 2001. p. 123-128. ISBN: 963-7175-16-4. Detail

KOTÁSEK, Z.; RŮŽIČKA, R.; STRNADEL, J.; ZBOŘIL, F. Two Level Testability System. Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: 2001. p. 433-440. ISBN: 80-85988-57-7. Detail

KOTÁSEK, Z.; STRNADEL, J. RTL Testability Analysis Based on Genetic Algorithm Implementation. Proceedings of the IWCIT'01. Ostrava: Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava, 2001. p. 83-88. ISBN: 80-7078-907-7. Detail

KOTÁSEK, Z.; STRNADEL, J. RTL Testability Analysis Based on Genetic Algorithm Implementation. Proceedings of the Tenth ICNACSA. Plovdiv: unspecified agency, 2001. p. 89-89. Detail

KOTÁSEK, Z.; STRNADEL, J.; RŮŽIČKA, R.; HLAVIČKA, J. Interactive Tool for Behavioral Level Testability Analysis. Proceedings of the IEEE ETW 2001. Stockholm: 2001. p. 117-119. Detail

MATOUŠEK, P. Protocol Proving Using PVS: A Case Study. Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M: 2001. p. 67-73. ISBN: 80-85988-57-7. Detail

MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. Modelling and Simulation 2001. Praha: Czech Technical University, 2001. p. 59-62. ISBN: 1-56555-225-3. Detail

OČENÁŠEK, J.; SCHWARZ, J. The Distributed Bayesian Optimization Algorithm for Combinatorial Optimization. EUROGEN 2001 - Evolutionary Methods for Design, Optimisation and Control with Applications to Industrial Problems. Athens: 2001. p. 115-120. ISBN: 84-89925-97-6. Detail

RATTRAY, C.; ŠVÉDA, M. Formal Specifications of Computer-Based Systems. Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001. p. 357-358. ISBN: 0-7695-1086-8. Detail

SCHWARZ, J.; OČENÁŠEK, J. Evolutionary Multiobjective Bayesian Optimization Algorithm:Experimental Study. Proceedings of the 35th Spring International Conference MOSIS'01, Vol. 1. Hradec nad Moravicí: 2001. p. 101-108. ISBN: 80-85988-57-7. Detail

SCHWARZ, J.; OČENÁŠEK, J. Pareto Bayesian Optimization Algorithm for the Multiobjective 0/1 Knapsack Problem. Proceedings of the 7th International Mendel Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2001. p. 131-136. ISBN: 80-214-1894-X. Detail

SCHWARZ, J.; OČENÁŠEK, J. Multiobjective Bayesian Optimization Algorithm for Combinatorial Problems: Theory and Practice. NEURAL NETWORK WORLD, 2001, vol. 11, no. 5, p. 423-441. ISSN: 1210-0552. Detail

ŠČUGLÍK, F. Komunikační systém v rámci autonomních LAN sítí. Proceedings of 7th Conference STUDENT FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 316-318. ISBN: 80-214-1859-1. Detail

SEKANINA, L.; DVOŘÁK, V. A Totally Distributed Genetic Algorithm: From a Cellular System to the Mesh of Processors. Modelling and Simulation 2001. Prague: Faculty of Electrical Engineering, Czech Technical University, 2001. p. 539-543. ISBN: 1-56555-225-3. Detail

SLLAME, A.; DRÁBEK, V. Specification and Synthesis of Reusable Modules in VHDL. Proceedings of fourth International Wokshop on IEEE Design and Diagnostics of Electronic Circuits and Systems IEEE DDCSE01. Gyor, Hungary: SZIF-UNIVERSITAS Ltd., Hungary, 2001. p. 137-140. ISBN: 963-7175-16-4. Detail

STAROBA, J.; DVOŘÁK, V. Simulation-based performance tuning of a parallel bitonic sort algorihtm. Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 358-362. ISBN: 80-214-1860-5. Detail

ŠVÉDA, M., ZEZULKA, F., VRBA, R. A Case-Based Reasoning Approach to Reuse of CBS Specifications. In Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001. Washington D.C.: University of Stirling, 2001. p. 139-144. ISBN: 1-85-769144-X. Detail

ŠVÉDA, M.; STRACH, M. A Sensor-to-Intranet Coupling Architecture. Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 214-217. ISBN: 80-214-1960-1. Detail

ŠVÉDA, M.; VRBA, R. Sensor Networking. Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001. p. 262-268. ISBN: 0-7695-1086-8. Detail

ŠVÉDA, M.; VRBA, R. Executable Specifications for Distributed Embedded Systems. Computer, 2001, vol. 34, no. 1, p. 138-140. ISSN: 0018-9162. Detail

ŠVÉDA, M.; VRBA, R.; BENEŠ, P. A System Architecture of Networked Pressure Sensors. Proceedings of the 5th WSES/IEEE World Conference on Systems (CSCC2001). Rethymno: IEEE Computer Society Press, 2001. p. 3541-3546. ISBN: 960-8052-33-5. Detail

ŠVÉDA, M.; VRBA, R.; BENEŠ, P. A System Architecture of Networked Pressure Sensors. In Advances in Systems Science: Measurement, Circuits and Control. Electrical and Computer Engineering Series -- A Series of Reference Books and Textbooks. Herakleion, Greece: IEEE Computer Society Press, 2001. p. 64-69. ISBN: 960-8052-39-4. Detail

ŠVÉDA, M.; VRBA, R.; STRACH, M. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 1-80. Detail

TOMŠŮ, M. Goldschmidt's division algorithm using the pipelining principle. Student FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 373-377. ISBN: 80-214-1859-1. Detail

TOMŠŮ, M.; DRÁBEK, V. The Possibilities of Hardware Support for the Virtual Reality Systems Using the Internet Connections. Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: 2001. p. 121-126. ISBN: 80-85988-57-7. Detail

VOJKŮVKA, M.; DRÁBEK, V. Modelling of Montgomery Multiplication in GF(2^m). Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: 2001. p. 441-446. ISBN: 80-85988-57-7. Detail

2000

ČÁBEL, M.; DULÍK, T. An Advanced Multichannel Diaphragm Controller. Artificial Intelligence in Control and Measurment. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000. p. 13-18. Detail

ČEJKA, R.; DVOŘÁK, V. CSP-based Modeling of Emerging Scalable Parallel Computers. Proceedings of the 34th Spring International Conference Modelling and Simulation of Systems MOSIS 2000, Vol. 1. Rožnov pod Radhoštěm: 2000. p. 135-142. ISBN: 80-85988-44-5. Detail

DRÁBEK, V. Applications of Daubechies Wavelets for Image Compression. 34th Spring. Int. Conf. MOSIS 2000. Roznov p. R.: 2000. p. 31-37. ISBN: 80-85988-44-5. Detail

DVOŘÁK, V. Formal Specifications of Computer-Based Systems. 2000, vol. 6, no. 11, p. 1-3. Detail

DVOŘÁK, V.; ČEJKA, R. A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. Proceedings of the 7th IEEE International Conference on ECBS. Edinburgh, Scotland: IEEE Computer Society Press, 2000. p. 18-23. ISBN: 0-7695-604-6. Detail

DVOŘÁK, V.; ČEJKA, R. Prototyping cluster-based distributed applications. In Distributed and Parallel Systems - From Instruction Parallelism to Cluster Computing. The Kluwer International Series in Engineering and Computer Science. Boston: Kluwer Academic Publishers, 2000. p. 229-232. ISBN: 0-7923-7892-X. Detail

DVOŘÁK, V.; MARKOVIČ, L. High Performance Computing in JAVA -- Fact or Fiction?. FIMU-RS-2000-11. unknown, 2000. p. 0-0. Detail

GONZALES, R.; LAVI, J.; MANNION, M.; ŠVÉDA, M. Engineering of Computer-Based Systems Enhancement Courses - Proposed Course Outlines. IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000. p. 1-9. Detail

JANKOVSKÝ, M.; ŠVÉDA, M. From TLA Specifications to Real-Time Unix Applications. Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: unknown, 2000. p. 77-79. ISBN: 1-85-769121-0. Detail

KOTÁSEK, Z.; RŮŽIČKA, R. Behavioral Analysis for Testability on VHDL Source File. Proceedings of Design and Diagnostics of Electronic Circuits and Systems Workshopsborník konference IEEE DDECS. Bratislava: Slovak Academy of Science, 2000. p. 209-212. ISBN: 80-968320-3. Detail

KOTÁSEK, Z.; RŮŽIČKA, R. Partial Scan Methodologies - a Survey. sborník konference PDS2000. Ostrava: Elsevier Science, 2000. p. 133-137. ISBN: 0-08-043620-X. Detail

KOTÁSEK, Z.; RŮŽIČKA, R.; HLAVIČKA, J. Formal Approach to RTL Testability Analysis. sborník konference IEEE LATW 2000. Rio de Janeiro: unknown, 2000. p. 98-103. Detail

LAVI, J.; MANNION, M.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Bachelor Level. IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000. p. 1-8. Detail

LAVI, J.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Master Level. IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000. p. 1-18. Detail

OČENÁŠEK, J. The Acceleration of Estimation of Distribution Algorithms. Sborník prací studentů a doktorandů VI. Brno: Akademické nakladatelství CERM, 2000. p. 213-215. ISBN: 80-7204-155-X. Detail

OČENÁŠEK, J.; SCHWARZ, J. The Parallel Bayesian Optimization Algorithm. Proceedings of the European Symposium on Computational Inteligence. Advances in Soft Computing. Košice: Springer Verlag, 2000. p. 61-67. ISBN: 3-7908-1322-2. ISSN: 1615-3871. Detail

PICHLER, F.; RATTRAY, C.; ŠVÉDA, M. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000. p. 382-382. ISBN: 0-7695-0604-6. Detail

RATTRAY, C.; ŠVÉDA, M. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of University of Stirling. Procedings of University of Stirling. Napier University, Edinburgh: IEEE Computer Society, 2000. 85 p. ISBN: 1-85-769121-0. Detail

SCHWARZ, J. The probability models for combinatorial optimization problems. Proceedings of The 4th Japan-Central Europe Joint Workshop on Energy and Information in Non-Linear Systems. Brno, Czech Republic, November 10-12, 2000. Brno: unknown, 2000. p. 72-75. Detail

SEKANINA, L. Components and Communications in Evolvable System. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000. p. 231-233. ISBN: 80-7204-155-X. Detail

SEKANINA, L.; DRÁBEK, V. Fault Tolerance and Reconfiguration in Cellular Systems. Proc. of Design and Diagnostics of Electronic Circuits and Systems - IEEE DDECS'2000. Smolenice: unknown, 2000. p. 134-137. ISBN: 80-968320-3-4. Detail

SEKANINA, L.; DRÁBEK, V. Relation Between Fault Tolerance and Reconfiguration in Cellular Systems. 6th IEEE Int. On-Line Testing Workshop. Palma de Mallorca, Spain: IEEE Computer Society Press, 2000. p. 25-30. ISBN: 0-7695-0646-1. Detail

SEKANINA, L.; DRÁBEK, V. The Concept of Pseudo Evolvable Hardware. IFAC Workshop on Programmable Devices and Systems 2000. Elsevier Science Ltd. Oxford: unknown, 2000. p. 0-0. ISBN: 0-08-043620-X. Detail

SEKANINA, L.; RŮŽIČKA, R. Design of the Special Fast Reconfigurable Chip Using Common FPGA. Proc. of Design and Diagnostics of Electronic Circuits and Systems - IEEE DDECS'2000. Smolenice: unknown, 2000. p. 161-168. ISBN: 80-968320-3-4. Detail

SEKANINA, L.; SLLAME, A. Toward Uniform Approach to Design of Evolvable Hardware Based Systems. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1896, p. 814-817. ISSN: 0302-9743. Detail

SLLAME, A.; DRÁBEK, V. Design of Graphical Hardware. MOSIS2000 34th Spring International Conference Modeling and Simulation of Systems. Roznov pod Radhostem: 2000. p. 51-55. ISBN: 80-85988-44-5. Detail

SLLAME, A.; SEKANINA, L. Simulation and Modeling of Evolvable Hardware Based Systems. MS2000 International Conference on Modeling and Simulation. Las Palmas de Gran Canaria: unknown, 2000. p. 485-492. ISBN: 84-95286-59-9. Detail

ŠVÉDA, M. Patterns for Embedded Systems Design. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 80-89. ISSN: 0302-9743. Detail

ŠVÉDA, M.; VRBA, R. DCB Digital Communication On-board Bus. Proceedings ICT 2000. Acapulco: IEEE Computer Society, 2000. p. 1088-1092. ISBN: 968-36-7762-2. Detail

ŠVÉDA, M.; VRBA, R. Executable Specifications for Distributed Embedded Systems. Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000. p. 81-85. ISBN: 1-85-769121-0. Detail

ŠVÉDA, M.; VRBA, R. Rapid Prototyping of Embedded Communication Systems. Proceedings ICT 2000. Acapulco: unknown, 2000. p. 677-681. ISBN: 968-36-7762-2. Detail

ŠVÉDA, M.; VRBA, R.; ZEZULKA, F. Coupling Architectures for Low-Level Fieldbusses. Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000. p. 148-155. ISBN: 0-7695-0604-6. Detail

VEČEŘA, I.; VRBA, R.; ŠVÉDA, M. Senzory s vlastním testováním. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2000, roč. 2000, č. 12, s. 1-7. ISSN: 1213-1539. Detail

ZBOŘIL, F. VHDL RT Level Parser/Analyser of a Source Code. Proceedings of the fourth international scientific conference Electronic Computers & Informatics'2000. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2000. p. 150-155. ISBN: 80-88922-25-9. Detail

1999

ČEJKA, R. CSP-based Modeling of SM Architectures. Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999. p. 75-76. ISBN: 80-214-1155-4. Detail

ČEJKA, R.; DVOŘÁK, V. CSP-based Modeling of SM Architectures. Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999. p. 163-168. ISBN: 80-88922-05-4. Detail

DULÍK, T. An FPGA implementation of Goertzel algorithm. MOSIS'99 Proceedings. Rožnov pod Radhoštěm: 1999. p. 35-42. ISBN: 80-85988-33-X. Detail

DVOŘÁK, V.; ČEJKA, R. The CSP-Based Simulation of Interconnection Networks and Routing Algorithms. Proceedings of the 33rd Spring International Conference Modelling and Simulation of Systems MOSIS'99, Vol. 2. Rožnov pod Radhoštěm: 1999. p. 43-50. ISBN: 80-85988-33-X. Detail

DVOŘÁK, V.; DRÁBEK, V. Architektura procesorů. Brno: 1999. 300 s. ISBN: 80-214-1458-8. Detail

DVOŘÁK, V.; MATOUŠEK, P. Highly Efficient Parallel ANN Implementation for Real-Time Processing. Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany, Slovakia: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999. p. 186-191. ISBN: 80-88922-05-4. Detail

GONZALES, R.; LAVI, J.; MANNION, M.; ŠVÉDA, M. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: unknown, 1999. p. 336-343. ISBN: 0-7695-0028-5. Detail

HRDLIČKA, M.; ŠVÉDA, M.; ZEZULKA, F. Fieldbus Interconnections Testbed. Proceedings of European Symposium INNOCAP'99: Sensor Networks and Communications. Grenoble: unknown, 1999. p. 123-128. Detail

KOTÁSEK, Z.; RŮŽIČKA, R.; ZBOŘIL, F. Partial Scan Methodology in VHDL Environment. CEI'99. Herľany: unknown, 1999. p. 146-151. ISBN: 80-88922-05-4. Detail

KOTÁSEK, Z.; ZBOŘIL, F.; HLAVIČKA, J. Partial Scan Methodology for RTL Designs. Compendium of Papers ETW'99. Constance: unknown, 1999. p. 0-0. ISBN: 0-7695-0390-X. Detail

MATOUŠEK, P. Global directory over LDAP with index servers. In Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999. p. 85-86. ISBN: 80-214-1155-4. Detail

OČENÁŠEK, J. Pokročilé genetické algoritmy pro členění hypergrafů. In Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 1999. s. 89-90. ISBN: 80-214-1155-4. Detail

RŮŽIČKA, R. Využití metod Částečný Scan v diagnostice číslicových obvodů. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 1999. s. 101-102. ISBN: 80-214-1155-4. Detail

SCHWARZ, J. Utilizing Genetic Algorithms for VLSI Physical Design-a Brief Survey. Electronic Devices and Systems 1999-Proceedings. BRNO: unknown, 1999. p. 88-91. ISBN: 80-214-1466-9. Detail

SEKANINA, L. Evolvable Hardware as Non-Linear Predictor for Image Compression. Proc. of the 2nd Prediction Conference Nostradamus'99. Zlín: unknown, 1999. p. 87-92. ISBN: 80-214-1424-3. Detail

SLLAME, A. Designing on Algorithmic Level Using Behavioral Compiler, In:EDS'99, Brno. Electronic Devices and Systems 1999 - Proceedings. Ak. Brno: Akademické nakladatelství CERM, 1999. p. 121-124. ISBN: 80-214-1466-9. Detail

ŠVÉDA, M. An Asynchronous Specification Language for Computer-Based Systems Design. Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999. p. 137-143. ISBN: 80-214-1466-9. Detail

ŠVÉDA, M. Low-Level Fieldbus Coupler Prototyping. Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999. p. 244-247. ISBN: 80-214-1466-9. Detail

ŠVÉDA, M. Patterns for Embedded Systems Design. Preprints EUROCAST´99. Vienna: unknown, 1999. p. 277-280. Detail

1998

KOTÁSEK, Z.; ZBOŘIL, F. Boundary Scan of PCBs with Xilinx FPGAs. Sborník konference ECI98. Herlany: unknown, 1998. p. 70-74. ISBN: 80-88786-94-0. Detail

KOTÁSEK, Z.; ZBOŘIL, F. Nonstandard Automatic Test Pattern Generation Based on Neural Network Theory. Proceedings of the ECI'98. Herlany: Slovak Academy of Science, 1998. p. 75-80. ISBN: 80-88786-94-0. Detail

LAVI, J.; MANNION, M.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: unknown, 1998. p. 377-384. ISBN: 0-8186-8463-1. Detail

LAVI, J.; MANNION, M.; MELHART, B.; PYLE, I.; ŠVÉDA, M. Engineering of Computer-Based Systems--A Proposed Curriculum for a Degree Program at Bachelor Level. Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998. p. 369-376. ISBN: 0-8186-8463-1. Detail

RYŠÁNEK, M. Congestion in High-Loaded Networks of Parallel Machines. SEIHPC Workshop 1998, Madrid, Spain. Madrid: unknown, 1998. p. 58-64. Detail

SCHWARZ, J. Case study: Genetic object designer. ASIS 1998. Krnov: 1998. p. 109-114. ISBN: 80-85988-26-7. Detail

SCHWARZ, J. Fuzzy trafic light controller. Proceedings of MOSIS'98. Bystřice pod Hostýnem: 1998. p. 67-73. ISBN: 80-85988-25-9. Detail

SCHWARZ, J. Genetic algorithm for partitioning circuits. Mendel '98. Brno: unknown, 1998. p. 126-131. ISBN: 80-214-1199-6. Detail

SEKANINA, L. Model vyvíjejících se obvodů. In Sborník prací studentů a doktorandů, roč. IV, FEI VUT Brno. Brno: Akademické nakladatelství CERM sro., 1998. s. 61-62. ISBN: 80-214-1141-4. Detail

ŠVÉDA, M. Asynchronous Specification Language and Design with Local Time. Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998. p. 256-263. ISBN: 0-8186-8463-1. Detail

ŠVÉDA, M. Computer-Based Systems: An Emerging Discipline. EDS'98 Proceedings. Brno: unknown, 1998. p. 325-328. ISBN: 80-214-1198-8. Detail

ŠVÉDA, M.; VEČEŘA, I.; VRBA, R. Smart Sensors Based upon ASI Bus Interface with Built-in Self Test. Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998. p. 419-424. ISBN: 0-620-23136-X. Detail

ŠVÉDA, M.; VRBA, R. Interconnecting Architectures for Sensors and Actuators. Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998. p. 414-418. ISBN: 0-620-23136-X. Detail

ŠVÉDA, M.; ZEZULKA, F. Communication on the Control Level--An Extension Phenomenon of Control. Proceedings of the 15th International Congress on Cybernetics. Namur: unknown, 1998. p. 312-317. ISBN: 2-87215-004-8. Detail

1997

CIGÁNEK, P.; DRÁBEK, V. Applications of Binary Cellular Automata in BIST. Bratislava, Sept. 4-5: 1997. p. 189-192. Detail

DRÁBEK, V. Modelling of Evolvable Hardware. MOSIS 97. Hradec nad Moravicí: 1997. p. 319-324. ISBN: 80-85988-18-6. Detail

DVOŘÁK, V. Advanced Computer Architecture. CZ: neznámá, 1997. s. 0-0. Detail

DVOŘÁK, V. Bounds on the Sizes of Decision Diagrams. 1997, vol. 3, no. 1, p. 2-22. Detail

EYSSELT, M. The Design of the Factored TANT and TONT Networks. Proceedings of the 31st Spring International Conference MOSIS'97. April 28-30, Hradec nad Moravicí: unknown, 1997. p. 177-182. ISBN: 80-85988-18-6. Detail

HLAVIČKA, J.; KOTÁSEK, Z.; ZBOŘIL, F. Test Overhead Reduction through RT Level Testability Analysis. Proceedings of the IEEE ETW 1997. Cagliary: unknown, 1997. p. 43-47. Detail

KOTÁSEK, Z. RT Level Element Classification. Proceedings of the DDECS 97. Soláň: unknown, 1997. p. 41-46. ISBN: 80-85988-19-4. Detail

KOTÁSEK, Z.; ZBOŘIL, F. RT Level Testability Analysis In PROLOG Enviroment. Proceedings of the DDECS'97. Ostrava: 1997. p. 47-52. ISBN: 80-85988-19-4. Detail

KOTÁSEK, Z.; ZBOŘIL, F. RT Level Testability Analysis to Reduce Test Application Time. Proceedings of the EUROMICRO 97. Budapest: unknown, 1997. p. 104-111. ISBN: 0-8186-8129-2. Detail

SCHWARZ, J. Educational fuzzy development system. Proceedings of Conference MOSIS '97. Hradec nad Moravicí: 1997. p. 233-238. ISBN: 80-85988-16-X. Detail

ŠVÉDA, M. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, 1997, vol. 1998, no. 133, p. 34-49. ISSN: 0302-9743. Detail

ŠVÉDA, M. Design Method, Fail-Stop Safety Model, and Embedded Application. Journal of Systems Architecture, 1997, vol. 43, no. 1, p. 47-57. ISSN: 1383-7621. Detail

ŠVÉDA, M.; BABKA, O.; FREEBURN, J. Knowledge Preserving Development: A Case Study. Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997. p. 347-352. ISBN: 0-8186-7889-5. Detail

ŠVÉDA, M.; VRBA, R. ASI Interconnectivity. Preprints IFAC SICICA'97. Annecy: unknown, 1997. p. 621-626. Detail

ŠVÉDA, M.; ZEZULKA, F. Interconnecting Low-Level Fieldbusses. Proc. Euromicro'97. Los Alamitos, California: IEEE Computer Society Press, 1997. p. 260-267. ISBN: 0-8186-8129-2. Detail

1996

DRÁBEK, V. Dependability Issues of Medical Electronics. Brno: 1996. p. 63-66. ISBN: 80-214-0767-8. Detail

DRÁBEK, V. High-Level Specification and Verification as a New Design Methodology. Brno: 1996. p. 197-200. ISBN: 80-214-0768-9. Detail

DRÁBEK, V. RAIDSIM - Model of a Disk Array. MOSIS '96. Modelling and System Simulation. Krnov: 1996. p. 136-141. ISBN: 80-85988-03-8. Detail

DRÁBEK, V. Simulation or Verification?. Zábřeh na Moravě: 1996. p. 13-18. ISBN: 80-85988-10-0. Detail

DVOŘÁK, V. Parallel implementation of ANN for Embedded Applications. Proceedings WORKSHOP'96. Praha: Faculty of Electrical Engineering, Czech Technical University, 1996. p. 221-222. Detail

DVOŘÁK, V. Performance analysis of parallel/distributed genetic algorithms. Proc. of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems DAPSYS'96. Miskolc: 1996. p. 219-220. ISBN: ?. Detail

DVOŘÁK, V. Prototyping parallel ANN implementations with TRANSIM. HPCS' 96 Conference Proceedings. Ottawa: unknown, 1996. p. 1-16. ISBN: 0-88629-301-4. Detail

EYSSELT, M. A Rounding Problem of the Integers. Proceedings of the AMSE Scientific Conference on Communications, Signals and Systems CSS'96. September 10-12, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1996. p. 55-58. ISBN: 80-214-0768-9. Detail

EYSSELT, M. The Comparison of Three One-Bit-at-a-Time Two's Complement Multiplication Methods. Proceedings of the AMSE Scientific Conference on Communications, Signals and Systems CSS'96. September 10-12, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1996. p. 41-44. ISBN: 80-214-0768-9. Detail

EYSSELT, M. THE CONTRIBUTION TO THE GENERALISED REED-MULLER EXPANSIONS GENERATED BY SOFTWARE. Proceedings of the Electronic Devices and Systems EDS'96 Conference. June 25, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1996. p. 220-223. ISBN: 80-214-0767-8. Detail

EYSSELT, M. The Finite-State Machines Simplified Booth Recodings. Proceedings of the 30th Spring International Conference Modelling and Simulation MOSIS'96. April 23-25, Krnov: unknown, 1996. p. 130-135. ISBN: 80-85988-03-8. Detail

EYSSELT, M. The Perfect Microinstruction Pipeline with Microprogram Counters. Proceedings of the Scientific Conference with International Participation ELECTRONIC COMPUTERS & INFORMATICS. September 26-27, Košice-Herĺany: unknown, 1996. p. 176-181. Detail

EYSSELT, M. The Petri Net Machines for Signed Digit Recodings. Proceedings of the XVIIIth International Workshop Advanced Simulation of Systems ASS 1996. September 17-19, Zábřeh na Moravě: unknown, 1996. p. 136-141. ISBN: 80-85988-10-0. Detail

SCHWARZ, J. Motorola microcontroller as the platform for fuzzy application. Proceedings of CSS '96. Brno: unknown, 1996. p. 239-242. ISBN: 80-214-0768-9. Detail

SCHWARZ, J.; DVOŘÁK, V.; BUREŠ, P. Číslicové a impulsové obvody. Brno: Vysoké učení technické v Brně, 1996. s. 1-102. ISBN: 80-214-0622-4. Detail

ŠVÉDA, M. A Prototyping Technique for Distributed Microcontrollers. CSS '96. Brno: unknown, 1996. p. 61-68. ISBN: 80-214-0768-9. Detail

ŠVÉDA, M. Formal Specifications with Local Time Concept. Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996. p. 356-361. ISBN: 0-85296-664-4. Detail

ZENDULKA, J. Program for demonstration of scheduling and allocation in high-level synthesis. Proceedings of EDS'96. Brno: Brno University of Technology, 1996. p. 382-385. ISBN: 80-214-0767-8. Detail

ZENDULKA, J. The use of VHDL in designing with gate arrays. Proceedings of MOSIS'96, Volume 2. Krnov: 1996. p. 142-147. ISBN: 80-85988-03-8. Detail

ZENDULKA, J. Tools for designing with Xilinx FPGAs. Proceedings of EDS'96. Brno: Brno University of Technology, 1996. p. 15-18. ISBN: 80-214-0767-8. Detail

1995

DRÁBEK, V.; STACHNÍK, M. A Fault-Tolerant ASIC Array. Baligrod-Bystre, 9-13 Oct., 1995: unknown, 1995. p. 193-200. ISBN: 83-900859-3-3. Detail

DVOŘÁK, V. Logic decomposition into LUT/MUX-based logic blocks. Proceedings of the 7th School VLSI and ASIC Design. Baligrod-Bystre: unknown, 1995. p. 37-56. ISBN: 83-900859-3-3. Detail

DVOŘÁK, V.; SLÁDEČEK, L. Performance Evaluation of Transputer-Based Parallel Implementation of CNN. Proc. of 1995 AMSE Int. Symposium on Fuzzy systems, Neural Networks, and Artificial Intelligence. Brno: 1995. p. 11-18. ISBN: 80-214-0657-7. Detail

EYSSELT, M. A Method for Finding All Disjoint Covers of a Boolean Function. Proceedings of the Electronic Devices and Systems Conference. June 28, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995. p. 209-212. Detail

EYSSELT, M. The Contribution to the Modelling of Simple Two's Complement Multiplication Methods. Proceedings of the XVIIth International Czech-Poland-Slovak Colloquium-Workshop ADVANCED SIMULATION OF SYSTEMS. April 18-20, Zábřeh na Moravě: unknown, 1995. p. 36-41. ISBN: 80-901751-1-2. Detail

EYSSELT, M. The Contribution to the TANT and TONT Networks Design-Automatization. Proceedings of the Electronic Devices and Systems Conference. June 28, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995. p. 203-216. Detail

EYSSELT, M.; CUPAL, J. A Two's Complement Division Method with Automatic Quotient Rounding. Proceedings of the INTERNATIONAL AMSE CONFERENCE SYS'95. July 3-5, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995. p. 69-78. ISBN: 80-214-0657-7. Detail

HLAVIČKA, J.; KOTÁSEK, P.; KOTÁSEK, Z. RT Level Test Scheduling Procedure. Proceedings on Design Metodologies for Microelectronics. Smolenice: Slovak Academy of Science, 1995. p. 264-271. Detail

SCHWARZ, J. PGPLACE: Genetic algorithm for placement optimization. Mendel '95. Brno: 1995. p. 139-144. ISBN: 80-214-0672-0. Detail

SCHWARZ, J. Programové prostředky pro fuzzy aplikace. Proceedings of Workshop of Advanced Simulation of Systems. Zábřeh na Moravě: 1995. s. 258-264. ISBN: 80-901751-7-1. Detail

SCHWARZ, J. Simulation based placement algorithm. Proceedings of EDS '95 conference. Brno: 1995. p. 217-228. Detail

ŠVÉDA, M.; ZEZULKA, F. Local Time for Systems Theory and Control Engineering. Proceedings of the 14th International Congress on Cybernetics. Namur: unknown, 1995. p. 560-564. ISBN: 2-87215-003. Detail

ZENDULKA, J. Program for demonstration of ROBDD's. Proceedings of EDS'95. Brno: Brno University of Technology, 1995. p. 201-202. Detail

1994

EYSSELT, M. Booth Methods. Proceedings of the FEI'25 Conference on ELECTRONIC COMPUTERS and INFORMATICS. September 22-23, Košice-Herĺany: unknown, 1994. p. 51-56. Detail

LINHART, M.; ŠPRTA, J.; ZENDULKA, J. A Model of a Transputer-Based Simulation Accelerator. Proceedings of the 3rd IFIP WG-7.6 Working Conference on Optimization-Based Computer-Aided Modelling and Design. Prague: unknown, 1994. p. 261-268. Detail

SCHWARZ, J. Programové prostředky pro návrh fuzzy systémů. Sborník kolokvia Vybrané problémy simulačních modelů. Brno: MARQ, 1994. s. 11-14. ISBN: 80-901229-9-X. Detail

ŠVÉDA, M. Multiple Lift Control System. Proceedings 20th Euromicro 94 Conf. Liverpool: unknown, 1994. p. 581-587. ISBN: 0-8186-6430-4. Detail

ŠVÉDA, M. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming (North-Holland), 1994, vol. 40, no. 4, p. 291-301. ISSN: 0165-6074. Detail

ŠVÉDA, M. Design and Development of Industrial Measurement System--Architecture and Software. Microprocessing and Microprogramming (North-Holland), 1994, vol. 40, no. 10, p. 887-890. ISSN: 0165-6074. Detail

ZENDULKA, J. Koncepce kursů automatizace projektování číslicových systémů. Moderní směry výuky elektrotechniky a lelektroniky STO-5. Brno: Vojenská akademie Brno, 1994. s. 84-87. Detail

ZENDULKA, J. Zkušenosti s použitím prostředků pro funkční a logickou simulaci. Vybrané problémy simulačních modelů. Brno: neznámá, 1994. s. 103-108. ISBN: 80-901229-9-X. Detail

1993

LINHART, M.; ŠPRTA, J.; ZENDULKA, J. A Transputer-Based Digital Circuits Simulator. International conference CATE'93. Brno: unknown, 1993. p. 389-391. Detail

SCHWARZ, J. Algoritmy stochastické a simulované evoluce. Sborník kolokvia Vybrané problémy simulačních modelů. Ostrava: 1993. s. 89-91. ISBN: 80-901229-6-5. Detail

SCHWARZ, J. Simulation oriented placement methods for VLSI chips. Proceedings of the MOSIS'93 conference. Olomouc: 1993. p. 295-300. Detail

ZENDULKA, J. Levelized Compiled and Event-Driven Simulation - a Case Study. International conference CATE'93. Brno: unknown, 1993. p. 349-352. Detail

ZENDULKA, J. Simulační systém VHDL-XL. Vybrané problémy simulačních modelů. Ostrava: neznámá, 1993. s. 69-72. ISBN: 80-901229-6-5. Detail

1992

DVOŘÁK, V. An optimization technique for ordered (binary) decision diagrams. Proceedings of the 6th Annual European Computer Conference CompEuro' 92. Hague: unknown, 1992. p. 1-4. ISBN: 0-8186-2760. Detail

DVOŘÁK, V. Easily- and self-testable chip, board, and system architectures. EC Newsletter, 1992, vol. Vol. 4, no. No.1, p. 227-243. ISSN: 1120-7221. Detail

DVOŘÁK, V.; ŠUSTR, J. Digital system synthesis on FPGAs. Proceedings of Mikrosystem' 92. Bratislava: unknown, 1992. p. 100-103. ISBN: 80-233-0255-8. Detail

ŠTEFAN, J.; ZENDULKA, J. Model spojitého systému v C++. Sborník MOSIS'92. Ostrava: neznámá, 1992. s. 1-2. Detail

ŠVÉDA, M. A Design Method for Small Real-Time Distributed Systems. Cybernetics and Systems Research'92. Vienna: unknown, 1992. p. 1255-1261. ISBN: 981-02-1992-X. Detail

ZENDULKA, J. Synchronní simulace na osobním počítači. Konferencia MIKROSYSTÉM'92. Bratislava: neznámá, 1992. s. 159-162. ISBN: 80-233-0255-8. Detail

ZENDULKA, J. VHDL-standard pro popis a simulaci elektronických systémů. Vybrané problémy simulačních modelů. Ostrava: neznámá, 1992. s. 35-38. ISBN: 80-901229-2-2. Detail

1991

DVOŘÁK, V. CAD tools for VLSI. Bari: 1991. p. 0-0. Detail

EYSSELT, M. The Mathematical Logic and Calculations of the Reliability. 1991, vol. 1991, no. 1, p. 151-158. ISSN: 0524-7462. Detail

HORVÁTH, P.; LINHART, M. Periférne zariadenia číslicových počítačov. neznámá, 1991. 296 s. ISBN: 80-05-00813-9. Detail

1990

EYSSELT, M. Časové vyhodnocení tří algoritmů násobení. Knižnice vědeckých prací VUT Brno, 1990, roč. 1990, č. 130, s. 225-237. ISSN: 0368-6582. Detail

EYSSELT, M. Studie návrhu řezu aritmeticko logické jednotky. Knižnice vědeckých prací VUT Brno, 1990, roč. 1990, č. 130, s. 213-223. ISSN: 0368-6582. Detail

FABIAN, P.; LINHART, M.; ZELEM, J. Some results gained from the experients with the LOPOS simulation model. Systems Science, 1990, vol. 16, no. 2, p. 39-52. ISSN: 0137-1223. Detail

1989

EYSSELT, M. Využití jednooperačních souborů logických členů pro návrh optimalizovaných třístupňových logických sítí. Knižnice odborných a vědeckých spisů VUT Brno, svazek B-123. 30. srpna, Brno: Vysoké učení technické v Brně, 1989. s. 209-212. ISBN: 80-214-0009-4. Detail

EYSSELT, M. Doplněk k návrhu optimalizovaných logických sítí z logických členů NAND nebo NOR. Knižnice vědeckých prací VUT Brno, 1989, roč. 1990, č. 129, s. 185-191. ISSN: 0368-6582. Detail

1984

BLATNÝ, J.; ZENDULKA, J.; HRUŠKA, T.; EYSSELT, M. Simulační systém SFDL/SCL. In Knižnice odborných a vědeckých spisů VUT Brno, svazek A-26. Brno: Vysoké učení technické v Brně, 1984. s. 81-98. Detail

EYSSELT, M. Modulový řez dvojkové děličky: AO 233922. Úřad pro objevy a vynálezy, Praha: neznámá, 1984. s. 0-0. Detail

EYSSELT, M. Paměťový modul pro řadiče s překrýváním výběrové a prováděcí fáze mikroinstrukcí: AO 236710. Úřad pro objevy a vynálezy, Praha: neznámá, 1984. s. 0-0. Detail

EYSSELT, M. Dělení technickými prostředky. In Knižnice odborných a vědeckých spisů VUT Brno, svazek A-26. Brno: Vysoké učení technické v Brně, 1984. s. 177-186. Detail