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

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

2006

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

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

2004

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

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

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

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.; 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. 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

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

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.; 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. 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.; 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.; 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

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.; 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

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

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