Supercomputing Technologies Research Group SC@FIT
Publications
-
2024
OLŠÁK Ondřej and JAROŠ Jiří. 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, pp. 107-113. ISBN 979-8-4007-0815-2.
DetailJAROŠ Jiří, JAROŠ Marta and BUCHTA Martin. 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, pp. 1-8. ISBN 979-8-3503-0836-5.
DetailOLŠÁK Ondřej and JAROŠ Jiří. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. In: HPDC '24: Proceedings of the 33nd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024, pp. 361-363. ISBN 979-8-4007-0413-0.
DetailJAROŠ Jiří and JAROŠ Marta. k-Dispatch: Enabling Cost-Optimized Biomedical Workflow Offloading. In: HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024, pp. 358-360. ISBN 979-8-4007-0413-0.
DetailOLŠÁK Ondřej and JAROŠ Jiří. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. Soláň, 2024.
DetailJAROŠ Jiří and DUCHOŇ Radek. Acceleration of Ultrasound Neurostimulation Using Mixed-Precision Arithmetic. In: HPDC '24: Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing. New York: Association for Computing Machinery, 2024, pp. 370-372. ISBN 979-8-4007-0413-0.
DetailJAROŠ Jiří and BAYER David. afft: a C++17 wrapper library for FFT-like computations on various targets. Soláň, 2024.
Detail -
2023
JAROŠ Marta and JAROŠ Jiří. 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, vol. 13592. Virtual Event: Springer Nature Switzerland AG, 2023, pp. 152-171. ISBN 978-3-031-22697-7.
DetailCHLEBÍK Jakub and JAROŠ Jiří. 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. ISBN 979-8-4007-0120-7.
DetailOLŠÁK Ondřej, JAROŠ Marta and JAROŠ Jiří. System for managing HPC-services and workflow executions. Ostrava, 2023.
Detail -
2022
AUBRY Jean-Francois, BATES Oscar, BOEHM Christian, PAULY Kim Butts, CHRISTENSEN Douglas, CUETO Carlos, GÉLAT Pierre, GUASCH Lluis, JAROŠ Jiří, JING Yun, JONES Rebecca, LI Ningrui, MARTY Patrick, MONTANARO Hazael, NEUFELD Esra, PICHARDO Samuel, PINTON Gianmarco, PULKKINEN Aki, STANZIOLA Antonio, THIELSCHER Axel, TREEBY Bradley E. and VAN 't Wout Elwin. Benchmark problems for transcranial ultrasound simulation: Intercomparison of compressional wave models. Journal of the Acoustical Society of America, vol. 152, no. 2, 2022, pp. 1003-1019. ISSN 1520-8524.
DetailJAROŠ Marta and JAROŠ Jiří. k-Dispatch's Performance Modules for Advanced Workflow Submission. Soláň, 2022.
DetailJAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. k-Plan: from the Hospital to the Cluster and back. Ostrava, 2022.
DetailOLŠÁK Ondřej and JAROŠ Jiří. Comparison of SpFFT and FFTW3 library. Soláň, 2022.
DetailOLŠÁK Ondřej and JAROŠ Jiří. Evaluation of libraries for the one-dimensional sparse Fourier transform. Ostrava, 2022.
Detail -
2021
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. 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, pp. 99-115. ISBN 978-3-030-67076-4.
DetailJAROŠ Marta, SASÁK Tomáš, TREEBY Bradley E. and JAROŠ Jiří. 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, pp. 116-134. ISBN 978-3-030-67076-4.
DetailJAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. The Platform for Advanced Scientific Computing (PASC) Conference 2021. Geneva, 2021.
DetailWISE Elliott S., JAROŠ Jiří, COX Ben T. and TREEBY Bradley E. Pseudospectral Time-Domain (PSTD) Methods for the Wave Equation: Realizing Boundary Conditions with Discrete Sine and Cosine Transforms. Journal of Theoretical and Computational Acoustics, vol. 29, no. 4, 2021, pp. 2050021-2050021. ISSN 2591-7285.
DetailJAROŠ Marta and JAROŠ Jiří. Performance-Cost Optimization of Moldable Scientific Workflows. In: Job Scheduling Strategies for Parallel Processing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Portland, Oregon USA: Springer International Publishing, 2021, pp. 149-167. ISBN 978-3-030-88223-5. ISSN 0302-9743.
DetailPHAM Khoa, NOIMARK Sacha, HUYNH Nam, ZHANG Edward, KUKLIŠ Filip, JAROŠ Jiří, DESJARDINS Adrien, COX Ben T. and BEARD Paul. Broadband all-optical plane-wave ultrasound imaging system based on a Fabry-Perot scanner. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, vol. 68, no. 4, 2021, pp. 1007-1016. ISSN 1525-8955.
DetailCHLEBÍK Jakub and JAROŠ Jiří. 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. ISBN 978-1-4503-8351-6.
DetailCHLEBÍK Jakub and JAROŠ Jiří. 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, pp. 2203-2208. ISBN 978-1-6654-4207-7.
DetailJAROŠ Marta and JAROŠ Jiří. k-Dispatch's Performance Modules for Advanced Workflow Submission. 5th Users' Conference of IT4Innovations. Ostrava, 2021.
DetailJAROŠ Jiří. Handling C++ Exceptions in MPI Applications. The International Conference for High Performance Computing, Networking, Storage, and Analysis. St. Louis, MO, USA, 2021.
Detail -
2020
MARTIN Eleanor, JAROŠ Jiří and TREEBY Bradley E. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, vol. 67, no. 1, 2020, pp. 81-91. ISSN 1525-8955.
DetailKUKLIŠ Filip, JAROŠ Marta and JAROŠ Jiří. 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), vol. 12104. Cham: Springer International Publishing, 2020, pp. 463-478. ISBN 978-3-030-43721-3.
DetailVAVERKA Filip, MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and SEKANINA Lukáš. 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, pp. 294-297. ISBN 978-3-9819263-4-7.
DetailJAROŠ Marta, TREEBY Bradley E., GEORGIOU Panayiotis and JAROŠ Jiří. 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, pp. 1-10. ISBN 978-1-4503-7993-9.
DetailTREEBY Bradley E., WISE Elliott S., KUKLIŠ Filip, JAROŠ Jiří and COX Ben T. Nonlinear ultrasound simulation in an axisymmetric coordinate system using a k-space pseudospectral method. Journal of the Acoustical Society of America, vol. 148, no. 4, 2020, pp. 2288-2300. ISSN 1520-8524.
DetailJAROŠ Marta, KLUSÁČEK Dalibor and JAROŠ Jiří. 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), vol. 12326. New Orleans: Springer Nature Switzerland AG, 2020, pp. 68-84. ISBN 978-3-030-63170-3.
Detail -
2019
WISE Elliott S., COX Ben T., JAROŠ Jiří and TREEBY Bradley E. Representing arbitrary acoustic source and sensor distributions in Fourier collocation methods. Journal of the Acoustical Society of America, vol. 146, no. 1, 2019, pp. 278-288. ISSN 1520-8524.
DetailVAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. 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, vol. 11538. Faro: Springer International Publishing, 2019, pp. 577-590. ISBN 978-3-030-22743-2.
DetailTREEBY Bradley E., JAROŠ Jiří, MARTIN Eleanor and COX Ben T. From Biology to Bytes: Predicting the Path of Ultrasound Waves Through the Human Body. Acoustics Today, vol. 15, no. 2, 2019, pp. 36-44. ISSN 1557-0223.
DetailJAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Scientific workflow management framework. Soláň, 2019.
DetailJAROŠ Marta. Adaptive Execution Planning in Workflow Management Systems. In: Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019, pp. 23-26. ISBN 978-80-88214-20-5.
DetailBORDOVSKÝ Gabriel and JAROŠ Jiří. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň, 2019.
DetailVAVERKA Filip. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. In: PAD 2019. Doksy: Academic and Medical Conference Agency, 2019, pp. 64-67. ISBN 978-80-88214-20-5.
DetailKUKLIŠ Filip. Optimization of Evolutionary Strategy using Island Model to Design HIFU Treatment Plans. In: Sborník semináře PAD 2019. Doksy: Academic and Medical Conference Agency, 2019, pp. 5-8. ISBN 978-80-88214-20-5.
DetailJAROŠ Marta, JAROŠ Jiří and TREEBY Bradley E. Adaptive Execution Planning in Workflow Management Systems. Denver, 2019.
DetailJAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava, 2019.
DetailBORDOVSKÝ Gabriel. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava, 2019.
DetailVAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Advancements in Ultrasound Simulations Enabled by High-bandwidth GPU Interconnects. Denver, 2019.
Detail -
2018
SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. and CLEVELAND Robin. Full modelling of high-intensity focused ultrasound and thermal heating in the kidney of realistic patient models. IEEE Transactions on Biomedical Engineering, vol. 65, no. 11, 2018, pp. 2660-2670. ISSN 0018-9294.
DetailTREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. Journal of the Acoustical Society of America, vol. 143, no. 1, 2018, pp. 529-537. ISSN 1520-8524.
DetailKLEPÁRNÍK Petr, ZEMČÍK Pavel and JAROŠ Jiří. 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, pp. 232-237. ISBN 978-1-5386-4662-5.
DetailKADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. 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, pp. 188-195. ISBN 978-1-5386-7878-7.
DetailSUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida and BLANCO Roberto. 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, pp. 5701-5704. ISBN 978-1-5386-3646-6.
DetailČUDOVÁ Marta, TREEBY Bradley E. and JAROŠ Jiří. 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, pp. 1568-1575. ISBN 978-1-4503-5764-7.
DetailSUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, MAKELA Pietari, ANTTINEN Mikael, SAUNAVAARA Jani, SAINIO Teija, KIVINIEMI Aida and BLANCO Roberto. Transurethral ultrasound therapy of the prostate in the presence of calcifications: a simulation study. Medical Physics, vol. 45, no. 11, 2018, pp. 4793-4805. ISSN 0094-2405.
DetailKLEPÁRNÍK Petr, BAŘINA David, ZEMČÍK Pavel and JAROŠ Jiří. Efficient Low-Resource Compression of HIFU Data. Information, vol. 9, no. 7, 2018, pp. 1-14. ISSN 2078-2489.
DetailJAROŠ Marta. Scientific Workflows Management. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018, pp. 25-28. ISBN 978-80-261-0814-6.
DetailBORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018, pp. 49-52. ISBN 978-80-261-0814-6.
DetailKADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main, 2018.
DetailTREEBY Bradley E., VAVERKA Filip and JAROŠ Jiří. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics, vol. 34, no. 1, 2018, pp. 1-5. ISSN 1939-800X.
DetailDANTUMA Maura, LUCKA Felix, TREEBY Bradley E., JAROŠ Jiří, COX Ben T. and MANOHAR Srirang. Signal Frequency Content and Appearance of Tumors in Photoacoustic Breast Tomography: A Simulation. Caparica, 2018.
DetailKOZUBEK Tomáš, ČERMÁK Martin, TICHÝ Petr, BLAHETA Radim, ŠÍSTEK Jakub, LUKÁŠ Dalibor and JAROŠ Jiří, ed. HPCSE: 3rd International Conference on High Performance Computing in Science and Engineering. Lecture Notes in Computer Science, vol. 11087. Cham: Springer International Publishing, 2018. ISBN 978-3-319-97135-3.
DetailBORDOVSKÝ Gabriel, COX Ben T. and JAROŠ Jiří. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava, 2018.
DetailVAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava, 2018.
DetailKADLUBIAK Kristián, TREEBY Bradley E. and JAROŠ Jiří. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava, 2018.
DetailJAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava, 2018.
DetailVAVERKA Filip, ŠPEŤKO Matej, TREEBY Bradley E. and JAROŠ Jiří. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas, 2018.
Detail -
2017
ROBERTSON James L., COX Ben T., JAROŠ Jiří and TREEBY Bradley E. Accurate simulation of transcranial ultrasound propagation for ultrasonic neuromodulation and stimulation. Journal of the Acoustical Society of America, vol. 141, no. 3, 2017, pp. 1726-1738. ISSN 1520-8524.
DetailAHMED Hashim U., SHAH Taimur T., GEORGIOU Panayiotis, JAROŠ Jiří, PAYNE Heather, ALLEN Clare, GIBSON Eli, BARRATT Dean and TREEBY Bradley E. Beam Distortion Due to Gold Fiducial Markers During Salvage High-Intensity Focused Ultrasound in the Prostate. Medical Physics, vol. 44, no. 2, 2017, pp. 679-693. ISSN 0094-2405.
DetailNIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří and KELEČÉNI Jakub. 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, vol. 10266. Cham: Springer International Publishing, 2017, pp. 377-393. ISBN 978-3-319-58666-3.
DetailJAROŠ Jiří, TREEBY Bradley E. and ROBERTSON James L. Convergence Testing of a k-space Pseudospectral Scheme for Transcranial Time-reversal Focusing. Supercomputing in Science and Engineering. Ostrava: VŠB-Technical University of Ostrava - IT4I, 2017, pp. 195-197. ISBN 978-80-248-4037-6.
DetailJAROŠ Jiří, TREEBY Bradley E. and GEORGIOU Panayiotis. Modelling Beam Distortion during Focused Ultrasound Surgery in the Prostate using k-Wave. Supercomputing in Science and Engineering. Ostrava: VŠB-Technical University of Ostrava - IT4I, 2017, pp. 205-207. ISBN 978-80-248-4037-6.
DetailČUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017, pp. 20-23. ISBN 978-80-972784-0-3.
DetailJAROŠ Jiří. High Performance Computing in Ultrasound Cancer Treatment. Brno, 2017.
DetailVAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver, 2017.
DetailVAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava, 2017.
DetailBORDOVSKÝ Gabriel and JAROŠ Jiří. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava, 2017.
DetailTREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava, 2017.
DetailČUDOVÁ Marta and JAROŠ Jiří. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava, 2017.
Detail -
2016
JAROŠ Jiří, RENDELL Alistair P. and TREEBY Bradley E. Full-wave nonlinear ultrasound simulation on distributed clusters with applications in high-intensity focused ultrasound. International Journal of High Performance Computing Applications, vol. 30, no. 2, 2016, pp. 137-155. ISSN 1741-2846.
DetailMERTA Michal, ZAPLETAL Jan and JAROŠ Jiří. Many Core Acceleration of the Boundary Element Method. In: Proceedings of High Performance Computing in Science and Engineering. Lecture Notes in Computer Science, vol. 9611. Basel: Springer International Publishing, 2016, pp. 116-125. ISBN 978-3-319-40360-1.
DetailBROWN Michael D., JAROŠ Jiří, COX Ben T. and TREEBY Bradley E. Control of Broadband Optically Generated Ultrasound Pulses Using Binary Amplitude Holograms. Journal of the Acoustical Society of America, vol. 139, no. 4, 2016, pp. 1637-1647. ISSN 1520-8524.
DetailTREEBY Bradley E., JAROŠ Jiří and COX Ben T. 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, vol. 9708. San Francisco: SPIE - the international society for optics and photonics, 2016, pp. 1-14. ISBN 978-1-62841-942-9.
DetailJAROŠ Jiří, VAVERKA Filip and TREEBY Bradley E. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. Supercomputing Frontiers and Innovations, vol. 3, no. 3, 2016, pp. 40-55. ISSN 2313-8734.
DetailVAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Acceleration of Ultrasound Wave Propagation using a Cluster of GPUs. Frankfurt am Main, 2016.
DetailSUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. and CLEVELAND Robin. 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, pp. 5648-5651. ISBN 978-1-4577-0220-4.
DetailVAVERKA Filip. Case Study on Multi-domain Decomposition of k-Wave Simulation Framework. In: Computer achitectures and diagnostics 2016. Brno: Faculty of Information Technology BUT, 2016, pp. 37-40. ISBN 978-80-214-5376-0.
DetailNIKL Vojtěch. High Performance Computing on Low Power Devices. In: Computer achitectures and diagnostics 2016. Brno: Faculty of Information Technology BUT, 2016, pp. 81-84. ISBN 978-80-214-5376-0.
DetailJAROŠ Jiří, VAVERKA Filip and TREEBY Bradley E. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. Salt Lake City, 2016.
Detail -
2015
DVOŘÁK Václav and MIKUŠEK Petr. Memory-Based Logic Control for Embedded Systems. Lecture Notes in Electrical Engineering, vol. 325, no. 1, 2015, pp. 367-379. ISSN 1876-1100.
DetailGROEN Derek, CHACRA David A., NASH Rupert W., JAROŠ Jiří, BERNABEU Miguel O. and COVENEY Peter V. 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, vol. 8759. Stockholm: Springer Verlag, 2015, pp. 28-38. ISBN 978-3-319-15975-1.
DetailJAROŠ Jiří, NIKL Vojtěch and TREEBY Bradley E. Large-scale Ultrasound Simulations Using the Hybrid OpenMP/MPI Decomposition. In: Proceedings of the 3rd International Conference on Exascale Applications and Software. Edinburgh: Association for Computing Machinery, 2015, pp. 115-119. ISBN 978-0-9926615-1-9.
DetailJAROŠ Jiří, MAREK Jan and MENŠÍK Pavel. 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, pp. 1727-1734. ISBN 978-1-4799-7560-0.
DetailNIKL Vojtěch. High Performance Computing on Low Power Devices. In: Počítačové architektury a diagnostika 2015. Zlín: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 37-41. ISBN 978-80-7454-522-1.
DetailJAROŠ Jiří, DOHNAL Matěj and TREEBY Bradley E. Large-scale Ultrasound Simulations with Local Fourier Basis Decomposition. The International Conference for High Performance Computing, Networking, Storage Analysis, SC15. Austin, 2015.
Detail -
2014
ZÁŇ Drahoslav and JAROŠ Jiří. 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, pp. 2933-2939. ISBN 978-1-4799-1488-3.
DetailJAROŠ Jiří and TYRALA Radek. 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, pp. 1023-1030. ISBN 978-1-4503-2662-9.
DetailNIKL Vojtěch and JAROŠ Jiří. 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, vol. 8934. Heidelberg: Springer International Publishing, 2014, pp. 100-112. ISBN 978-3-319-14895-3.
DetailTREEBY Bradley E., JAROŠ Jiří, ROHRBACH Daniel and COX Ben T. 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, pp. 146-149. ISBN 978-1-4799-7049-0.
Detail -
2013
DVOŘÁK Václav and MIKUŠEK Petr. Easily Reprogrammable Embedded Logic Control. In: Proceedings of ICINCO 2013, Vol.1. Lisbon: SciTePress - Science and Technology Publications, 2013, pp. 471-476. ISBN 978-989-8565-70-9.
Detail -
2012
DVOŘÁK Václav. On the Complexity and Optimization of Branching Programs for Decision Diagram Machines. In: Programmable Devices and Embedded Systems PDeS 2012. Brno: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 84-89. ISBN 978-3-902823-21-2. ISSN 1474-6670.
DetailJAROŠ Jiří and POSPÍCHAL Petr. A Fair Comparison of Modern CPUs and GPUs Running the Genetic Algorithm under the Knapsack Benchmark. Lecture Notes in Computer Science, vol. 2012, no. 7248, pp. 426-435. ISSN 0302-9743.
DetailJAROŠ Jiří. 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, pp. 217-224. ISBN 978-1-4673-1508-1.
DetailRŮŽIČKA Richard and ŠIMEK Václav. Polymeric Polymorphic Electronics: Towards Multifunctional Logic Elements Based on Organic Semiconductor Materials. In: 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, pp. 154-161. ISBN 978-80-8143-049-7.
Detail -
2011
JAROŠ Jiří and DVOŘÁK Václav. Optimizing Collective Communications on the K-port Spidergon Network. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 24-29. ISBN 978-1-61208-002-4.
DetailDVOŘÁK Václav and JAROŠ Jiří. A Programmable Interconnection Network for Multiple Communication Patterns. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011, pp. 6-11. ISBN 978-1-61208-002-4.
DetailDVOŘÁK Václav and MIKUŠEK Petr. On the cascade realization of sparse logic functions. In: Euromicro Proceedings. Oulu: IEEE Computer Society, 2011, pp. 21-28. ISBN 978-0-7695-4494-6.
DetailMIKUŠEK Petr, TOMEC Martin and DVOŘÁK Václav. A Cascade Decomposition of Application-Specific Systems. In: MEMICS Proc.. Brno: Brno University of Technology, 2011, pp. 78-85. ISBN 978-80-214-4305-1.
Detail -
2010
DVOŘÁK Václav and JAROŠ Jiří. Optimizing Collective Communications on 2D-Mesh and Fat Tree NoC. In: 9th International Conference on Networks, ICN 2010. Piscataway, NJ: IEEE Computer Society, 2010, pp. 22-27. ISBN 978-0-7695-3979-9.
DetailKOŘENEK Jan and PUŠ Viktor. Memory Optimization for Packet Classification Algorithms in FPGA. In: Proceedings of the 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Vídeň: IEEE Computer Society, 2010, pp. 297-300. ISBN 978-1-4244-6610-8.
DetailDVOŘÁK Václav. Multi-Terminal BDDs in Microprocessor-Based Control. In: Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010, pp. 140-145. ISBN 978-989-8425-02-7.
DetailJAROŠ Jiří and DVOŘÁK Václav. 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, pp. 1171-1178. ISBN 978-1-4503-0072-8.
DetailDVOŘÁK Václav and MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, vol. 16, no. 14, 2010, pp. 1826-1852. ISSN 0948-6968.
DetailJAROŠ Jiří. Evolutionary Design of Collective Communications on Wormhole Networks. Brno: Publishing house of Brno University of Technology VUTIUM, 2010. ISBN 978-80-214-4208-5.
Detail -
2009
JAROŠ Jiří. Evolutionary Optimization of Multistage Interconnection Networks Performance. In: Proceeding of Genetic and Evolutionary Computation Conference, GECCO 2009. New York: Association for Computing Machinery, 2009, pp. 1537-1544. ISBN 978-1-60558-325-9.
DetailMIKUŠEK Petr and DVOŘÁK Václav. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, pp. 605-608. ISBN 978-0-7695-3782-5.
DetailMIKUŠEK Petr. Multi-Terminal BDD Synthesis and Applications. In: Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL). Prague: IEEE Computer Society, 2009, pp. 721-722. ISBN 978-1-4244-3892-1.
DetailMIKUŠEK Petr. Dekompoziční techniky pro aplikačně specifické systémy. In: Počítačové architektury a diagnostika 2009. Zlín: Tomas Bata University in Zlín, 2009, pp. 118-123. ISBN 978-80-7318-847-4.
DetailDVOŘÁK Václav and MIKUŠEK Petr. Firmware Optimization for Embedded Logic Control. IFAC-PapersOnLine, vol. 2009, no. 1, pp. 109-114. ISBN 978-3-902661-69-2. ISSN 1474-6670.
DetailMIKUŠEK Petr and DVOŘÁK Václav. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009, pp. 235-235. ISBN 978-80-87342-04-6.
DetailKOŘENEK Jan and PUŠ Viktor. Memory Optimization for Packet Classification Algorithms. In: 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, pp. 165-166. ISBN 978-1-60558-630-4.
Detail -
2008
DVOŘÁK Václav. Implementation of Combinational and Sequential Functions in Embedded Firmware. International Journal of Software Engineering and Its Applications, vol. 2, no. 1, 2008, pp. 43-54. ISSN 1738-9984.
DetailDVOŘÁK Václav. Communication Performance of Mesh- and Ring-Based NoCs. In: Proceedings of the 7th Int. Conference on Networking. New York: IEEE Computer Society, 2008, pp. 156-161. ISBN 978-0-7695-3106-9.
DetailDVOŘÁK Václav. Embedded Firmware Development with Multi-Way Branching. In: Proc. of the 3rd Int. Coference on Systems. New York: IEEE Computer Society, 2008, pp. 317-322. ISBN 978-0-7695-3105-2.
DetailMIKUŠEK Petr and DVOŘÁK Václav. On Lookup Table Cascade-Based Realizations of Arbiters. In: 11th EUROMICRO Conference on Digital System Design DSD 2008. Parma: IEEE Computer Society, 2008, pp. 795-802. ISBN 978-0-7695-3277-6.
DetailJAROŠ Jiří and DVOŘÁK Václav. 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, pp. 1539-1546. ISBN 978-1-60558-131-6.
DetailJAROŠ Jiří. Evolutionary Design of Fault Tolerant Collective Communications. In: Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science, vol. 5216. Berlin: Springer Verlag, 2008, pp. 261-272. ISBN 978-3-540-85856-0.
DetailŠIMEK Václav. GPU Acceleration of 2D-DWT Image Compression in MATLAB with CUDA. In: Proceedings 2nd UKSim European Symposium on Computer Modelling and Simulation. Liverpool: IEEE Computer Society, 2008, pp. 274-277. ISBN 978-0-7695-3325-4.
DetailŠIMEK Václav. Identifying the Interesting Points in Geometrical Figures of Certain Class. In: Proceedings 8th International Scientific Conference on Computers Science and Engineering. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2008, pp. 373-382. ISBN 978-80-8086-092-9.
DetailOHLÍDAL Miloš. Evolutionary design of collective communication based on prediction of conflicts in interconnection networks. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3597-1.
DetailJAROŠ Jiří and SCHWARZ Josef. Evolutionary Design of Wormhole Switched Collective Communications. In: Proceedings of Junior Scientist Conference 2008. Vienna: Technical University Wien, 2008, p. 2. ISBN 978-3-200-01612-5.
DetailDVOŘÁK Václav and MIKUŠEK Petr. LUT Cascade-Based Implementations of Allocators. In: Proc. of the 25th Convention of EEE in Israel. New York: IEEE Computer Society, 2008, pp. 85-89. ISBN 978-1-4244-2482-5.
DetailMIKUŠEK Petr and DVOŘÁK Václav. On Lookup Table Cascade-Based Realizations of Arbiters. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008, pp. 261-261. ISBN 978-80-7355-082-0.
Detail -
2007
DVOŘÁK Václav. Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. In: Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2007, pp. 178-185. ISBN 0-7695-2772-8.
DetailBRYAN Luděk. A Set of Definitions for Working with Spatial Filters. In: Proceedings of the 13th Conference STUDENT EEICT 2007 Volume 4. Brno: Brno University of Technology, 2007, pp. 430-434. ISBN 80-214-3410-4.
DetailDVOŘÁK Václav, JAROŠ Jiří and OHLÍDAL Miloš. Optimum Topology-Aware Scheduling of Collective Communications. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, pp. 1-6. ISBN 0-7695-2805-8.
DetailDVOŘÁK Václav. Space-Time Trade-offs in SW Evaluation of Boolean Functions. In: Proceedings of The Second International Conference on Systems. New York: IEEE Computer Society, 2007, p. 6. ISBN 0-7695-2807-4.
DetailJAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. An Evolutionary Approach to Collective Communication Scheduling. In: 2007 Genetic and Evolutionary Computation Conference. Volume II. New York: Association for Computing Machinery, 2007, pp. 2037-2044. ISBN 978-1-59593-697-4.
DetailŠIMEK Václav. On Selected Methods for Hyperspectral Data Compression. In: Proceedings of the 13th Conference STUDENT EEICT 2007 Volume 4. Brno: Brno University of Technology, 2007, pp. 462-466. ISBN 978-80-214-3410-3.
DetailBRYAN Luděk and FUČÍK Otto. FPGA Implementation of a Reconfigurable License Plate Detection Method. In: Proceedings of the 2007 Engineering of Reconfigurable Systems and Algorithms. CSREA Press. Las Vegas, NV: Penn State Erie, The Behrend College, 2007, pp. 1-4. ISBN 1-60132-026-4.
DetailDVOŘÁK Václav. LUT Cascade-Based Architectures for High Productivity Embedded Systems. International Review on Computers and Software, vol. 2, no. 4, 2007, pp. 357-365. ISSN 1828-600X.
DetailDVOŘÁK Václav. Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. Journal of Software, vol. 2, no. 5, 2007, pp. 52-63. ISSN 1796-217X.
DetailDVOŘÁK Václav. Implementation of Combinational and Sequential Functions in Embedded Firmware. In: Proceedings of the 2007 International Conference on Intelligent Pervasive Computing (IPC-07). Los Alamitos, California: IEEE Computer Society, 2007, pp. 80-85. ISBN 978-0-7695-3006-2.
DetailDRÁBEK Vladimír. The Evolution of Graphical Processors. In: 6th Electronic Circuits and Systems Conference (ECS 2007). Bratislava: Faculty of Informatics and Information Technology Slovak University of Technology in Bratislava, 2007, pp. 97-102. ISBN 978-80-227-2697-9.
DetailDRÁBEK Vladimír. Hardware Unit for Motion Estimation. In: Electronic Devices and Systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 17-21. ISBN 978-80-214-3470-7.
DetailŠIMEK Václav. Medical Data Compression. In: Počítačové architektury a diagnostika. Plzeň: University of West Bohemia in Pilsen, 2007, pp. 143-148. ISBN 978-80-7043-605-9.
DetailJAROŠ Jiří. Optimalizace kolektivních komunikací na wormhole propojovacích sítích. In: Sborník příspěvků semináře Počítačové architektury a diagnostika pro studenty doktorského studia. Plzeň: University of West Bohemia in Pilsen, 2007, p. 6. ISBN 987-80-7043-605-9.
Detail -
2006
OHLÍDAL Miloš, JAROŠ Jiří, DVOŘÁK Václav and SCHWARZ Josef. Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks. In: EvoStar 2006. Lecture Notes in Computer Science, vol. 3907. Berlin: Springer Verlag, 2006, pp. 267-278. ISBN 978-3-540-33237-4.
DetailJAROŠ Jiří and DVOŘÁK Václav. 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, pp. 222-223. ISBN 1-4244-0184-4.
DetailOHLÍDAL Miloš and SCHWARZ Josef. Collective Communication AAB for Regular and Irregular Topology Based on Prediction of Conflicts. In: Proc. of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006, pp. 224-225. ISBN 1-4244-0184-4.
DetailOHLÍDAL Miloš, JAROŠ Jiří and DVOŘÁK Václav. 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, pp. 619-624. ISBN 0-7695-2570-9.
DetailJAROŠ Jiří. Evoluční optimalizace skupinových komunikačních vzorů. In: Zborník príspevkouv pracovného semináre Počítačové architektúry a diagnostika pre studenty doktorského štúdia. Bratislava: Institute of Informatics, Slovak Academy of Sciences, 2006, pp. 31-36. ISBN 80-969202-2-7.
DetailJAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. 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, pp. 127-132. ISBN 0-7695-2554-7.
DetailOHLÍDAL Miloš. Plánování skupinové komunikace All-to-All Broadcast pomocí predikce konfliktů v propojovacích sítích. In: Zborník príspevkouv pracovného semináre Počítačové architektúry a diagnostika pre studenty doktorského štúdia. Bratislava: Institute of Informatics, Slovak Academy of Sciences, 2006, pp. 25-30. ISBN 80-969202-2-7.
DetailJAROŠ Jiří and DVOŘÁK Václav. 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, pp. 63-68. ISBN 80-214-3287-X.
DetailŠIMEK Václav and POKORNÝ Petr. Communication of sensor modules. In: Proceedings of the 12th konference Student EEICT 2006. Volume II. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 56-58. ISBN 80-214-3161-X.
Detail -
2005
DVOŘÁK Václav. Reconfigurability of the Interconnect Architecture for Chip Multiprocessors. In: Proceedigns of the 4th International Symposium on Information and Communication Technologies. ACM International Conference Proceedings Series. Dublin: Computer Science Press, 2005, pp. 136-141. ISBN 0-9544145-6-X.
DetailKUTÁLEK Vladimír and DVOŘÁK Václav. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science, vol. 11, no. 6, 2005, pp. 944-961. ISSN 0948-6968.
DetailDVOŘÁK Václav. Scheduling Collective Communications on Wormhole Fat Cubes. In: Proc. of the 17th International Symposium on Computer Architecture and High Performance Computing. Los Alamitos: IEEE Computer Society, 2005, pp. 27-34. ISBN 0-7695-2446-X.
DetailDRÁBEK Vladimír and KOTÁSEK Zdeněk. Handbook of Testing Electronic Systems. Handbook of Testing Electronic Systems. Praha: Czech Technical University Publishing House, 2005, pp. 235-243. ISBN 80-01-03318-X.
Detail -
2004
DVOŘÁK Václav, ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 9, no. 11, 2004, pp. 1258-1260. ISSN 0948-6968.
DetailSTAROBA Jiří and DVOŘÁK Václav. Design of Low-Cost Communication Algorithms for Irregular Networks. In: Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004, pp. 980-985. ISBN 0-86341-325-0.
DetailDVOŘÁK Václav and ŠVÉDA Miroslav, ed. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, CA: IEEE Computer Society, 2004. ISBN 0-7695-2125-8.
DetailDVOŘÁK Václav. Optimizing Communication Architectures for Parallel Embedded Systems. Design of Embedded Control Systems. Berlin: Springer Verlag, 2004, pp. 225-234. ISBN 0-387-23630-9.
DetailDVOŘÁK Václav. Architektury a programování paralelních systémů. Brno: Publishing house of Brno University of Technology VUTIUM, 2004. ISBN 80-214-2608-X.
DetailKUTÁLEK Vladimír. Modelování a predikce výkonnosti aplikačně-specifických multiprocesorových systémů. In: Počítačové architektúry & diagnostika PAD 2004. Bratislava: Slovak Academy of Science, 2004, pp. 132-137. ISBN 80-969202-0-0.
Detail -
2003
KUTÁLEK Vladimír and DVOŘÁK Václav. A multi-protocol cache controller. In: IFAC Workshop on Programmable devices and systems - PDS 2003. Ostrava: VŠB - Technical University of Ostrava, 2003, pp. 220-225. ISBN 0-08-044130-0.
DetailŠVÉDA Miroslav. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, pp. 49-54. ISBN 0-08-044130-0.
DetailSLLAME Azeddien M. A Pipeline Scheduling Algorithm for High-Level Synthesis. In: Proc. of IFAC Workshop on Programmable Devices and Systems Conference. Ostrava: Elsevier Science, 2003, pp. 178-183. ISBN 0-08-044130-0.
DetailŠVÉDA Miroslav. Rapid Prototyping of Networked Embedded Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 125-132. ISBN 0-7695-1917-2.
DetailŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 169-172. ISBN 0-7695-1917-2.
DetailRATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. ISBN 1-85769-189X.
DetailKOTÁSEK Zdeněk, MIKA Daniel and STRNADEL Josef. Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. In: Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Poznaň: Publishing House of Poznan University of Technology, 2003, pp. 233-238. ISBN 83-7143-557-6.
DetailSEKANINA Lukáš and RŮŽIČKA Richard. On the Automatic Design of Testable Circuits. In: Proceedings of IEEE Workshop on Design nad Diagnostics of Electronic Circuits and Systems. Poznań: Publishing House of Poznan University of Technology, 2003, pp. 299-300. ISBN 83-7143-557-6.
DetailMIKA Daniel. The Test Controller Design Based on I-Path Concept. In: Proceedings of 9th Conference and Competition STUDENT EEICT 2003 Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 624-628. ISBN 80-214-2379-X.
DetailMIKA Daniel and KOTÁSEK Zdeněk. The Test Controller Model Based on The Timed Automaton. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 107-114. ISBN 80-85988-86-0.
DetailSTRNADEL Josef. Scan Layout Encoding by Means of a Binary String. In: Proceedings of 37th International Conference on Modelling and Simulation of Systems. Ostrava, 2003, pp. 115-122. ISBN 80-85988-86-0.
DetailOČENÁŠEK Jiří, SCHWARZ Josef and PELIKÁN Martin. Design of Multithreaded Estimation of Distribution Algorithms. In: Procceedings of GECCO 2003, USA. Chicago: Kluwer Verlag, 2003, pp. 1247-1258. ISBN 3-540-40-603-4.
DetailSTAROBA Jiří. Collective Communication Scheduling for Parallel Computers. In: Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 65-70. ISBN 80-85988-86-0.
DetailBUREŠ František. Selected Methods of Specification and Verification of Industriall Application. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 614-618. ISBN 80-214-2379-X.
DetailRŮŽIČKA Richard and ZBOŘIL František. Representation of Datapath Structure in Predicate Logic and its Implementation in Prolog. In: Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003, pp. 727-730. ISBN 80-7099-509-2.
DetailKOTÁSEK Zdeněk, TUPEC Pavel and URBIŠ Hynek. Testing PCBs Based on Boundary Scan. In: Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003, pp. 119-122. ISBN 80-7099-509-2.
DetailKOTÁSEK Zdeněk and URBIŠ Hynek. USB-to-IDE Adapter Design and Implementation. In: 6th International Workshopn on Electronics, Control, Measurment and Signals. Liberec: Liberec University of Technology, 2003, pp. 315-319. ISBN 80-7083-708-X.
DetailŠVÉDA Miroslav and KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, vol. 2003, no. 6, p. 5. ISSN 1213-161X.
DetailSTAROBA Jiří and DVOŘÁK Václav. Genetic Algorithm Optimization of Group Communications. In: 9th International Conference on Soft Computing Mendel 2003. Brno: Faculty of Mechanical Engineering BUT, 2003, pp. 47-52. ISBN 80-214-2411-7.
DetailRŮŽIČKA Richard. Testable Design Verification Using Petri Nets. In: Proceedings of Euromicro Symposium on Digital System Design 2003. Los Alamitos, CA: IEEE Computer Society Press, 2003, pp. 304-311. ISBN 0-7695-2003-0.
DetailŠVÉDA Miroslav. Engineering of Computer-Based Systems: Brno in 2004. In: Proceedings EDS'03. Electronic Devides and Systems, 10th. Brno: Brno University of Technology, 2003, pp. 85-88. ISBN 80-214-2452-4.
DetailDRÁBEK Vladimír, ed. Montgomery Multiplication in GF(p) and GF(2^n). Brno: Brno University of Technology, 2003. ISBN 80-214-2452-4.
DetailDVOŘÁK Václav and STAROBA Jiří. Genetic Search for the Shortest Group Communications on Irregular Topologies. In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava, 2003, pp. 321-326. ISBN 80-85988-88-7.
DetailKOTÁSEK Zdeněk, RŮŽIČKA Richard and SEKANINA Lukáš, ed. Sborník pracovního semináře "Počítačové architektury a diagnostika" pro studenty doktorského studia. Brno: Department of Computer Systems FIT BUT, 2003. ISBN 80-214-2471-0.
DetailMIKA Daniel. UPLATNĚNÍ FORMÁLNÍCH POSTUPŮ PŘI NÁVRHU ŘADIČE TESTU ČÍSLICOVÉHO OBVODU. In: Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků. Brno: Faculty of Information Technology BUT, 2003, pp. 17-23. ISBN 80-214-2471-0.
DetailSEKANINA Lukáš. Evolvable Components - From Theory to Hardware Implementations. Natural Computing Series. Berlin: Springer Verlag, 2003. ISBN 3-540-40377-9.
DetailDVOŘÁK Václav. Communication Architectures for Application-Specific Multiprocessor Systems (on a Chip). In: 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, pp. 778-782. ISBN 953-6114-64-X.
DetailŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, vol. 2, no. 1, 2003, pp. 4-9. ISSN 1109-2750.
DetailŠVÉDA Miroslav and VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, vol. 2, no. 1, 2003, pp. 10-14. ISSN 1109-2750.
Detail -
2002
ŠVÉDA Miroslav and VRBA Radimír. An Integrated Framework for Sensor-Based Embedded Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, pp. 195-202. ISBN 0-7695-1549-5.
DetailŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, pp. 224-225. ISBN 0-7695-1549-5.
DetailKUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav and VRBA Radimír. Executable specifications for Process Automation and Microelectronics. In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002, pp. 91-98. ISBN 1-85769-169-5.
DetailRATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5.
DetailŠVÉDA Miroslav. Rapid Prototyping of Embedded Distributed Systems. In: IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002, pp. 320-323. ISBN 80-214-2094-4.
DetailSEKANINA Lukáš and DRÁBEK Vladimír. Automatic Design of Image Operators Using Evolvable Hardware. In: Proc. of 5th IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Brno: Brno University of Technology, 2002, pp. 132-139. ISBN 80-214-2094-4.
DetailSTRNADEL Josef and KOTÁSEK Zdeněk. Optimising Solution of the Scan Problem at RT Level Based on a Genetic Algorithm. In: Proceedings of 5th IEEE Design and Diagnostics of Electronics Circuits and Systems Workshop. Brno: Brno University of Technology, 2002, pp. 44-51. ISBN 80-214-2094-4.
DetailKUTÁLEK Vladimír and DVOŘÁK Václav. Simulation and Prototyping Multiprocessor SoC with Hybrid Pipeline/Farm Architecture. In: Proceedings of IEEE Design and Diagnostics of Electronic Circuits and System Workshop. Brno: Faculty of Information Technology BUT, 2002, pp. 296-299. ISBN 80-214-2094-4.
DetailDVOŘÁK Václav and STAROBA Jiří. Design Space Exploration of Parallel Embedded Applications Based on Performance-Oriented Specifications. In: Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2002, pp. 71-75. ISBN 1-85769-169-5.
DetailDVOŘÁK Václav. Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems. In: Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002. Stirling: University of Stirling, 2002, pp. 65-70. ISBN 1-85769-169-5.
DetailKUTÁLEK Vladimír and DVOŘÁK Václav. Prototyping Parallel Applications Based on Divide and Conquer Strategy. In: Proceedings of 36th International Conference MOSIS '02 Modelling and Simulation of Systems. Vol. I. Ostrava, 2002, pp. 313-320. ISBN 80-85988-71-2.
DetailSLLAME Azeddien M. and DRÁBEK Vladimír. A Design Space Exploration Scheme for High-Level Synthesis Systems. In: Proceedings of 36th International Conference MOSIS '02 Modelling and Simulation of Systems. Vol. I. Ostrava, 2002, pp. 305-312. ISBN 80-85988-71-2.
DetailSEKANINA Lukáš, SEKANINA Lukáš and SEKANINA Lukáš. Automata of Evolvable Computational Machines. In: Proc. ot 8th conference Student EEICT. Brno: Brno University of Technology, 2002, pp. 491-495. ISBN 80-214-2116-9.
DetailDVOŘÁK Václav and STAROBA Jiří. Performance Prediction Model of Bus-Based Shared Memory Architectures. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava, 2002, pp. 273-280. ISBN 80-85988-71-2.
DetailSTAROBA Jiří. Optimization of a Fully Distributed Stack Filter Using Genetic Algorithms. In: Proc. ot 8th conference Student EEICT. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 501-505. ISBN 80-214-2116-9.
DetailSTRNADEL Josef and KOTÁSEK Zdeněk. Normalized Testability Measures at RT Level: Utilization and Reasons for Creation. In: Proceedings of 36th International Conference MOSIS`02 Modeling and Simulation of Systems. Vol. I.. Ostrava, 2002, pp. 297-304. ISBN 80-85988-71-2.
DetailSTRNADEL Josef. Evaluating Cost/Quality Trade-off Solutions Proposed During a DFT Process. In: Proceeding of 8th Conference Student EEICT 2002. Brno: Brno University of Technology, 2002, pp. 506-510. ISBN 80-214-2116-9.
DetailRŮŽIČKA Richard. The Formal Approach to the RTL Test Application Problem Using Petri Nets. In: Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002. Brno: Faculty of Information Technology BUT, 2002, pp. 78-86. ISBN 80-214-2094-4.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. Ratio cut hypergraph partitioning using BDD based MBOA optimization algorithm. In: 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, pp. 87-96. ISBN 80-214-2094-4.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. Bayes-Dirichlet BDD as a probabilistic model for logic functions and evolutionary circuit decomposer. In: Mendel 2002. Brno: Faculty of Mechanical Engineering BUT, 2002, pp. 117-124. ISBN 80-214-2135-5.
DetailOČENÁŠEK Jiří and SCHWARZ Josef. Development system DEBOA for rapid prototyping of evolutionary applications. In: Proceedings of International Conference MOSIS '02. Ostrava, 2002, pp. 169-176. ISBN 80-85988-71-2.
DetailOČENÁŠEK Jiří and SCHWARZ Josef. Estimation Distribution Algorithm for mixed continuous-discrete optimization problems. In: Proceedings of the 2nd Euro-International Symposium on Computational Intelligence. Kosice: IOS Press, 2002, pp. 227-232. ISBN 1-58603-256-9.
DetailLAUMANNS Marco and OČENÁŠEK Jiří. Bayesian Optimization Algorithms for Multi-Objective Optimization. Lecture Notes in Computer Science, vol. 2002, no. 2439, pp. 298-307. ISBN 3-540-444139-5. ISSN 0302-9743.
DetailSEKANINA Lukáš. Evolution of digital circuits operating as image filters in dynamically changing environment. In: Mendel 2002 - 8th International Conference on Soft Computing. Brno: Brno University of Technology, 2002, pp. 33-38. ISBN 80-214-2135-5.
DetailSLLAME Azeddien M. and SEKANINA Lukáš. An Evolutionary-Based Algorithm to the Module Selection Process in High-Level Synthesis. In: Mendel 2002 - 8th International Conference on Soft Computing. Brno: Brno University of Technology, 2002, pp. 87-92. ISBN 80-214-2135-5.
DetailSEKANINA Lukáš and TORRESEN Jim. Detection of Norwegian Speed Limit Signs. In: Proc. of the 16th European Simulation Multiconference. Delft: SCS Publication House, 2002, pp. 337-340. ISBN 90-77039-07-4.
DetailČEJKA Rudolf, DVOŘÁK Václav and STAROBA Jiří. Predicting performance of SMP clusters. Distributed and Parallel Systems - Cluster and Grid Computing. Boston/London: Kluwer Academic Publishers, 2002, pp. 38-45. ISBN 1-4020-7209-0.
DetailDVOŘÁK Václav. Simulation and Prototyping in Teaching Parallel Architectures, Algorithms, and Programming Models. In: 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, pp. 934-940. ISBN 1-892512-88-2.
DetailSEKANINA Lukáš and DRÁBEK Vladimír. Soft-hardware. Vesmír, vol. 81, no. 7, 2002, pp. 393-395. ISSN 0042-4544.
DetailSLLAME Azeddien M. and DRÁBEK Vladimír. An Efficient List-Based Scheduling Algorithm for High-Level-Synthesis. In: EUROMICRO Symposium on Digital System Design (DSD2002): Architecture, Methods and Tools, IEEE Computer Society. IEEE Computer Society. Dortmund, Germany: IEEE Computer Society Press, 2002, pp. 316-323. ISBN 0-7695-1790-0.
DetailSLLAME Azeddien M. Efficient Design Space Characterization Toward Realizing High-Performance Digital systems. In: Proceedings of Electronic Devices and Systems EDS'02 Conference. Proceedings. Brno: Brno University of Technology, 2002, pp. 144-149. ISBN 80-214-2180-0.
DetailSTAROBA Jiří and DVOŘÁK Václav. Parallel Linear Equations Solvers for Scientific Simulation: Cluster and SMP Experience. In: Proceedings of XXIVth International Autumn Colloquium ASIS'02 Advanced Simulation of Systems. Ostrava, 2002, pp. 225-230. ISBN 80-85988-77-1.
DetailŠVÉDA Miroslav and RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Brno University of Technology, 2002, pp. 301-310. ISBN 80-214-2180-0.
DetailŠVÉDA Miroslav. A fail-stop model for design of embedded systems. In: Telecommunications and Signal Processing TSP-2002. Brno: Brno University of Technology, 2002, pp. 152-155. ISBN 80-214-2172-X.
DetailSTRNADEL Josef and KOTÁSEK Zdeněk. Testability Improvements Based on the Combination of Analytical and Evolutionary Approaches at RT Level. In: Proceedings of Euromicro Symposium on Digital System Design Architectures, Methods and Tools DSD'2002. Los Alamitos: IEEE Computer Society Press, 2002, pp. 166-173. ISBN 0-7695-1790-0.
DetailŠVÉDA Miroslav and VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. In: Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002, pp. 1543-1548. ISBN 0-7803-7454-1.
DetailSEKANINA Lukáš and DRÁBEK Vladimír. A Survey of Bioinspired Methods for Design of Fault Tolerant Reconfigurable Architectures. In: Proc. of the 8th Biennial Baltic Electronics Conference. Tallinn: Tallinn University of Technology, 2002, pp. 355-358. ISBN 9985-59-292-1.
DetailSTRNADEL Josef. Normalized Testability Measures Based on RTL Digital Circuit Graph Model Analysis. In: Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002. Edition 55. Košice: The University of Technology Košice, 2002, pp. 200-205. ISBN 80-7099-879-2.
DetailZBOŘIL František V., KOTÁSEK Zdeněk, MIKA Daniel and STRNADEL Josef. 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, pp. 142-147. ISBN 80-7099-879-2.
DetailMIKA Daniel, KOTÁSEK Zdeněk and STRNADEL Josef. Test Controller Design Based on VHDL Source File Analysis. In: 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, pp. 135-141. ISBN 80-7099-879-2.
DetailDRÁBEK Vladimír and SEKANINA Lukáš. Basic Principles of Bio-Inspired Approaches to Fault Tolerance: Tutorial. In: Design for Test of Systems on Chip: Digital Test. Tallinn: Tallinn University of Technology, 2002, pp. 1-48. ISBN 0000-00-000-0.
DetailRŮŽIČKA Richard. VHDL Circuit Description Transparency Analysis. In: 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, pp. 194-199. ISBN 80-7099-879-2.
DetailHLAVIČKA Jan, KOTÁSEK Zdeněk, MARINISSEN Erik Jan, NOVÁK Ondřej, RŮŽIČKA Richard and STRAUBE Bernd, ed. Proceedings of 5th International Workshop IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002. ISBN 80-214-2094-4.
DetailSEKANINA Lukáš. Nanostructures and bio-inspired computer engineering (Abstract). In: Nano'02 (Abstracts). Brno: Akademické nakladatelství CERM, 2002, pp. 74-74. ISBN 80-7204-258-0.
DetailBUREŠ František. DocBook and Creation of Technical Documents. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 421-425. ISBN 80-214-2116-9.
DetailSCHWARZ Josef. Aplikované evoluční algoritmy. Učební texty pro předmět EVA, obor IT. Brno: Faculty of Information Technology BUT, 2002.
DetailDVOŘÁK Václav. Architektura a programování paralelních systémů. Učební texty pro předmět APP, obor IT. Brno, 2002.
DetailŠVÉDA Miroslav. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno, 2002.
DetailSEKANINA Lukáš. Nanostructures and bio-inspired computer engineering. In: Proceedings of Nano02. Ostrava: Repronis, 2002, pp. 233-236. ISBN 80-7329-027-8.
DetailKAPOUN Vladimír and ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, vol. 2002, no. 12, p. 3. ISSN 1213-161X.
Detail -
2001
ČEJKA Rudolf and DVOŘÁK Václav. Evaluating Performance of Message-Passing Programs on SMP Clusters. In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí, 2001, pp. 115-120. ISBN 80-85988-57-7.
DetailTOMŠŮ Michal and DRÁBEK Vladimír. The Possibilities of Hardware Support for the Virtual Reality Systems Using the Internet Connections. In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava, 2001, pp. 121-126. ISBN 80-85988-57-7.
DetailDVOŘÁK Václav and STAROBA Jiří. Simulating PRAM algorithms with TRANSIM. In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí, 2001, pp. 81-86. ISBN 80-85988-57-7.
DetailDVOŘÁK Václav and ČÁBEL Miloš. 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, pp. 109-114. ISBN 80-85988-57-7.
DetailDVOŘÁK Václav. Optimizing SW/HW Architecture for Parallel Embedded Systems - A Case Study. In: 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, pp. 103-108. ISBN 83-85911-62-6.
DetailMATOUŠEK Petr. Protocol Proving Using PVS: A Case Study. In: Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M, 2001, pp. 67-73. ISBN 80-85988-57-7.
DetailMATOUŠEK Petr. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In: Modelling and Simulation 2001. Praha: Czech Technical University, 2001, pp. 59-62. ISBN 1-56555-225-3.
DetailSEKANINA Lukáš and DVOŘÁK Václav. A Totally Distributed Genetic Algorithm: From a Cellular System to the Mesh of Processors. In: Modelling and Simulation 2001. Prague: Faculty of Electrical Engineering, Czech Technical University, 2001, pp. 539-543. ISBN 1-56555-225-3.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. Evolutionary Multiobjective Bayesian Optimization Algorithm:Experimental Study. In: Proceedings of the 35th Spring International Conference MOSIS'01, Vol. 1. Hradec nad Moravicí, 2001, pp. 101-108. ISBN 80-85988-57-7.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. Pareto Bayesian Optimization Algorithm for the Multiobjective 0/1 Knapsack Problem. In: Proceedings of the 7th International Mendel Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2001, pp. 131-136. ISBN 80-214-1894-X.
DetailSLLAME Azeddien M. and DRÁBEK Vladimír. Specification and Synthesis of Reusable Modules in VHDL. In: Proceedings of fourth International Wokshop on IEEE Design and Diagnostics of Electronic Circuits and Systems IEEE DDCSE01. Gyor, Hungary: SZIF-UNIVERSITAS Ltd., Hungary, 2001, pp. 137-140. ISBN 963-7175-16-4.
DetailSTAROBA Jiří and DVOŘÁK Václav. Simulation-based performance tuning of a parallel bitonic sort algorihtm. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 358-362. ISBN 80-214-1860-5.
DetailŠVÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. Computer, vol. 34, no. 1, 2001, pp. 138-140. ISSN 0018-9162.
DetailRATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of the University of Stirling. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
DetailŠVÉDA Miroslav and VRBA Radimír. Sensor Networking. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, pp. 262-268. ISBN 0-7695-1086-8.
DetailRATTRAY Charles and ŠVÉDA Miroslav. Formal Specifications of Computer-Based Systems. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, pp. 357-358. ISBN 0-7695-1086-8.
DetailŠVÉDA Miroslav, ZEZULKA František and VRBA Radimí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, pp. 139-144. ISBN 1-85-769144-X.
DetailŠVÉDA Miroslav, VRBA Radimír and BENEŠ Petr. A System Architecture of Networked Pressure Sensors. In: Proceedings of the 5th WSES/IEEE World Conference on Systems (CSCC2001). Rethymno: IEEE Computer Society Press, 2001, pp. 3541-3546. ISBN 960-8052-33-5.
DetailŠVÉDA Miroslav, VRBA Radimír and BENEŠ Petr. A System Architecture of Networked Pressure Sensors. 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, pp. 64-69. ISBN 960-8052-39-4.
DetailVOJKŮVKA Michal and DRÁBEK Vladimír. Modelling of Montgomery Multiplication in GF(2^m). In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava, 2001, pp. 441-446. ISBN 80-85988-57-7.
DetailVRBA Radimír, ŠVÉDA Miroslav and ZEZULKA František. Interconnecting Smart Sensors through Low-Level Fieldbuses to Intranet/Internet. In: ICPR-16. Prague: unknown, 2001, pp. 1-6. ISBN 80-02-01438-3.
DetailCACH Petr, FIEDLER Petr, VRBA Radimír, ZEZULKA František and ŠVÉDA Miroslav. Internet based remote I/O. In: ICPR-16. Prague: unknown, 2001, pp. 1-6. ISBN 80-02-01438-3.
DetailKOTÁSEK Zdeněk, RŮŽIČKA Richard and STRNADEL Josef. Formal and Analytical Approaches to the Testability Analysis - the Comparison. In: Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001. Gyor: SZIF-UNIVERSITAS Ltd., Hungary, 2001, pp. 123-128. ISBN 963-7175-16-4.
DetailDVOŘÁK Václav and STAROBA Jiří. Numerical Performance Models of Synchronization Operations in Shared-Variable Programs. In: Proceedings of XXIII Int. Autumn Colloquium ASIS 2001. Ostrava, 2001, pp. 65-70. ISBN 80-85988-61-5.
DetailŠVÉDA Miroslav and STRACH Michal. A Sensor-to-Intranet Coupling Architecture. In: Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 214-217. ISBN 80-214-1960-1.
DetailŠVÉDA Miroslav, VRBA Radimír and STRACH Michal. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001.
DetailKOTÁSEK Zdeněk, RŮŽIČKA Richard, STRNADEL Josef and ZBOŘIL František. Two Level Testability System. In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava, 2001, pp. 433-440. ISBN 80-85988-57-7.
DetailHLAVIČKA Jan, KOTÁSEK Zdeněk, RŮŽIČKA Richard and STRNADEL Josef. Interactive Tool for Behavioral Level Testability Analysis. In: Proceedings of the IEEE ETW 2001. Stockholm, 2001, pp. 117-119.
DetailKOTÁSEK Zdeněk and STRNADEL Josef. RTL Testability Analysis Based on Genetic Algorithm Implementation. In: Proceedings of the Tenth ICNACSA. Plovdiv: unspecified agency, 2001, p. 1.
DetailKOTÁSEK Zdeněk and STRNADEL Josef. RTL Testability Analysis Based on Genetic Algorithm Implementation. In: Proceedings of the IWCIT'01. Ostrava: Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava, 2001, pp. 83-88. ISBN 80-7078-907-7.
DetailDRÁBEK Vladimír. Configurable Computing. In: Advanced Simulation of Systems. Ostrava, 2001, pp. 59-63. ISBN 80-85988-61-5.
DetailKOTÁSEK Zdeněk and STRNADEL Josef. Analytic Approach to RTL Testability Analysis. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 363-367. ISBN 80-214-1860-5.
DetailTOMŠŮ Michal. Goldschmidt's division algorithm using the pipelining principle. In: Student FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 373-377. ISBN 80-214-1859-1.
DetailŠČUGLÍK František. Komunikační systém v rámci autonomních LAN sítí. In: Proceedings of 7th Conference STUDENT FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 316-318. ISBN 80-214-1859-1.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. Multiobjective Bayesian Optimization Algorithm for Combinatorial Problems: Theory and Practice. NEURAL NETWORK WORLD, vol. 11, no. 5, 2001, pp. 423-441. ISSN 1210-0552.
DetailBUREŠ František. DocBook - moderní prostředek pro tvorbu profesionální technické dokumentace. In: Proceedings of 7th Conference Student FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 250-252. ISBN 80-214-1859-1.
DetailOČENÁŠEK Jiří and SCHWARZ Josef. The Distributed Bayesian Optimization Algorithm for Combinatorial Optimization. In: EUROGEN 2001 - Evolutionary Methods for Design, Optimisation and Control with Applications to Industrial Problems. Athens, 2001, pp. 115-120. ISBN 84-89925-97-6.
Detail -
2000
ČEJKA Rudolf and DVOŘÁK Václav. CSP-based Modeling of Emerging Scalable Parallel Computers. In: Proceedings of the 34th Spring International Conference Modelling and Simulation of Systems MOSIS 2000, Vol. 1. Rožnov pod Radhoštěm, 2000, pp. 135-142. ISBN 80-85988-44-5.
DetailDVOŘÁK Václav and ČEJKA Rudolf. A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. In: Proceedings of the 7th IEEE International Conference on ECBS. Edinburgh, Scotland: IEEE Computer Society Press, 2000, pp. 18-23. ISBN 0-7695-604-6.
DetailDRÁBEK Vladimír. Applications of Daubechies Wavelets for Image Compression. In: 34th Spring. Int. Conf. MOSIS 2000. Roznov p. R., 2000, pp. 31-37. ISBN 80-85988-44-5.
DetailSEKANINA Lukáš and DRÁBEK Vladimír. Relation Between Fault Tolerance and Reconfiguration in Cellular Systems. In: 6th IEEE Int. On-Line Testing Workshop. Palma de Mallorca, Spain: IEEE Computer Society Press, 2000, pp. 25-30. ISBN 0-7695-0646-1.
DetailČÁBEL Miloš and DULÍK Tomáš. An Advanced Multichannel Diaphragm Controller. In: Artificial Intelligence in Control and Measurment. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000, pp. 13-18.
DetailDVOŘÁK Václav and ČEJKA Rudolf. Prototyping cluster-based distributed applications. Distributed and Parallel Systems - From Instruction Parallelism to Cluster Computing. The Kluwer International Series in Engineering and Computer Science. Boston: Kluwer Academic Publishers, 2000, pp. 229-232. ISBN 0-7923-7892-X.
DetailDVOŘÁK Václav. Formal Specifications of Computer-Based Systems. Journal of Universal Computer Science. Graz: Springer Verlag, 2000, pp. 1-3. ISBN 3-540-62047-8.
DetailDVOŘÁK Václav and MARKOVIČ Lubomír. High Performance Computing in JAVA -- Fact or Fiction?. FIMU-RS-2000-11. unknown, 2000.
DetailKOTÁSEK Zdeněk and RŮŽIČKA Richard. Behavioral Analysis for Testability on VHDL Source File. In: Proceedings of Design and Diagnostics of Electronic Circuits and Systems Workshopsborník konference IEEE DDECS. Bratislava: Slovak Academy of Science, 2000, pp. 209-212. ISBN 80-968320-3.
DetailHLAVIČKA Jan, KOTÁSEK Zdeněk and RŮŽIČKA Richard. Formal Approach to RTL Testability Analysis. In: sborník konference IEEE LATW 2000. Rio de Janeiro: unknown, 2000, pp. 98-103.
DetailKOTÁSEK Zdeněk and RŮŽIČKA Richard. Partial Scan Methodologies - a Survey. In: sborník konference PDS2000. Ostrava: Elsevier Science, 2000, pp. 133-137. ISBN 0-08-043620-X.
DetailMATOUŠEK Petr, RÁB Jaroslav and VÝŠEK Pavel. Protocol Proving and Model Checking: A First-Look Experience. In: IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000, pp. 71-75. ISBN 1-85-769121-0.
DetailOČENÁŠEK Jiří. The Acceleration of Estimation of Distribution Algorithms. In: Sborník prací studentů a doktorandů VI.. Brno: Akademické nakladatelství CERM, 2000, pp. 213-215. ISBN 80-7204-155-X.
DetailSEKANINA Lukáš and DRÁBEK Vladimír. The Concept of Pseudo Evolvable Hardware. In: IFAC Workshop on Programmable Devices and Systems 2000. Elsevier Science Ltd. Oxford: unknown, 2000, p. 6. ISBN 0-08-043620-X.
DetailSEKANINA Lukáš and RŮŽIČKA Richard. Design of the Special Fast Reconfigurable Chip Using Common FPGA. In: Proc. of Design and Diagnostics of Electronic Circuits and Systems - IEEE DDECS'2000. Smolenice: unknown, 2000, pp. 161-168. ISBN 80-968320-3-4.
DetailSEKANINA Lukáš and DRÁBEK Vladimír. Fault Tolerance and Reconfiguration in Cellular Systems. In: Proc. of Design and Diagnostics of Electronic Circuits and Systems - IEEE DDECS'2000. Smolenice: unknown, 2000, pp. 134-137. ISBN 80-968320-3-4.
DetailSEKANINA Lukáš. Components and Communications in Evolvable System. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 231-233. ISBN 80-7204-155-X.
DetailSEKANINA Lukáš and SLLAME Azeddien M. Toward Uniform Approach to Design of Evolvable Hardware Based Systems. Lecture Notes in Computer Science, vol. 2000, no. 1896, pp. 814-817. ISSN 0302-9743.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. Partitioning-based placement using advanced genetic algorithm BOA. In: Procceedings of the Mendel '2000 Conference. BRNO: Faculty of Mechanical Engineering BUT, 2000, pp. 88-91. ISBN 80-214-1609-2.
DetailOČENÁŠEK Jiří and SCHWARZ Josef. The Parallel Bayesian Optimization Algorithm. In: Proceedings of the European Symposium on Computational Inteligence. Košice: Springer Verlag, 2000, pp. 61-67. ISBN 3-7908-1322-2. ISSN 1615-3871.
DetailSCHWARZ Josef and OČENÁŠEK Jiří. The knowledge-based evolutionary algorithm KBOA for hypergraph bisectioning. In: Proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering Brno, Czech Republic, 2000. BRNO: IOS Press, 2000, pp. 51-58. ISBN 1-58603-060-4.
DetailSCHWARZ Josef. Fuzzy genetic algorithm - a brief survey. In: Proceedings of the Colloquium Advanced Simulation of Systems. Bystřice pod Hostýnem, 2000, pp. 353-358. ISBN 80-85988-51-8.
DetailSCHWARZ Josef. The probability models for combinatorial optimization problems. In: 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, pp. 72-75.
DetailSLLAME Azeddien M. and SEKANINA Lukáš. Simulation and Modeling of Evolvable Hardware Based Systems. In: MS2000 International Conference on Modeling and Simulation. Las Palmas de Gran Canaria: unknown, 2000, pp. 485-492. ISBN 84-95286-59-9.
DetailSLLAME Azeddien M. and DRÁBEK Vladimír. Design of Graphical Hardware. In: MOSIS2000 34th Spring International Conference Modeling and Simulation of Systems. Roznov pod Radhostem, 2000, pp. 51-55. ISBN 80-85988-44-5.
DetailSLLAME Azeddien M. Design Exploration Based Reusability Method, In: Student Conference STC2000, FEI VUT Brno. In: Student Conference STC2000 FEI VUT Brno. Brno: Akademické nakladatelství CERM, 2000, pp. 240-242. ISBN 80-7204-155-X.
DetailLAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Bachelor Level. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-8.
DetailGONZALES Regina M., LAVI Jonah Z., MANNION Mike and ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses - Proposed Course Outlines. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-9.
DetailLAVI Jonah Z., MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Master Level. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-18.
DetailJANKOVSKÝ Michal and ŠVÉDA Miroslav. From TLA Specifications to Real-Time Unix Applications. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: unknown, 2000, pp. 77-79. ISBN 1-85-769121-0.
DetailŠVÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000, pp. 81-85. ISBN 1-85-769121-0.
DetailPICHLER Franz, RATTRAY Charles and ŠVÉDA Miroslav. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. In: Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000, pp. 382-382. ISBN 0-7695-0604-6.
DetailŠVÉDA Miroslav, VRBA Radimír and ZEZULKA František. Coupling Architectures for Low-Level Fieldbusses. In: Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000, pp. 148-155. ISBN 0-7695-0604-6.
DetailRATTRAY Charles and ŠVÉDA Miroslav. 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. Napier University, Edinburgh: IEEE Computer Society, 2000. ISBN 1-85-769121-0.
DetailVEČEŘA Ivo, VRBA Radimír and ŠVÉDA Miroslav. Senzory s vlastním testováním. Elektrorevue - www.elektrorevue.cz, vol. 2000, no. 12, pp. 1-7. ISSN 1213-1539.
DetailŠVÉDA Miroslav and VRBA Radimír. Rapid Prototyping of Embedded Communication Systems. In: Proceedings ICT 2000. Acapulco: unknown, 2000, pp. 677-681. ISBN 968-36-7762-2.
DetailŠVÉDA Miroslav and VRBA Radimír. DCB Digital Communication On-board Bus. In: Proceedings ICT 2000. Acapulco: IEEE Computer Society, 2000, pp. 1088-1092. ISBN 968-36-7762-2.
DetailŠVÉDA Miroslav. Patterns for Embedded Systems Design. Lecture Notes in Computer Science, vol. 2000, no. 1798, pp. 80-89. ISSN 0302-9743.
DetailZBOŘIL František. VHDL RT Level Parser/Analyser of a Source Code. In: 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, pp. 150-155. ISBN 80-88922-25-9.
Detail -
1999
ČEJKA Rudolf. CSP-based Modeling of SM Architectures. In: Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999, pp. 75-76. ISBN 80-214-1155-4.
DetailDULÍK Tomáš. An FPGA implementation of Goertzel algorithm. In: MOSIS'99 Proceedings. Rožnov pod Radhoštěm, 1999, pp. 35-42. ISBN 80-85988-33-X.
DetailDVOŘÁK Václav and ČEJKA Rudolf. The CSP-Based Simulation of Interconnection Networks and Routing Algorithms. In: Proceedings of the 33rd Spring International Conference Modelling and Simulation of Systems MOSIS'99, Vol. 2. Rožnov pod Radhoštěm, 1999, pp. 43-50. ISBN 80-85988-33-X.
DetailDVOŘÁK Václav and MATOUŠEK Petr. Highly Efficient Parallel ANN Implementation for Real-Time Processing. In: 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, pp. 186-191. ISBN 80-88922-05-4.
DetailČEJKA Rudolf and DVOŘÁK Václav. CSP-based Modeling of SM Architectures. In: Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999, pp. 163-168. ISBN 80-88922-05-4.
DetailDVOŘÁK Václav and DRÁBEK Vladimír. Architektura procesorů. Brno, 1999. ISBN 80-214-1458-8.
DetailMATOUŠEK Petr. Global directory over LDAP with index servers. Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999, pp. 85-86. ISBN 80-214-1155-4.
DetailOČENÁŠEK Jiří. Pokročilé genetické algoritmy pro členění hypergrafů. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 1999, pp. 89-90. ISBN 80-214-1155-4.
DetailRŮŽIČKA Richard. Využití metod Částečný Scan v diagnostice číslicových obvodů. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 1999, pp. 101-102. ISBN 80-214-1155-4.
DetailSEKANINA Lukáš. Evolvable Hardware as Non-Linear Predictor for Image Compression. In: Proc. of the 2nd Prediction Conference Nostradamus'99. Zlín: unknown, 1999, pp. 87-92. ISBN 80-214-1424-3.
DetailSCHWARZ Josef. Utilizing Genetic Algorithms for VLSI Physical Design-a Brief Survey. In: Electronic Devices and Systems 1999-Proceedings. BRNO: unknown, 1999, pp. 88-91. ISBN 80-214-1466-9.
DetailSLLAME Azeddien M. Designing on Algorithmic Level Using Behavioral Compiler, In:EDS'99, Brno. In: Electronic Devices and Systems 1999 - Proceedings. Ak. Brno: Akademické nakladatelství CERM, 1999, pp. 121-124. ISBN 80-214-1466-9.
DetailGONZALES Regina M., LAVI Jonah Z., MANNION Mike and ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. In: Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: unknown, 1999, pp. 336-343. ISBN 0-7695-0028-5.
DetailHRDLIČKA Milan, ŠVÉDA Miroslav and ZEZULKA František. Fieldbus Interconnections Testbed. In: Proceedings of European Symposium INNOCAP'99: Sensor Networks and Communications. Grenoble: unknown, 1999, pp. 123-128.
DetailŠVÉDA Miroslav. Patterns for Embedded Systems Design. In: Preprints EUROCAST´99. Vienna: unknown, 1999, pp. 277-280.
DetailŠVÉDA Miroslav. An Asynchronous Specification Language for Computer-Based Systems Design. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 137-143. ISBN 80-214-1466-9.
DetailŠVÉDA Miroslav. Low-Level Fieldbus Coupler Prototyping. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 244-247. ISBN 80-214-1466-9.
DetailKOTÁSEK Zdeněk, RŮŽIČKA Richard and ZBOŘIL František. Partial Scan Methodology in VHDL Environment. In: CEI'99. Herľany: unknown, 1999, pp. 146-151. ISBN 80-88922-05-4.
DetailHLAVIČKA Jan, KOTÁSEK Zdeněk and ZBOŘIL František. Partial Scan Methodology for RTL Designs. In: Compendium of Papers ETW'99. Constance: unknown, 1999, p. 2. ISBN 0-7695-0390-X.
Detail -
1998
DULÍK Tomáš. Akcelerace DSP algoritmů v hradlových polích FPGA. In: Sborník prací studentů a doktorandů. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1998, pp. 39-40.
DetailKOTÁSEK Zdeněk and ZBOŘIL František. Boundary Scan of PCBs with Xilinx FPGAs. In: Sborník konference ECI98. Herlany: unknown, 1998, pp. 70-74. ISBN 80-88786-94-0.
DetailRYŠÁNEK Martin. Congestion in High-Loaded Networks of Parallel Machines. In: SEIHPC Workshop 1998, Madrid, Spain. Madrid: unknown, 1998, pp. 58-64.
DetailSEKANINA Lukáš. Model vyvíjejících se obvodů. Sborník prací studentů a doktorandů, roč. IV, FEI VUT Brno. Brno: Akademické nakladatelství CERM, 1998, pp. 61-62. ISBN 80-214-1141-4.
DetailSCHWARZ Josef. Fuzzy trafic light controller. In: Proceedings of MOSIS'98. Bystřice pod Hostýnem, 1998, pp. 67-73. ISBN 80-85988-25-9.
DetailSCHWARZ Josef. Case study: Genetic object designer. In: ASIS 1998. Krnov, 1998, pp. 109-114. ISBN 80-85988-26-7.
DetailSCHWARZ Josef. Genetic algorithm for partitioning circuits. In: Mendel '98. Brno: unknown, 1998, pp. 126-131. ISBN 80-214-1199-6.
DetailLAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: unknown, 1998, pp. 377-384. ISBN 0-8186-8463-1.
DetailŠVÉDA Miroslav. Asynchronous Specification Language and Design with Local Time. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, pp. 256-263. ISBN 0-8186-8463-1.
DetailLAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems--A Proposed Curriculum for a Degree Program at Bachelor Level. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, pp. 369-376. ISBN 0-8186-8463-1.
DetailŠVÉDA Miroslav. Computer-Based Systems: An Emerging Discipline. In: EDS'98 Proceedings. Brno: unknown, 1998, pp. 325-328. ISBN 80-214-1198-8.
DetailŠVÉDA Miroslav and VRBA Radimír. Interconnecting Architectures for Sensors and Actuators. In: Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998, pp. 414-418. ISBN 0-620-23136-X.
DetailŠVÉDA Miroslav, VEČEŘA Ivo and VRBA Radimír. Smart Sensors Based upon ASI Bus Interface with Built-in Self Test. In: Advances in Systems, Signals, Control and Computers. Durban: unknown, 1998, pp. 419-424. ISBN 0-620-23136-X.
DetailŠVÉDA Miroslav and ZEZULKA František. Communication on the Control Level--An Extension Phenomenon of Control. In: Proceedings of the 15th International Congress on Cybernetics. Namur: unknown, 1998, pp. 312-317. ISBN 2-87215-004-8.
DetailKOTÁSEK Zdeněk and ZBOŘIL František. Nonstandard Automatic Test Pattern Generation Based on Neural Network Theory. In: Proceedings of the ECI'98. Herlany: Slovak Academy of Science, 1998, pp. 75-80. ISBN 80-88786-94-0.
Detail -
1997
DRÁBEK Vladimír. Modelling of Evolvable Hardware. In: MOSIS 97. Hradec nad Moravicí, 1997, pp. 319-324. ISBN 80-85988-18-6.
DetailCIGÁNEK Petr and DRÁBEK Vladimír. Applications of Binary Cellular Automata in BIST. In: Bratislava, Sept. 4-5, 1997, pp. 189-192.
DetailDVOŘÁK Václav. Advanced Computer Architecture. CZ: unknown, 1997.
DetailDVOŘÁK Václav. Bounds on the Sizes of Decision Diagrams. The Journal of Universal Computer Science. Berlin, Heidelberg: Springer Verlag, 1997, pp. 2-22. ISBN 3-540-62047-8.
DetailEYSSELT Miloš. The Design of the Factored TANT and TONT Networks. In: Proceedings of the 31st Spring International Conference MOSIS'97. April 28-30, Hradec nad Moravicí: unknown, 1997, pp. 177-182. ISBN 80-85988-18-6.
DetailBLATNÝ Jan, HLAVIČKA Jan and KOTÁSEK Zdeněk. RT Level Test Scheduling. Computer and Artificial Intelligence, vol. 14, no. 1, 1997, 1997, pp. 13-29. ISSN 0232-0274.
DetailKOTÁSEK Zdeněk. RT Level Element Classification. In: Proceedings of the DDECS 97. Soláň: unknown, 1997, pp. 41-46. ISBN 80-85988-19-4.
DetailSCHWARZ Josef. Educational fuzzy development system. In: Proceedings of Conference MOSIS '97. Hradec nad Moravicí, 1997, pp. 233-238. ISBN 80-85988-16-X.
DetailŠVÉDA Miroslav. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, vol. 1998, no. 133, 1997, pp. 34-49. ISSN 0302-9743.
DetailŠVÉDA Miroslav. Local Time for Systems Analysis. Frontiers in Artificial Intelligence and Applications, 1997, pp. 464-468. ISBN 90-5199-355-2. ISSN 0922-6389.
DetailŠVÉDA Miroslav. Design Method, Fail-Stop Safety Model, and Embedded Application. Journal of Systems Architecture, vol. 43, no. 1, 1997, pp. 47-57. ISSN 1383-7621.
DetailŠVÉDA Miroslav, BABKA Oto and FREEBURN Jana. Knowledge Preserving Development: A Case Study. In: Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997, pp. 347-352. ISBN 0-8186-7889-5.
DetailŠVÉDA Miroslav and ZEZULKA František. Interconnecting Low-Level Fieldbusses. In: Proc. Euromicro'97. Los Alamitos, California: IEEE Computer Society Press, 1997, pp. 260-267. ISBN 0-8186-8129-2.
DetailŠVÉDA Miroslav and VRBA Radimír. ASI Interconnectivity. In: Preprints IFAC SICICA'97. Annecy: unknown, 1997, pp. 621-626.
DetailHLAVIČKA Jan, KOTÁSEK Zdeněk and ZBOŘIL František. Test Overhead Reduction through RT Level Testability Analysis. In: Proceedings of the IEEE ETW 1997. Cagliary: unknown, 1997, pp. 43-47.
DetailKOTÁSEK Zdeněk and ZBOŘIL František. RT Level Testability Analysis In PROLOG Enviroment. In: Proceedings of the DDECS'97. Ostrava, 1997, pp. 47-52. ISBN 80-85988-19-4.
DetailKOTÁSEK Zdeněk and ZBOŘIL František. RT Level Testability Analysis to Reduce Test Application Time. In: Proceedings of the EUROMICRO 97. Budapest: unknown, 1997, pp. 104-111. ISBN 0-8186-8129-2.
Detail -
1996
DRÁBEK Vladimír. RAIDSIM - Model of a Disk Array. In: MOSIS '96. Modelling and System Simulation. Krnov, 1996, pp. 136-141. ISBN 80-85988-03-8.
DetailDRÁBEK Vladimír. Dependability Issues of Medical Electronics. In: Brno, 1996, pp. 63-66. ISBN 80-214-0767-8.
DetailDRÁBEK Vladimír. High-Level Specification and Verification as a New Design Methodology. In: Brno, 1996, pp. 197-200. ISBN 80-214-0768-9.
DetailDRÁBEK Vladimír. Simulation or Verification?. In: Zábřeh na Moravě, 1996, pp. 13-18. ISBN 80-85988-10-0.
DetailDVOŘÁK Václav. Prototyping parallel ANN implementations with TRANSIM. In: HPCS' 96 Conference Proceedings. Ottawa: unknown, 1996, pp. 1-16. ISBN 0-88629-301-4.
DetailDVOŘÁK Václav. Parallel implementation of ANN for Embedded Applications. In: Proceedings WORKSHOP'96. Praha: Faculty of Electrical Engineering, Czech Technical University, 1996, pp. 221-222.
DetailDVOŘÁK Václav. Performance analysis of parallel/distributed genetic algorithms. In: Proc. of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems DAPSYS'96. Miskolc, 1996, pp. 219-220. ISBN ?.
DetailEYSSELT Miloš. The Finite-State Machines Simplified Booth Recodings. In: Proceedings of the 30th Spring International Conference Modelling and Simulation MOSIS'96. April 23-25, Krnov: unknown, 1996, pp. 130-135. ISBN 80-85988-03-8.
DetailEYSSELT Miloš. THE CONTRIBUTION TO THE GENERALISED REED-MULLER EXPANSIONS GENERATED BY SOFTWARE. In: Proceedings of the Electronic Devices and Systems EDS'96 Conference. June 25, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1996, pp. 220-223. ISBN 80-214-0767-8.
DetailEYSSELT Miloš. The Comparison of Three One-Bit-at-a-Time Two's Complement Multiplication Methods. In: 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, pp. 41-44. ISBN 80-214-0768-9.
DetailEYSSELT Miloš. A Rounding Problem of the Integers. In: 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, pp. 55-58. ISBN 80-214-0768-9.
DetailEYSSELT Miloš. The Petri Net Machines for Signed Digit Recodings. In: Proceedings of the XVIIIth International Workshop Advanced Simulation of Systems ASS 1996. September 17-19, Zábřeh na Moravě: unknown, 1996, pp. 136-141. ISBN 80-85988-10-0.
DetailEYSSELT Miloš. The Perfect Microinstruction Pipeline with Microprogram Counters. In: Proceedings of the Scientific Conference with International Participation ELECTRONIC COMPUTERS & INFORMATICS. September 26-27, Košice-Herĺany: unknown, 1996, pp. 176-181.
DetailŠVÉDA Miroslav. A Prototyping Technique for Distributed Microcontrollers. In: CSS '96. Brno: unknown, 1996, pp. 61-68. ISBN 80-214-0768-9.
DetailSCHWARZ Josef. Motorola microcontroller as the platform for fuzzy application. In: Proceedings of CSS '96. Brno: unknown, 1996, pp. 239-242. ISBN 80-214-0768-9.
DetailSCHWARZ Josef, DVOŘÁK Václav and BUREŠ Pavel. Číslicové a impulsové obvody. Brno: Brno University of Technology, 1996. ISBN 80-214-0622-4.
DetailŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, vol. 27, no. 2, 1996, pp. 197-212. ISSN 0196-9722.
DetailŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: unknown, 1996, pp. 356-361. ISBN 0-85296-664-4.
DetailŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14.
DetailZENDULKA Jaroslav. The use of VHDL in designing with gate arrays. In: Proceedings of MOSIS'96, Volume 2. Krnov, 1996, pp. 142-147. ISBN 80-85988-03-8.
DetailZENDULKA Jaroslav. Tools for designing with Xilinx FPGAs. In: Proceedings of EDS'96. Brno: Brno University of Technology, 1996, pp. 15-18. ISBN 80-214-0767-8.
DetailZENDULKA Jaroslav. Program for demonstration of scheduling and allocation in high-level synthesis. In: Proceedings of EDS'96. Brno: Brno University of Technology, 1996, pp. 382-385. ISBN 80-214-0767-8.
Detail -
1995
DRÁBEK Vladimír and STACHNÍK Michal. A Fault-Tolerant ASIC Array. In: Baligrod-Bystre, 9-13 Oct., 1995: unknown, 1995, pp. 193-200. ISBN 83-900859-3-3.
DetailDVOŘÁK Václav and SLÁDEČEK Ladislav. Performance Evaluation of Transputer-Based Parallel Implementation of CNN. In: Proc. of 1995 AMSE Int. Symposium on Fuzzy systems, Neural Networks, and Artificial Intelligence. Brno, 1995, pp. 11-18. ISBN 80-214-0657-7.
DetailDVOŘÁK Václav. Logic decomposition into LUT/MUX-based logic blocks. In: Proceedings of the 7th School VLSI and ASIC Design. Baligrod-Bystre: unknown, 1995, pp. 37-56. ISBN 83-900859-3-3.
DetailEYSSELT Miloš and CUPAL J. Jerry. A Two's Complement Division Method with Automatic Quotient Rounding. In: Proceedings of the INTERNATIONAL AMSE CONFERENCE SYS'95. July 3-5, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995, pp. 69-78. ISBN 80-214-0657-7.
DetailEYSSELT Miloš. A Method for Finding All Disjoint Covers of a Boolean Function. In: Proceedings of the Electronic Devices and Systems Conference. June 28, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995, pp. 209-212.
DetailEYSSELT Miloš. The Contribution to the TANT and TONT Networks Design-Automatization. In: Proceedings of the Electronic Devices and Systems Conference. June 28, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995, pp. 203-216.
DetailEYSSELT Miloš. The Contribution to the Modelling of Simple Two's Complement Multiplication Methods. In: Proceedings of the XVIIth International Czech-Poland-Slovak Colloquium-Workshop ADVANCED SIMULATION OF SYSTEMS. April 18-20, Zábřeh na Moravě: unknown, 1995, pp. 36-41. ISBN 80-901751-1-2.
DetailHLAVIČKA Jan, KOTÁSEK Petr and KOTÁSEK Zdeněk. RT Level Test Scheduling Procedure. In: Proceedings on Design Metodologies for Microelectronics. Smolenice: Slovak Academy of Science, 1995, pp. 264-271.
DetailSCHWARZ Josef. PGPLACE: Genetic algorithm for placement optimization. In: Mendel '95. Brno, 1995, pp. 139-144. ISBN 80-214-0672-0.
DetailSCHWARZ Josef. Programové prostředky pro fuzzy aplikace. In: Proceedings of Workshop of Advanced Simulation of Systems. Zábřeh na Moravě, 1995, pp. 258-264. ISBN 80-901751-7-1.
DetailSCHWARZ Josef. Simulation based placement algorithm. In: Proceedings of EDS '95 conference. Brno, 1995, pp. 217-228.
DetailŠVÉDA Miroslav and ZEZULKA František. Local Time for Systems Theory and Control Engineering. In: Proceedings of the 14th International Congress on Cybernetics. Namur: unknown, 1995, pp. 560-564. ISBN 2-87215-003.
DetailZENDULKA Jaroslav. Program for demonstration of ROBDD's. In: Proceedings of EDS'95. Brno: Brno University of Technology, 1995, pp. 201-202.
Detail -
1994
EYSSELT Miloš. Booth Methods. In: Proceedings of the FEI'25 Conference on ELECTRONIC COMPUTERS and INFORMATICS. September 22-23, Košice-Herĺany: unknown, 1994, pp. 51-56.
DetailLINHART Miroslav, ŠPRTA J. and ZENDULKA Jaroslav. A Model of a Transputer-Based Simulation Accelerator. In: Proceedings of the 3rd IFIP WG-7.6 Working Conference on Optimization-Based Computer-Aided Modelling and Design. Prague: unknown, 1994, pp. 261-268.
DetailSCHWARZ Josef. Programové prostředky pro návrh fuzzy systémů. In: Sborník kolokvia Vybrané problémy simulačních modelů. Brno, 1994, pp. 11-14. ISBN 80-901229-9-X.
DetailŠVÉDA Miroslav. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 4, 1994, pp. 291-301. ISSN 0165-6074.
DetailŠVÉDA Miroslav. Design and Development of Industrial Measurement System--Architecture and Software. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 10, 1994, pp. 887-890. ISSN 0165-6074.
DetailŠVÉDA Miroslav, VRBA Radimír, LEGÁT Pavel and ZEZULKA František. ASI Instrumentation. Microprocessing and Microprogramming (North-Holland), vol. 40, no. 10, 1994, pp. 879-882. ISSN 0165-6074.
DetailŠVÉDA Miroslav. Fuel Stand Control System Design. Elektrotechnik und Informationstechnik ÖVE - Verbandszeitschrift, vol. 111, no. 4, 1994, pp. 171-173. ISSN 0932-383X.
DetailŠVÉDA Miroslav. Multiple Lift Control System. In: Proceedings 20th Euromicro 94 Conf.. Liverpool: unknown, 1994, pp. 581-587. ISBN 0-8186-6430-4.
DetailZENDULKA Jaroslav. Zkušenosti s použitím prostředků pro funkční a logickou simulaci. In: Vybrané problémy simulačních modelů. Brno: unknown, 1994, pp. 103-108. ISBN 80-901229-9-X.
DetailZENDULKA Jaroslav. Koncepce kursů automatizace projektování číslicových systémů. In: Moderní směry výuky elektrotechniky a lelektroniky STO-5. Brno, 1994, pp. 84-87.
Detail -
1993
LINHART Miroslav, ŠPRTA J. and ZENDULKA Jaroslav. A Transputer-Based Digital Circuits Simulator. In: International conference CATE'93. Brno: unknown, 1993, pp. 389-391.
DetailSCHWARZ Josef. Simulation oriented placement methods for VLSI chips. In: Proceedings of the MOSIS'93 conference. Olomouc, 1993, pp. 295-300.
DetailSCHWARZ Josef. Algoritmy stochastické a simulované evoluce. In: Sborník kolokvia Vybrané problémy simulačních modelů. Ostrava, 1993, pp. 89-91. ISBN 80-901229-6-5.
DetailŠVÉDA Miroslav. Routers and Bridges for Small Area Network Interconnection. Computers in Industry, vol. 22, no. 1, 1993, pp. 25-29. ISSN 0166-3615.
DetailŠVÉDA Miroslav. Small Area Network Interconnection. Microprocessing and Microprogramming (North-Holland), vol. 37, no. 2, 1993, pp. 193-196. ISSN 0165-6074.
DetailŠVÉDA Miroslav. Language Prototyping with Attribute Grammars and Macros. Microprocessing and Microprogramming (North-Holland), vol. 39, no. 2, 1993, pp. 151-154. ISSN 0165-6074.
DetailZENDULKA Jaroslav. Levelized Compiled and Event-Driven Simulation - a Case Study. In: International conference CATE'93. Brno: unknown, 1993, pp. 349-352.
DetailZENDULKA Jaroslav. Simulační systém VHDL-XL. In: Vybrané problémy simulačních modelů. Ostrava: unknown, 1993, pp. 69-72. ISBN 80-901229-6-5.
Detail -
1992
DVOŘÁK Václav. An optimization technique for ordered (binary) decision diagrams. In: Proceedings of the 6th Annual European Computer Conference CompEuro' 92. Hague: unknown, 1992, pp. 1-4. ISBN 0-8186-2760.
DetailDVOŘÁK Václav and ŠUSTR Josef. Digital system synthesis on FPGAs. In: Proceedings of Mikrosystem' 92. Bratislava: unknown, 1992, pp. 100-103. ISBN 80-233-0255-8.
DetailDVOŘÁK Václav. Easily- and self-testable chip, board, and system architectures. EC Newsletter, vol. Vol.4, January-A, no. No.1, 1992, pp. 227-243. ISSN 1120-7221.
DetailŠVÉDA Miroslav. Microcontroller Software Engineering. Microprocessing and Microprogramming (North-Holland), vol. 34, no. 1, 1992, pp. 11-14. ISSN 0165-6074.
DetailŠVÉDA Miroslav. A Design Method for Small Real-Time Distributed Systems. In: Cybernetics and Systems Research'92. Vienna: unknown, 1992, pp. 1255-1261. ISBN 981-02-1992-X.
DetailZENDULKA Jaroslav. VHDL-standard pro popis a simulaci elektronických systémů. In: Vybrané problémy simulačních modelů. Ostrava: unknown, 1992, pp. 35-38. ISBN 80-901229-2-2.
DetailŠTEFAN Jan and ZENDULKA Jaroslav. Model spojitého systému v C++. In: Sborník MOSIS'92. Ostrava: unknown, 1992, pp. 1-2.
DetailZENDULKA Jaroslav. Synchronní simulace na osobním počítači. In: Konferencia MIKROSYSTÉM'92. Bratislava: unknown, 1992, pp. 159-162. ISBN 80-233-0255-8.
Detail -
1991
DVOŘÁK Václav. CAD tools for VLSI. In: Bari, 1991.
DetailEYSSELT Miloš. The Mathematical Logic and Calculations of the Reliability. BULLETIN of the Technical University Brno, Volume 1991/1-4. Brno: Brno University of Technology, 1991, pp. 151-158. ISBN 80-214-0200-8. ISSN 0524-7462.
DetailHORVÁTH P. and LINHART Miroslav. Periférne zariadenia číslicových počítačov. unknown, 1991. ISBN 80-05-00813-9.
Detail -
1990
EYSSELT Miloš. Studie návrhu řezu aritmeticko logické jednotky. Knižnice vědeckých prací VUT Brno, vol. 1990, no. 130, pp. 213-223. ISBN 80-214-0393-4. ISSN 0368-6582.
DetailEYSSELT Miloš. Časové vyhodnocení tří algoritmů násobení. Knižnice vědeckých prací VUT Brno, vol. 1990, no. 130, pp. 225-237. ISBN 80-214-0393-4. ISSN 0368-6582.
DetailFABIAN P., LINHART Miroslav and ZELEM J. Some results gained from the experients with the LOPOS simulation model. Systems Science. unknown, 1990, pp. 39-52. ISSN 0137-1223.
Detail -
1989
EYSSELT Miloš. Využití jednooperačních souborů logických členů pro návrh optimalizovaných třístupňových logických sítí. In: Knižnice odborných a vědeckých spisů VUT Brno, svazek B-123. 30. srpna, Brno: Brno University of Technology, 1989, pp. 209-212. ISBN 80-214-0009-4.
DetailEYSSELT Miloš. 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, vol. 1990, no. 129, 1989, pp. 185-191. ISBN 80-214-0214-8. ISSN 0368-6582.
Detail -
1984
BLATNÝ Jan, ZENDULKA Jaroslav, HRUŠKA Tomáš and EYSSELT Miloš. Simulační systém SFDL/SCL. Knižnice odborných a vědeckých spisů VUT Brno, svazek A-26. Brno: Brno University of Technology, 1984, pp. 81-98.
DetailEYSSELT Miloš. Dělení technickými prostředky. Knižnice odborných a vědeckých spisů VUT Brno, svazek A-26. Brno: Brno University of Technology, 1984, pp. 177-186.
DetailEYSSELT Miloš. Modulový řez dvojkové děličky: AO 233922. Úřad pro objevy a vynálezy, Praha: unknown, 1984.
DetailEYSSELT Miloš. 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: unknown, 1984.
Detail