Výzkumná skupina Superpočítačových technologií SC@FIT

2024

HUYNH Trung Nam, ZHANG Edward, FRANCIES Olivia, KUKLIŠ Filip, ALLEN Thomas, ZHU Jiaqi, ABEYAKOON Oshaani, LUCKA Felix, BETCKE Marta, JAROŠ Jiří, ARRIDGE Simon, COX Ben T., PLUMB Andrew a BEARD Paul. A fast all-optical 3D photoacoustic scanner for clinical vascular imaging. Nature Biomedical Engineering, roč. 8, č. 10, 2024, s. 1-18. ISSN 2157-846X.
Detail

OLŠÁK Ondřej a 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, s. 107-113. ISBN 979-8-4007-0815-2.
Detail

JAROŠ Jiří, JAROŠ Marta a 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, s. 1-8. ISBN 979-8-3503-0836-5.
Detail

OLŠÁK Ondřej a 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, s. 361-363. ISBN 979-8-4007-0413-0.
Detail

JAROŠ Marta a JAROŠ Jiří. 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, s. 358-360. ISBN 979-8-4007-0413-0.
Detail

OLŠÁK Ondřej a JAROŠ Jiří. Techniques for Efficient Fourier Transform Computation in Ultrasound Simulations. Soláň, 2024.
Detail

JAROŠ Jiří a 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, s. 370-372. ISBN 979-8-4007-0413-0.
Detail

JAROŠ Jiří a BAYER David. afft: a C++17 Wrapper Library for FFT-like Computations on Various Targets. Soláň, 2024.
Detail

2023

JAROŠ Marta a 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, roč. 13592. Virtual Event: Springer Nature Switzerland AG, 2023, s. 152-171. ISBN 978-3-031-22697-7.
Detail

CHLEBÍK Jakub a 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.
Detail

OLŠÁK Ondřej, JAROŠ Marta a 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. a VAN 't Wout Elwin. Benchmark problems for transcranial ultrasound simulation: Intercomparison of compressional wave models. Journal of the Acoustical Society of America, roč. 152, č. 2, 2022, s. 1003-1019. ISSN 1520-8524.
Detail

JAROŠ Marta a JAROŠ Jiří. k-Dispatch's Performance Modules for Advanced Workflow Submission. Soláň, 2022.
Detail

JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. k-Plan: From the Hospital to the Cluster and Back. Ostrava, 2022.
Detail

OLŠÁK Ondřej a JAROŠ Jiří. Comparison of SpFFT and FFTW3 library. Soláň, 2022.
Detail

OLŠÁK Ondřej a JAROŠ Jiří. Evaluation of libraries for the one-dimensional sparse Fourier transform. Ostrava, 2022.
Detail

2021

VAVERKA Filip, TREEBY Bradley E. a 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, s. 99-115. ISBN 978-3-030-67076-4.
Detail

JAROŠ Marta, SASÁK Tomáš, TREEBY Bradley E. a 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, s. 116-134. ISBN 978-3-030-67076-4.
Detail

JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. The Platform for Advanced Scientific Computing (PASC) Conference 2021. Geneva, 2021.
Detail

WISE Elliott S., JAROŠ Jiří, COX Ben T. a 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, roč. 29, č. 4, 2021, s. 2050021-2050021. ISSN 2591-7285.
Detail

JAROŠ Marta a 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, s. 149-167. ISBN 978-3-030-88223-5. ISSN 0302-9743.
Detail

PHAM Khoa, NOIMARK Sacha, HUYNH Nam, ZHANG Edward, KUKLIŠ Filip, JAROŠ Jiří, DESJARDINS Adrien, COX Ben T. a BEARD Paul. Broadband all-optical plane-wave ultrasound imaging system based on a Fabry-Perot scanner. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, roč. 68, č. 4, 2021, s. 1007-1016. ISSN 1525-8955.
Detail

CHLEBÍK Jakub a 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.
Detail

CHLEBÍK Jakub a 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, s. 2203-2208. ISBN 978-1-6654-4207-7.
Detail

JAROŠ Marta a JAROŠ Jiří. k-Dispatch's Performance Modules for Advanced Workflow Submission. 5th Users' Conference of IT4Innovations. Ostrava, 2021.
Detail

JAROŠ 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ří a TREEBY Bradley E. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, roč. 67, č. 1, 2020, s. 81-91. ISSN 1525-8955.
Detail

KUKLIŠ Filip, JAROŠ Marta a 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), roč. 12104. Cham: Springer International Publishing, 2020, s. 463-478. ISBN 978-3-030-43721-3.
Detail

VAVERKA Filip, MRÁZEK Vojtěch, VAŠÍČEK Zdeněk a 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, s. 294-297. ISBN 978-3-9819263-4-7.
Detail

JAROŠ Marta, TREEBY Bradley E., GEORGIOU Panayiotis a 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, s. 1-10. ISBN 978-1-4503-7993-9.
Detail

TREEBY Bradley E., WISE Elliott S., KUKLIŠ Filip, JAROŠ Jiří a COX Ben T. Nonlinear ultrasound simulation in an axisymmetric coordinate system using a k-space pseudospectral method. Journal of the Acoustical Society of America, roč. 148, č. 4, 2020, s. 2288-2300. ISSN 1520-8524.
Detail

JAROŠ Marta, KLUSÁČEK Dalibor a 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), roč. 12326. New Orleans: Springer Nature Switzerland AG, 2020, s. 68-84. ISBN 978-3-030-63170-3.
Detail

2019

WISE Elliott S., COX Ben T., JAROŠ Jiří a TREEBY Bradley E. Representing arbitrary acoustic source and sensor distributions in Fourier collocation methods. Journal of the Acoustical Society of America, roč. 146, č. 1, 2019, s. 278-288. ISSN 1520-8524.
Detail

VAVERKA Filip, TREEBY Bradley E. a 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, roč. 11538. Faro: Springer International Publishing, 2019, s. 577-590. ISBN 978-3-030-22743-2.
Detail

TREEBY Bradley E., JAROŠ Jiří, MARTIN Eleanor a COX Ben T. From Biology to Bytes: Predicting the Path of Ultrasound Waves Through the Human Body. Acoustics Today, roč. 15, č. 2, 2019, s. 36-44. ISSN 1557-0223.
Detail

JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Scientific workflow management framework. Soláň, 2019.
Detail

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

BORDOVSKÝ Gabriel a JAROŠ Jiří. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň, 2019.
Detail

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

KUKLIŠ 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, s. 5-8. ISBN 978-80-88214-20-5.
Detail

JAROŠ Marta, JAROŠ Jiří a TREEBY Bradley E. Adaptive Execution Planning in Workflow Management Systems. Denver, 2019.
Detail

JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava, 2019.
Detail

BORDOVSKÝ Gabriel. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava, 2019.
Detail

VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Advancements in Ultrasound Simulations Enabled by High-bandwidth GPU Interconnects. Denver, 2019.
Detail

2018

SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. a CLEVELAND Robin. Full Modeling of High-Intensity Focused Ultrasound and Thermal Heating in the Kidney Using Realistic Patient Models. IEEE Transactions on Biomedical Engineering, roč. 65, č. 11, 2018, s. 2660-2670. ISSN 0018-9294.
Detail

TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří a COX Ben T. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. Journal of the Acoustical Society of America, roč. 143, č. 1, 2018, s. 529-537. ISSN 1520-8524.
Detail

KLEPÁRNÍK Petr, ZEMČÍK Pavel a 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, s. 232-237. ISBN 978-1-5386-4662-5.
Detail

KADLUBIAK Kristián, JAROŠ Jiří a 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, s. 188-195. ISBN 978-1-5386-7878-7.
Detail

SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida a 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, s. 5701-5704. ISBN 978-1-5386-3646-6.
Detail

ČUDOVÁ Marta, TREEBY Bradley E. a JAROŠ Jiří. Design of HIFU treatment plans using an evolutionary strategy. In: GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, s. 1568-1575. ISBN 978-1-4503-5764-7.
Detail

SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, MAKELA Pietari, ANTTINEN Mikael, SAUNAVAARA Jani, SAINIO Teija, KIVINIEMI Aida a BLANCO Roberto. Transurethral ultrasound therapy of the prostate in the presence of calcifications: A simulation study. Medical Physics, roč. 45, č. 11, 2018, s. 4793-4805. ISSN 0094-2405.
Detail

KLEPÁRNÍK Petr, BAŘINA David, ZEMČÍK Pavel a JAROŠ Jiří. Efficient Low-Resource Compression of HIFU Data. Information, roč. 9, č. 7, 2018, s. 1-14. ISSN 2078-2489.
Detail

JAROŠ Marta. Scientific Workflows Management. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: Západočeská univerzita v Plzni, 2018, s. 25-28. ISBN 978-80-261-0814-6.
Detail

BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: Západočeská univerzita v Plzni, 2018, s. 49-52. ISBN 978-80-261-0814-6.
Detail

KADLUBIAK Kristián, JAROŠ Jiří a TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main, 2018.
Detail

TREEBY Bradley E., VAVERKA Filip a 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, roč. 34, č. 1, 2018, s. 1-5. ISSN 1939-800X.
Detail

DANTUMA Maura, LUCKA Felix, TREEBY Bradley E., JAROŠ Jiří, COX Ben T. a MANOHAR Srirang. Signal Frequency Content and Appearance of Tumors in Photoacoustic Breast Tomography: A Simulation. Caparica, 2018.
Detail

KOZUBEK Tomáš, ČERMÁK Martin, TICHÝ Petr, BLAHETA Radim, ŠÍSTEK Jakub, LUKÁŠ Dalibor a JAROŠ Jiří, ed. HPCSE: 3rd International Conference on High Performance Computing in Science and Engineering. Lecture Notes in Computer Science, roč. 11087. Cham: Springer International Publishing, 2018. ISBN 978-3-319-97135-3.
Detail

BORDOVSKÝ Gabriel, COX Ben T. a JAROŠ Jiří. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava, 2018.
Detail

VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava, 2018.
Detail

KADLUBIAK Kristián, TREEBY Bradley E. a JAROŠ Jiří. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava, 2018.
Detail

JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava, 2018.
Detail

VAVERKA Filip, ŠPEŤKO Matej, TREEBY Bradley E. a JAROŠ Jiří. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas, 2018.
Detail

2017

ROBERTSON James L., COX Ben T., JAROŠ Jiří a TREEBY Bradley E. Accurate simulation of transcranial ultrasound propagation for ultrasonic neuromodulation and stimulation. Journal of the Acoustical Society of America, roč. 141, č. 3, 2017, s. 1726-1738. ISSN 1520-8524.
Detail

AHMED Hashim U., SHAH Taimur T., GEORGIOU Panayiotis, JAROŠ Jiří, PAYNE Heather, ALLEN Clare, GIBSON Eli, BARRATT Dean a TREEBY Bradley E. Beam distortion due to gold fiducial markers during salvage high-intensity focused ultrasound in the prostate. Medical Physics, roč. 44, č. 2, 2017, s. 679-693. ISSN 0094-2405.
Detail

NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří a 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, roč. 10266. Cham: Springer International Publishing, 2017, s. 377-393. ISBN 978-3-319-58666-3.
Detail

JAROŠ Jiří, TREEBY Bradley E. a ROBERTSON James L. Convergence Testing of a k-space Pseudospectral Scheme for Transcranial Time-reversal Focusing. Supercomputing in Science and Engineering. Ostrava: VŠB Technická univerzita Ostrava - IT4I, 2017, s. 195-197. ISBN 978-80-248-4037-6.
Detail

JAROŠ Jiří, TREEBY Bradley E. a GEORGIOU Panayiotis. Modelling Beam Distortion during Focused Ultrasound Surgery in the Prostate using k-Wave. Supercomputing in Science and Engineering. Ostrava: VŠB Technická univerzita Ostrava - IT4I, 2017, s. 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: Slovenská technická univerzita v Bratislavě, 2017, s. 20-23. ISBN 978-80-972784-0-3.
Detail

JAROŠ Jiří. High Performance Computing in Ultrasound Cancer Treatment. Brno, 2017.
Detail

VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver, 2017.
Detail

VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava, 2017.
Detail

BORDOVSKÝ Gabriel a JAROŠ Jiří. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava, 2017.
Detail

TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří a COX Ben T. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava, 2017.
Detail

ČUDOVÁ Marta a JAROŠ Jiří. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava, 2017.
Detail

2016

JAROŠ Jiří, RENDELL Alistair P. a 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, roč. 30, č. 2, 2016, s. 137-155. ISSN 1741-2846.
Detail

MERTA Michal, ZAPLETAL Jan a 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, roč. 9611. Basel: Springer International Publishing, 2016, s. 116-125. ISBN 978-3-319-40360-1.
Detail

BROWN Michael D., JAROŠ Jiří, COX Ben T. a TREEBY Bradley E. Control of Broadband Optically Generated Ultrasound Pulses Using Binary Amplitude Holograms. Journal of the Acoustical Society of America, roč. 139, č. 4, 2016, s. 1637-1647. ISSN 1520-8524.
Detail

TREEBY Bradley E., JAROŠ Jiří a 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, roč. 9708. San Francisco: SPIE - the international society for optics and photonics, 2016, s. 1-14. ISBN 978-1-62841-942-9.
Detail

JAROŠ Jiří, VAVERKA Filip a TREEBY Bradley E. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. Supercomputing Frontiers and Innovations, roč. 3, č. 3, 2016, s. 40-55. ISSN 2313-8734.
Detail

VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Acceleration of Ultrasound Wave Propagation using a Cluster of GPUs. Frankfurt am Main, 2016.
Detail

SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. a 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, s. 5648-5651. ISBN 978-1-4577-0220-4.
Detail

VAVERKA Filip. Case Study on Multi-domain Decomposition of k-Wave Simulation Framework. In: Computer achitectures and diagnostics 2016. Brno: Fakulta informačních technologií VUT v Brně, 2016, s. 37-40. ISBN 978-80-214-5376-0.
Detail

NIKL Vojtěch. High Performance Computing on Low Power Devices. In: Computer achitectures and diagnostics 2016. Brno: Fakulta informačních technologií VUT v Brně, 2016, s. 81-84. ISBN 978-80-214-5376-0.
Detail

JAROŠ Jiří, VAVERKA Filip a 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 a MIKUŠEK Petr. Memory-Based Logic Control for Embedded Systems. Lecture Notes in Electrical Engineering, roč. 325, č. 1, 2015, s. 367-379. ISSN 1876-1100.
Detail

GROEN Derek, CHACRA David A., NASH Rupert W., JAROŠ Jiří, BERNABEU Miguel O. a 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, roč. 8759. Stockholm: Springer Verlag, 2015, s. 28-38. ISBN 978-3-319-15975-1.
Detail

JAROŠ Jiří, NIKL Vojtěch a 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, s. 115-119. ISBN 978-0-9926615-1-9.
Detail

JAROŠ Jiří, MAREK Jan a 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, s. 1727-1734. ISBN 978-1-4799-7560-0.
Detail

NIKL Vojtěch. High Performance Computing on Low Power Devices. In: Počítačové architektury a diagnostika 2015. Zlín: Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně, 2015, s. 37-41. ISBN 978-80-7454-522-1.
Detail

JAROŠ Jiří, DOHNAL Matěj a 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 a JAROŠ Jiří. Solving the Multidimensional Knapsack Problem using a CUDA Accelerated PSO. In: Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Beijing: IEEE Computational Intelligence Society, 2014, s. 2933-2939. ISBN 978-1-4799-1488-3.
Detail

JAROŠ Jiří a 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, s. 1023-1030. ISBN 978-1-4503-2662-9.
Detail

NIKL Vojtěch a 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, roč. 8934. Heidelberg: Springer International Publishing, 2014, s. 100-112. ISBN 978-3-319-14895-3.
Detail

TREEBY Bradley E., JAROŠ Jiří, ROHRBACH Daniel a 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, s. 146-149. ISBN 978-1-4799-7049-0.
Detail

2013

DVOŘÁK Václav a MIKUŠEK Petr. Easily Reprogrammable Embedded Logic Control. In: Proceedings of ICINCO 2013, Vol.1. Lisbon: SciTePress - Science and Technology Publications, 2013, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2012, s. 84-89. ISBN 978-3-902823-21-2. ISSN 1474-6670.
Detail

JAROŠ Jiří a POSPÍCHAL Petr. A Fair Comparison of Modern CPUs and GPUs Running the Genetic Algorithm under the Knapsack Benchmark. Lecture Notes in Computer Science, roč. 2012, č. 7248, s. 426-435. ISSN 0302-9743.
Detail

JAROŠ 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, s. 217-224. ISBN 978-1-4673-1508-1.
Detail

RŮŽIČKA Richard a Š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: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2012, s. 154-161. ISBN 978-80-8143-049-7.
Detail

2011

JAROŠ Jiří a 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: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 24-29. ISBN 978-1-61208-002-4.
Detail

DVOŘÁK Václav a JAROŠ Jiří. A Programmable Interconnection Network for Multiple Communication Patterns. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 6-11. ISBN 978-1-61208-002-4.
Detail

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

MIKUŠEK Petr, TOMEC Martin a DVOŘÁK Václav. A Cascade Decomposition of Application-Specific Systems. In: MEMICS Proc.. Brno: Vysoké učení technické v Brně, 2011, s. 78-85. ISBN 978-80-214-4305-1.
Detail

2010

DVOŘÁK Václav a 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, s. 22-27. ISBN 978-0-7695-3979-9.
Detail

KOŘENEK Jan a 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, s. 297-300. ISBN 978-1-4244-6610-8.
Detail

DVOŘÁ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, s. 140-145. ISBN 978-989-8425-02-7.
Detail

JAROŠ Jiří a 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, s. 1171-1178. ISBN 978-1-4503-0072-8.
Detail

DVOŘÁK Václav a MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, roč. 16, č. 14, 2010, s. 1826-1852. ISSN 0948-6968.
Detail

JAROŠ Jiří. Evolutionary Design of Collective Communications on Wormhole Networks. Brno: Nakladatelství Vysokého učení technického v Brně 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, s. 1537-1544. ISBN 978-1-60558-325-9.
Detail

MIKUŠEK Petr a 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, s. 605-608. ISBN 978-0-7695-3782-5.
Detail

MIKUŠ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, s. 721-722. ISBN 978-1-4244-3892-1.
Detail

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

DVOŘÁK Václav a MIKUŠEK Petr. Optimalizace firmware pro vestavěné logcké řízení. IFAC-PapersOnLine, roč. 2009, č. 1, s. 109-114. ISBN 978-3-902661-69-2. ISSN 1474-6670.
Detail

MIKUŠEK Petr a 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: Masarykova universita, 2009, s. 235-235. ISBN 978-80-87342-04-6.
Detail

KOŘENEK Jan a 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, s. 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, roč. 2, č. 1, 2008, s. 43-54. ISSN 1738-9984.
Detail

DVOŘÁ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, s. 156-161. ISBN 978-0-7695-3106-9.
Detail

DVOŘÁ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, s. 317-322. ISBN 978-0-7695-3105-2.
Detail

MIKUŠEK Petr a 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, s. 795-802. ISBN 978-0-7695-3277-6.
Detail

JAROŠ Jiří a 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, s. 1539-1546. ISBN 978-1-60558-131-6.
Detail

JAROŠ Jiří. Evolutionary Design of Fault Tolerant Collective Communications. In: Evolvable Systems: From Biology to Hardware. Lecture Notes in Computer Science, roč. 5216. Berlin: Springer Verlag, 2008, s. 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, s. 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: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2008, s. 373-382. ISBN 978-80-8086-092-9.
Detail

OHLÍDAL Miloš. Evolutionary design of collective communication based on prediction of conflicts in interconnection networks. Brno: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3597-1.
Detail

JAROŠ Jiří a SCHWARZ Josef. Evoluční návrh wormhole kolektivních komunikací. In: Proceedings of Junior Scientist Conference 2008. Vienna: Technische Universität Wien, 2008, s. 2. ISBN 978-3-200-01612-5.
Detail

DVOŘÁK Václav a MIKUŠEK Petr. LUT Cascade-Based Implementation of Allocators. In: Proc. of the 25th Convention of EEE in Israel. New York: IEEE Computer Society, 2008, s. 85-89. ISBN 978-1-4244-2482-5.
Detail

MIKUŠEK Petr a 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: Masarykova universita, 2008, s. 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, s. 178-185. ISBN 0-7695-2772-8.
Detail

BRYAN Luděk. A Set of Definitions for Working with Spatial Filters. In: Proceedings of the 13th Conference STUDENT EEICT 2007 Volume 4. Brno: Vysoké učení technické v Brně, 2007, s. 430-434. ISBN 80-214-3410-4.
Detail

DVOŘÁK Václav, JAROŠ Jiří a OHLÍDAL Miloš. Optimum Topology-Aware Scheduling of Many-to-Many Collective Communications. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, s. 1-6. ISBN 0-7695-2805-8.
Detail

DVOŘÁ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, s. 6. ISBN 0-7695-2807-4.
Detail

JAROŠ Jiří, OHLÍDAL Miloš a 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, s. 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: Vysoké učení technické v Brně, 2007, s. 462-466. ISBN 978-80-214-3410-3.
Detail

BRYAN Luděk a 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, s. 1-4. ISBN 1-60132-026-4.
Detail

DVOŘÁK Václav. LUT Cascade-Based Architectures for High Productivity Embedded Systems. International Review on Computers and Software, roč. 2, č. 4, 2007, s. 357-365. ISSN 1828-600X.
Detail

DVOŘÁK Václav. Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. Journal of Software, roč. 2, č. 5, 2007, s. 52-63. ISSN 1796-217X.
Detail

DVOŘÁ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, s. 80-85. ISBN 978-0-7695-3006-2.
Detail

DRÁBEK Vladimír. The Evolution of Graphical Processors. In: 6th Electronic Circuits and Systems Conference (ECS 2007). Bratislava: Fakulta informatiky a informačních technologií Slovenská technická univerzita v Bratislavě, 2007, s. 97-102. ISBN 978-80-227-2697-9.
Detail

DRÁBEK Vladimír. Hardware Unit for Motion Estimation. In: Electronic Devices and Systems. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 17-21. ISBN 978-80-214-3470-7.
Detail

ŠIMEK Václav. Medical Data Compression. In: Počítačové architektury a diagnostika. Plzeň: Západočeská univerzita v Plzni, 2007, s. 143-148. ISBN 978-80-7043-605-9.
Detail

JAROŠ 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ň: Západočeská univerzita v Plzni, 2007, s. 6. ISBN 987-80-7043-605-9.
Detail

2006

OHLÍDAL Miloš, JAROŠ Jiří, DVOŘÁK Václav a SCHWARZ Josef. Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks. In: EvoStar 2006. Lecture Notes in Computer Science, roč. 3907. Berlin: Springer Verlag, 2006, s. 267-278. ISBN 978-3-540-33237-4.
Detail

JAROŠ Jiří a 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, s. 222-223. ISBN 1-4244-0184-4.
Detail

OHLÍDAL Miloš a 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, s. 224-225. ISBN 1-4244-0184-4.
Detail

OHLÍDAL Miloš, JAROŠ Jiří a 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, s. 619-624. ISBN 0-7695-2570-9.
Detail

JAROŠ 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: Ústav informatiky Slovenskej akadémie vied, 2006, s. 31-36. ISBN 80-969202-2-7.
Detail

JAROŠ Jiří, OHLÍDAL Miloš a 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, s. 127-132. ISBN 0-7695-2554-7.
Detail

OHLÍ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: Ústav informatiky Slovenskej akadémie vied, 2006, s. 25-30. ISBN 80-969202-2-7.
Detail

JAROŠ Jiří a 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: Masarykova universita, 2006, s. 63-68. ISBN 80-214-3287-X.
Detail

ŠIMEK Václav a POKORNÝ Petr. Communication of sensor modules. In: Proceedings of the 12th konference Student EEICT 2006. Volume II. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 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, s. 136-141. ISBN 0-9544145-6-X.
Detail

KUTÁLEK Vladimír a DVOŘÁK Václav. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science, roč. 11, č. 6, 2005, s. 944-961. ISSN 0948-6968.
Detail

DVOŘÁ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, s. 27-34. ISBN 0-7695-2446-X.
Detail

DRÁBEK Vladimír a KOTÁSEK Zdeněk. Handbook of Testing Electronic Systems. Handbook of Testing Electronic Systems. Praha: Vydavatelství ČVUT, 2005, s. 235-243. ISBN 80-01-03318-X.
Detail

2004

DVOŘÁK Václav, ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, roč. 9, č. 11, 2004, s. 1258-1260. ISSN 0948-6968.
Detail

STAROBA Jiří a 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: Université de Haute Alsace, 2004, s. 980-985. ISBN 0-86341-325-0.
Detail

DVOŘÁK Václav a Š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.
Detail

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

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

KUTÁ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: Slovenská akademie věd, 2004, s. 132-137. ISBN 80-969202-0-0.
Detail

2003

KUTÁLEK Vladimír a DVOŘÁK Václav. A Multi-protocol cache controller. In: IFAC Workshop on Programmable devices and systems - PDS 2003. Ostrava: VŠB - Technická univerzita Ostrava, 2003, s. 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, s. 49-54. ISBN 0-08-044130-0.
Detail

SLLAME 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, s. 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, s. 125-132. ISBN 0-7695-1917-2.
Detail

ŠVÉDA Miroslav, RATTRAY Charles a 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, s. 169-172. ISBN 0-7695-1917-2.
Detail

RATTRAY Charles, ŠVÉDA Miroslav a 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.
Detail

KOTÁSEK Zdeněk, MIKA Daniel a STRNADEL Josef. Methodologies of RTL Partial Scan Analysis and Their Comparison. In: Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Poznaň: Publishing House of Poznan University of Technology, 2003, s. 233-238. ISBN 83-7143-557-6.
Detail

SEKANINA Lukáš a 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, s. 299-300. ISBN 83-7143-557-6.
Detail

MIKA Daniel. The Test Controller Design Based on I-Path Concept. In: Proceedings of 9th Conference and Competition STUDENT EEICT 2003 Volume 3. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 624-628. ISBN 80-214-2379-X.
Detail

MIKA Daniel a 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: MARQ, 2003, s. 107-114. ISBN 80-85988-86-0.
Detail

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

OČENÁŠEK Jiří, SCHWARZ Josef a PELIKÁN Martin. Design of Multithreaded Estimation of Distribution Algorithms. Genetic and Evolutionary Computation Conference GECCO-2003, Chicago, July 2003, accepted paper. In: Procceedings of GECCO 2003, USA. Chicago: Kluwer Verlag, 2003, s. 1247-1258. ISBN 3-540-40-603-4.
Detail

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

BUREŠ František. Selected Methods of Specification and Verification of Industriall Application. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 614-618. ISBN 80-214-2379-X.
Detail

RŮŽIČKA Richard a 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: Technická univerzita v Košiciach, 2003, s. 727-730. ISBN 80-7099-509-2.
Detail

KOTÁSEK Zdeněk, TUPEC Pavel a URBIŠ Hynek. Testing PCBs Based on Boundary Scan. In: Proceedings of International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2003, s. 119-122. ISBN 80-7099-509-2.
Detail

KOTÁSEK Zdeněk a URBIŠ Hynek. USB-to-IDE Adapter Design and Implementation. In: 6th International Workshopn on Electronics, Control, Measurment and Signals. Liberec: Technická univerzita v Liberci, 2003, s. 315-319. ISBN 80-7083-708-X.
Detail

ŠVÉDA Miroslav a KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, roč. 2003, č. 6, s. 5. ISSN 1213-161X.
Detail

STAROBA Jiří a DVOŘÁK Václav. Genetic Algorithm Optimization of Group Communications. In: 9th International Conference on Soft Computing Mendel 2003. Brno: Fakulta strojního inženýrství VUT, 2003, s. 47-52. ISBN 80-214-2411-7.
Detail

RŮŽ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, s. 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: Vysoké učení technické v Brně, 2003, s. 85-88. ISBN 80-214-2452-4.
Detail

DRÁBEK Vladimír, ed. Montgomery Multiplication in GF(p) and GF(2^n). Brno: Vysoké učení technické v Brně, 2003. ISBN 80-214-2452-4.
Detail

DVOŘÁK Václav a STAROBA Jiří. Genetic Search for the Shortest Group Communications on Irregular Topologies. In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003, s. 321-326. ISBN 80-85988-88-7.
Detail

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

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

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

DVOŘÁ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: Fakultet elektrotehnike, strojarstva i brodogradnje, 2003, s. 778-782. ISBN 953-6114-64-X.
Detail

ŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, roč. 2, č. 1, 2003, s. 4-9. ISSN 1109-2750.
Detail

ŠVÉDA Miroslav a VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, roč. 2, č. 1, 2003, s. 10-14. ISSN 1109-2750.
Detail

2002

ŠVÉDA Miroslav a 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, s. 195-202. ISBN 0-7695-1549-5.
Detail

ŠVÉDA Miroslav, RATTRAY Charles a 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, s. 224-225. ISBN 0-7695-1549-5.
Detail

KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav a 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, s. 91-98. ISBN 1-85769-169-5.
Detail

RATTRAY Charles, ŠVÉDA Miroslav a 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: Fakulta informačních technologií VUT v Brně, 2002, s. 320-323. ISBN 80-214-2094-4.
Detail

SEKANINA Lukáš a 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: Vysoké učení technické v Brně, 2002, s. 132-139. ISBN 80-214-2094-4.
Detail

STRNADEL Josef a 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: Vysoké učení technické v Brně, 2002, s. 44-51. ISBN 80-214-2094-4.
Detail

KUTÁLEK Vladimír a 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: Fakulta informačních technologií VUT v Brně, 2002, s. 296-299. ISBN 80-214-2094-4.
Detail

DVOŘÁK Václav a 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, s. 71-75. ISBN 1-85769-169-5.
Detail

DVOŘÁ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, s. 65-70. ISBN 1-85769-169-5.
Detail

KUTÁLEK Vladimír a 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: MARQ, 2002, s. 313-320. ISBN 80-85988-71-2.
Detail

SLLAME Azeddien M. a 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: MARQ, 2002, s. 305-312. ISBN 80-85988-71-2.
Detail

SEKANINA Lukáš, SEKANINA Lukáš a SEKANINA Lukáš. Automata of Evolvable Computational Machines. In: Proc. ot 8th conference Student EEICT. Brno: Vysoké učení technické v Brně, 2002, s. 491-495. ISBN 80-214-2116-9.
Detail

DVOŘÁK Václav a 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: MARQ, 2002, s. 273-280. ISBN 80-85988-71-2.
Detail

STAROBA Jiří. Optimization of a Fully Distributed Stack Filter Using Genetic Algorithms. In: Proc. ot 8th conference Student EEICT. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2002, s. 501-505. ISBN 80-214-2116-9.
Detail

STRNADEL Josef a 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: MARQ, 2002, s. 297-304. ISBN 80-85988-71-2.
Detail

STRNADEL Josef. Evaluating Cost/Quality Trade-off Solutions Proposed During a DFT Process. In: Proceeding of 8th Conference Student EEICT 2002. Brno: Vysoké učení technické v Brně, 2002, s. 506-510. ISBN 80-214-2116-9.
Detail

RŮŽ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: Fakulta informačních technologií VUT v Brně, 2002, s. 78-86. ISBN 80-214-2094-4.
Detail

SCHWARZ Josef a 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: Fakulta informatiky a informačních technologií Slovenská technická univerzita v Bratislavě, 2002, s. 87-96. ISBN 80-214-2094-4.
Detail

SCHWARZ Josef a OČENÁŠEK Jiří. Bayes-Dirichlet BDD as a probabilistic model for logic functions and evolutionary circuit decomposer. In: Mendel 2002. Brno: Fakulta strojního inženýrství VUT, 2002, s. 117-124. ISBN 80-214-2135-5.
Detail

OČENÁŠEK Jiří a SCHWARZ Josef. Development system DEBOA for rapid prototyping of evolutionary applications. In: Proceedings of International Conference MOSIS '02. Ostrava: MARQ, 2002, s. 169-176. ISBN 80-85988-71-2.
Detail

OČENÁŠEK Jiří a 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, s. 227-232. ISBN 1-58603-256-9.
Detail

LAUMANNS Marco a OČENÁŠEK Jiří. Bayesian Optimization Algorithms for Multi-Objective Optimization. Lecture Notes in Computer Science, roč. 2002, č. 2439, s. 298-307. ISBN 3-540-444139-5. ISSN 0302-9743.
Detail

SEKANINA Lukáš. Evolution of digital circuits operating as image filters in dynamically changing environment. In: Mendel 2002 - 8th International Conference on Soft Computing. Brno: Vysoké učení technické v Brně, 2002, s. 33-38. ISBN 80-214-2135-5.
Detail

SLLAME Azeddien M. a 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: Vysoké učení technické v Brně, 2002, s. 87-92. ISBN 80-214-2135-5.
Detail

SEKANINA Lukáš a TORRESEN Jim. Detection of Norwegian Speed Limit Signs. In: Proc. of the 16th European Simulation Multiconference. Delft: SCS Publication House, 2002, s. 337-340. ISBN 90-77039-07-4.
Detail

ČEJKA Rudolf, DVOŘÁK Václav a STAROBA Jiří. Predicting performance of SMP clusters. Distributed and Parallel Systems - Cluster and Grid Computing. Boston/London: Kluwer Academic Publishers, 2002, s. 38-45. ISBN 1-4020-7209-0.
Detail

DVOŘÁ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, s. 934-940. ISBN 1-892512-88-2.
Detail

SEKANINA Lukáš a DRÁBEK Vladimír. Soft-hardware. Vesmír, roč. 81, č. 7, 2002, s. 393-395. ISSN 0042-4544.
Detail

SLLAME Azeddien M. a 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, s. 316-323. ISBN 0-7695-1790-0.
Detail

SLLAME Azeddien M. Efficient Design Space Characterization Toward Realizing High-Performance Digital systems. In: Proceedings of Electronic Devices and Systems EDS'02 Conference. Proceedings. Brno: Vysoké učení technické v Brně, 2002, s. 144-149. ISBN 80-214-2180-0.
Detail

STAROBA Jiří a 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: MARQ, 2002, s. 225-230. ISBN 80-85988-77-1.
Detail

ŠVÉDA Miroslav a RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Vysoké učení technické v Brně, 2002, s. 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: Vysoké učení technické v Brně, 2002, s. 152-155. ISBN 80-214-2172-X.
Detail

STRNADEL Josef a 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, s. 166-173. ISBN 0-7695-1790-0.
Detail

ŠVÉDA Miroslav a 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, s. 1543-1548. ISBN 0-7803-7454-1.
Detail

SEKANINA Lukáš a 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: Tallinna Tehnikaülikool, 2002, s. 355-358. ISBN 9985-59-292-1.
Detail

STRNADEL 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: Technická univerzita v Košiciach, 2002, s. 200-205. ISBN 80-7099-879-2.
Detail

ZBOŘIL František V., KOTÁSEK Zdeněk, MIKA Daniel a 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: Technická univerzita v Košiciach, 2002, s. 142-147. ISBN 80-7099-879-2.
Detail

MIKA Daniel, KOTÁSEK Zdeněk a 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: Technická univerzita v Košiciach, 2002, s. 135-141. ISBN 80-7099-879-2.
Detail

DRÁBEK Vladimír a SEKANINA Lukáš. Basic Principles of Bio-Inspired Approaches to Fault Tolerance: Tutorial. In: Design for Test of Systems on Chip: Digital Test. Tallinn: Tallinna Tehnikaülikool, 2002, s. 1-48. ISBN 0000-00-000-0.
Detail

RŮŽIČKA Richard. VHDL Circuit Description Transparency Analysis. In: Proceedings of the Fifth International Scientific Conference Electronic Computers and Informatics 2002. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2002, s. 194-199. ISBN 80-7099-879-2.
Detail

HLAVIČKA Jan, KOTÁSEK Zdeněk, MARINISSEN Erik Jan, NOVÁK Ondřej, RŮŽIČKA Richard a STRAUBE Bernd, ed. Proceedings of 5th International Workshop IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Fakulta informačních technologií VUT v Brně, 2002. ISBN 80-214-2094-4.
Detail

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

BUREŠ František. DocBook and Creation of Technical Documents. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2002, s. 421-425. ISBN 80-214-2116-9.
Detail

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

DVOŘÁ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.
Detail

SEKANINA Lukáš. Nanostructures and bio-inspired computer engineering. In: Proceedings of Nano02. Ostrava: Repronis, 2002, s. 233-236. ISBN 80-7329-027-8.
Detail

KAPOUN Vladimír a ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, roč. 2002, č. 12, s. 3. ISSN 1213-161X.
Detail

2001

ČEJKA Rudolf a 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í: MARQ, 2001, s. 115-120. ISBN 80-85988-57-7.
Detail

TOMŠŮ Michal a 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: MARQ, 2001, s. 121-126. ISBN 80-85988-57-7.
Detail

DVOŘÁK Václav a 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í: MARQ, 2001, s. 81-86. ISBN 80-85988-57-7.
Detail

DVOŘÁK Václav a ČÁ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í: MARQ, 2001, s. 109-114. ISBN 80-85988-57-7.
Detail

DVOŘÁ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: Oficyna Wydawnicza Politechniky Zielonogórskiej, 2001, s. 103-108. ISBN 83-85911-62-6.
Detail

MATOUŠ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: MARQ, 2001, s. 67-73. ISBN 80-85988-57-7.
Detail

MATOUŠEK Petr. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In: Modelling and Simulation 2001. Praha: České vysoké učení technické, 2001, s. 59-62. ISBN 1-56555-225-3.
Detail

SEKANINA Lukáš a DVOŘÁK Václav. A Totally Distributed Genetic Algorithm: From a Cellular System to the Mesh of Processors. In: Modelling and Simulation 2001. Prague: Fakulta elektrotechniky ČVUT, 2001, s. 539-543. ISBN 1-56555-225-3.
Detail

SCHWARZ Josef a 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í: MARQ, 2001, s. 101-108. ISBN 80-85988-57-7.
Detail

SCHWARZ Josef a 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: Fakulta strojního inženýrství VUT, 2001, s. 131-136. ISBN 80-214-1894-X.
Detail

SLLAME Azeddien M. a 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 spol. s r. o.., Hungary, 2001, s. 137-140. ISBN 963-7175-16-4.
Detail

STAROBA Jiří a DVOŘÁK Václav. Simulation-based performance tuning of a parallel bitonic sort algorithm. In: Proceedings of 7th Conference Student FEI 2001. Brno: Vysoké učení technické v Brně, 2001, s. 358-362. ISBN 80-214-1860-5.
Detail

ŠVÉDA Miroslav a VRBA Radimír. Executable Specifications for Distributed Embedded Systems. Computer, roč. 34, č. 1, 2001, s. 138-140. ISSN 0018-9162.
Detail

RATTRAY Charles, ŠVÉDA Miroslav a 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 a VRBA Radimír. Sensor Networking. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, s. 262-268. ISBN 0-7695-1086-8.
Detail

RATTRAY Charles a Š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, s. 357-358. ISBN 0-7695-1086-8.
Detail

ŠVÉDA Miroslav, ZEZULKA František a 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, s. 139-144. ISBN 1-85-769144-X.
Detail

ŠVÉDA Miroslav, VRBA Radimír a 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, s. 3541-3546. ISBN 960-8052-33-5.
Detail

ŠVÉDA Miroslav, VRBA Radimír a 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, s. 64-69. ISBN 960-8052-39-4.
Detail

VOJKŮVKA Michal a DRÁBEK Vladimír. Modelling of Montgomery Multiplication in GF(2^m). In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: MARQ, 2001, s. 441-446. ISBN 80-85988-57-7.
Detail

VRBA Radimír, ŠVÉDA Miroslav a ZEZULKA František. Interconnecting Smart Sensors through Low-Level Fieldbuses to Intranet/Internet. In: ICPR-16. Prague: neznámá, 2001, s. 1-6. ISBN 80-02-01438-3.
Detail

CACH Petr, FIEDLER Petr, VRBA Radimír, ZEZULKA František a ŠVÉDA Miroslav. Internet based remote I/O. In: ICPR-16. Prague: neznámá, 2001, s. 1-6. ISBN 80-02-01438-3.
Detail

KOTÁSEK Zdeněk, RŮŽIČKA Richard a 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 spol. s r. o.., Hungary, 2001, s. 123-128. ISBN 963-7175-16-4.
Detail

DVOŘÁK Václav a STAROBA Jiří. Numerical Performance Models of Synchronization Operations in Shared-Variable Programs. In: Proceedings of XXIII Int. Autumn Colloquium ASIS 2001. Ostrava: MARQ, 2001, s. 65-70. ISBN 80-85988-61-5.
Detail

ŠVÉDA Miroslav a STRACH Michal. A Sensor-to-Intranet Coupling Architecture. In: Proceedings of the 8th Electronic Devices and Systems Conference EDS'01. Brno: Fakulta elektrotechniky a informatiky VUT, 2001, s. 214-217. ISBN 80-214-1960-1.
Detail

ŠVÉDA Miroslav, VRBA Radimír a STRACH Michal. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Fakulta elektrotechniky a informatiky VUT, 2001.
Detail

KOTÁSEK Zdeněk, RŮŽIČKA Richard, STRNADEL Josef a ZBOŘIL František. Two Level Testability System. In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: MARQ, 2001, s. 433-440. ISBN 80-85988-57-7.
Detail

HLAVIČKA Jan, KOTÁSEK Zdeněk, RŮŽIČKA Richard a STRNADEL Josef. Interactive Tool for Behavioral Level Testability Analysis. In: Proceedings of the IEEE ETW 2001. Stockholm, 2001, s. 117-119.
Detail

KOTÁSEK Zdeněk a STRNADEL Josef. RTL Testability Analysis Based on Genetic Algorithm Implementation. In: Proceedings of the Tenth ICNACSA. Plovdiv: neznámá agentura, 2001, s. 1.
Detail

KOTÁSEK Zdeněk a STRNADEL Josef. RTL Testability Analysis Based on Genetic Algorithm Implementation. In: Proceedings of the IWCIT'01. Ostrava: Fakulta elektrotechniky a informatiky, VŠB-TU Ostrava, 2001, s. 83-88. ISBN 80-7078-907-7.
Detail

DRÁBEK Vladimír. Configurable Computing. In: Advanced Simulation of Systems. Ostrava: MARQ, 2001, s. 59-63. ISBN 80-85988-61-5.
Detail

KOTÁSEK Zdeněk a STRNADEL Josef. Analytic Approach to RTL Testability Analysis. In: Proceedings of 7th Conference Student FEI 2001. Brno: Vysoké učení technické v Brně, 2001, s. 363-367. ISBN 80-214-1860-5.
Detail

TOMŠŮ Michal. Goldschmidt's division algorithm using the pipelining principle. In: Student FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001, s. 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: Fakulta elektrotechniky a informatiky VUT, 2001, s. 316-318. ISBN 80-214-1859-1.
Detail

SCHWARZ Josef a OČENÁŠEK Jiří. Multiobjective Bayesian Optimization Algorithm for Combinatorial Problems: Theory and Practice. NEURAL NETWORK WORLD, roč. 11, č. 5, 2001, s. 423-441. ISSN 1210-0552.
Detail

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

OČENÁŠEK Jiří a 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, s. 115-120. ISBN 84-89925-97-6.
Detail

2000

ČEJKA Rudolf a 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: MARQ, 2000, s. 135-142. ISBN 80-85988-44-5.
Detail

DVOŘÁK Václav a Č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, s. 18-23. ISBN 0-7695-604-6.
Detail

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

SEKANINA Lukáš a 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, s. 25-30. ISBN 0-7695-0646-1.
Detail

ČÁBEL Miloš a DULÍK Tomáš. An Advanced Multichannel Diaphragm Controller. In: Artificial Intelligence in Control and Measurment. Brno: Fakulta elektrotechniky a informatiky VUT, 2000, s. 13-18.
Detail

DVOŘÁK Václav a Č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, s. 229-232. ISBN 0-7923-7892-X.
Detail

DVOŘÁK Václav. Formal Specifications of Computer-Based Systems. Journal of Universal Computer Science. Graz: Springer Verlag, 2000, s. 1-3. ISBN 3-540-62047-8.
Detail

DVOŘÁK Václav a MARKOVIČ Lubomír. High Performance Computing in JAVA -- Fact or Fiction?. FIMU-RS-2000-11. neznámá, 2000.
Detail

KOTÁSEK Zdeněk a 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: Slovenská akademie věd, 2000, s. 209-212. ISBN 80-968320-3.
Detail

HLAVIČKA Jan, KOTÁSEK Zdeněk a RŮŽIČKA Richard. Formal Approach to RTL Testability Analysis. In: sborník konference IEEE LATW 2000. Rio de Janeiro: neznámá, 2000, s. 98-103.
Detail

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

MATOUŠEK Petr, RÁB Jaroslav a 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: neznámá, 2000, s. 71-75. ISBN 1-85-769121-0.
Detail

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

SEKANINA Lukáš a DRÁBEK Vladimír. The Concept of Pseudo Evolvable Hardware. In: IFAC Workshop on Programmable Devices and Systems 2000. Elsevier Science Ltd. Oxford: neznámá, 2000, s. 6. ISBN 0-08-043620-X.
Detail

SEKANINA Lukáš a 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: neznámá, 2000, s. 161-168. ISBN 80-968320-3-4.
Detail

SEKANINA Lukáš a 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: neznámá, 2000, s. 134-137. ISBN 80-968320-3-4.
Detail

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

SEKANINA Lukáš a SLLAME Azeddien M. Toward Uniform Approach to Design of Evolvable Hardware Based Systems. Lecture Notes in Computer Science, roč. 2000, č. 1896, s. 814-817. ISSN 0302-9743.
Detail

SCHWARZ Josef a OČENÁŠEK Jiří. Partitioning-oriented placement using advanced genetic algorithm BOA. In: Procceedings of the Mendel '2000 Conference. BRNO: Fakulta strojního inženýrství VUT, 2000, s. 88-91. ISBN 80-214-1609-2.
Detail

OČENÁŠEK Jiří a SCHWARZ Josef. The Parallel Bayesian Optimization Algorithm. In: Proceedings of the European Symposium on Computational Inteligence. Košice: Springer Verlag, 2000, s. 61-67. ISBN 3-7908-1322-2. ISSN 1615-3871.
Detail

SCHWARZ Josef a OČENÁŠEK Jiří. A problem 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, s. 51-58. ISBN 1-58603-060-4.
Detail

SCHWARZ Josef. Fuzzy genetic algorithm - a brief survey. In: Proceedings of the Colloquium Advanced Simulation of Systems. Bystřice pod Hostýnem: MARQ, 2000, s. 353-358. ISBN 80-85988-51-8.
Detail

SCHWARZ 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: neznámá, 2000, s. 72-75.
Detail

SLLAME Azeddien M. a SEKANINA Lukáš. Simulation and Modeling of Evolvable Hardware Based Systems. In: MS2000 International Conference on Modeling and Simulation. Las Palmas de Gran Canaria: neznámá, 2000, s. 485-492. ISBN 84-95286-59-9.
Detail

SLLAME Azeddien M. a DRÁBEK Vladimír. Design of Graphical Hardware. In: MOSIS2000 34th Spring International Conference Modeling and Simulation of Systems. Roznov pod Radhostem: MARQ, 2000, s. 51-55. ISBN 80-85988-44-5.
Detail

SLLAME Azeddien M. Design Exploration Based Reusability Method. In: Student Conference STC2000 FEI VUT Brno. Brno: Akademické nakladatelství CERM sro., 2000, s. 240-242. ISBN 80-7204-155-X.
Detail

LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian a Š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: neznámá, 2000, s. 1-8.
Detail

GONZALES Regina M., LAVI Jonah Z., MANNION Mike a ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses - Proposed Course Outlines. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: neznámá, 2000, s. 1-9.
Detail

LAVI Jonah Z., MELHART Bonnie, PYLE Ian a Š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: neznámá, 2000, s. 1-18.
Detail

JANKOVSKÝ Michal a Š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: neznámá, 2000, s. 77-79. ISBN 1-85-769121-0.
Detail

ŠVÉDA Miroslav a 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, s. 81-85. ISBN 1-85-769121-0.
Detail

PICHLER Franz, RATTRAY Charles a Š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, s. 382-382. ISBN 0-7695-0604-6.
Detail

ŠVÉDA Miroslav, VRBA Radimír a 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, s. 148-155. ISBN 0-7695-0604-6.
Detail

RATTRAY Charles a Š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.
Detail

VEČEŘA Ivo, VRBA Radimír a ŠVÉDA Miroslav. Senzory s vlastním testováním. Elektrorevue - www.elektrorevue.cz, roč. 2000, č. 12, s. 1-7. ISSN 1213-1539.
Detail

ŠVÉDA Miroslav a VRBA Radimír. Rapid Prototyping of Embedded Communication Systems. In: Proceedings ICT 2000. Acapulco: neznámá, 2000, s. 677-681. ISBN 968-36-7762-2.
Detail

ŠVÉDA Miroslav a VRBA Radimír. DCB Digital Communication On-board Bus. In: Proceedings ICT 2000. Acapulco: IEEE Computer Society, 2000, s. 1088-1092. ISBN 968-36-7762-2.
Detail

ŠVÉDA Miroslav. Patterns for Embedded Systems Design. Lecture Notes in Computer Science, roč. 2000, č. 1798, s. 80-89. ISSN 0302-9743.
Detail

ZBOŘ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: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2000, s. 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 sro., 1999, s. 75-76. ISBN 80-214-1155-4.
Detail

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

DVOŘÁK Václav a Č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: MARQ, 1999, s. 43-50. ISBN 80-85988-33-X.
Detail

DVOŘÁK Václav a 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: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 1999, s. 186-191. ISBN 80-88922-05-4.
Detail

ČEJKA Rudolf a DVOŘÁK Václav. CSP-based Modeling of SM Architectures. In: Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 1999, s. 163-168. ISBN 80-88922-05-4.
Detail

DVOŘÁK Václav a DRÁBEK Vladimír. Architektura procesorů. Brno, 1999. ISBN 80-214-1458-8.
Detail

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

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

RŮŽ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 sro., 1999, s. 101-102. ISBN 80-214-1155-4.
Detail

SEKANINA Lukáš. Evolvable Hardware as Non-Linear Predictor for Image Compression. In: Proc. of the 2nd Prediction Conference Nostradamus'99. Zlín: neznámá, 1999, s. 87-92. ISBN 80-214-1424-3.
Detail

SCHWARZ Josef. Utilizing Genetic Algorithms for VLSI Physical Design-a Brief Survey. In: Electronic Devices and Systems 1999-Proceedings. BRNO: neznámá, 1999, s. 88-91. ISBN 80-214-1466-9.
Detail

SLLAME 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 sro., 1999, s. 121-124. ISBN 80-214-1466-9.
Detail

GONZALES Regina M., LAVI Jonah Z., MANNION Mike a Š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: neznámá, 1999, s. 336-343. ISBN 0-7695-0028-5.
Detail

HRDLIČKA Milan, ŠVÉDA Miroslav a ZEZULKA František. Fieldbus Interconnections Testbed. In: Proceedings of European Symposium INNOCAP'99: Sensor Networks and Communications. Grenoble: neznámá, 1999, s. 123-128.
Detail

ŠVÉDA Miroslav. Patterns for Embedded Systems Design. In: Preprints EUROCAST´99. Vienna: neznámá, 1999, s. 277-280.
Detail

ŠVÉDA Miroslav. An Asynchronous Specification Language for Computer-Based Systems Design. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Fakulta elektrotechniky a informatiky VUT, 1999, s. 137-143. ISBN 80-214-1466-9.
Detail

ŠVÉDA Miroslav. Low-Level Fieldbus Coupler Prototyping. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Fakulta elektrotechniky a informatiky VUT, 1999, s. 244-247. ISBN 80-214-1466-9.
Detail

KOTÁSEK Zdeněk, RŮŽIČKA Richard a ZBOŘIL František. Partial Scan Methodology in VHDL Environment. In: CEI'99. Herľany: neznámá, 1999, s. 146-151. ISBN 80-88922-05-4.
Detail

HLAVIČKA Jan, KOTÁSEK Zdeněk a ZBOŘIL František. Partial Scan Methodology for RTL Designs. In: Compendium of Papers ETW'99. Constance: neznámá, 1999, s. 2. ISBN 0-7695-0390-X.
Detail

1998

DULÍK Tomáš. Acceleration of DSP algorithms using FPGAs. In: Sborník prací studentů a doktorandů. Brno: Fakulta elektrotechniky a informatiky VUT, 1998, s. 39-40.
Detail

KOTÁSEK Zdeněk a ZBOŘIL František. Boundary Scan of PCBs with Xilinx FPGAs. In: Sborník konference ECI98. Herlany: neznámá, 1998, s. 70-74. ISBN 80-88786-94-0.
Detail

RYŠÁNEK Martin. Congestion in High-Loaded Networks of Parallel Machines. In: SEIHPC Workshop 1998, Madrid, Spain. Madrid: neznámá, 1998, s. 58-64.
Detail

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

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

SCHWARZ Josef. Case study: Genetic object designer. In: ASIS 1998. Krnov: MARQ, 1998, s. 109-114. ISBN 80-85988-26-7.
Detail

SCHWARZ Josef. Genetic algorithm for partitioning circuits. In: Mendel '98. Brno: neznámá, 1998, s. 126-131. ISBN 80-214-1199-6.
Detail

LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian a Š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: neznámá, 1998, s. 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, s. 256-263. ISBN 0-8186-8463-1.
Detail

LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian a Š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, s. 369-376. ISBN 0-8186-8463-1.
Detail

ŠVÉDA Miroslav. Computer-Based Systems: An Emerging Discipline. In: EDS'98 Proceedings. Brno: neznámá, 1998, s. 325-328. ISBN 80-214-1198-8.
Detail

ŠVÉDA Miroslav a VRBA Radimír. Interconnecting Architectures for Sensors and Actuators. In: Advances in Systems, Signals, Control and Computers. Durban: neznámá, 1998, s. 414-418. ISBN 0-620-23136-X.
Detail

ŠVÉDA Miroslav, VEČEŘA Ivo a VRBA Radimír. Smart Sensors Based upon ASI Bus Interface with Built-in Self Test. In: Advances in Systems, Signals, Control and Computers. Durban: neznámá, 1998, s. 419-424. ISBN 0-620-23136-X.
Detail

ŠVÉDA Miroslav a ZEZULKA František. Communication on the Control Level--An Extension Phenomenon of Control. In: Proceedings of the 15th International Congress on Cybernetics. Namur: neznámá, 1998, s. 312-317. ISBN 2-87215-004-8.
Detail

KOTÁSEK Zdeněk a ZBOŘIL František. Nonstandard Automatic Test Pattern Generation Based on Neural Network Theory. In: Proceedings of the ECI'98. Herlany: Slovenská akademie věd, 1998, s. 75-80. ISBN 80-88786-94-0.
Detail

1997

DRÁBEK Vladimír. Modelling of Evolvable Hardware. In: MOSIS 97. Hradec nad Moravicí: MARQ, 1997, s. 319-324. ISBN 80-85988-18-6.
Detail

CIGÁNEK Petr a DRÁBEK Vladimír. Applications of Binary Cellular Automata in BIST. In: Bratislava, Sept. 4-5, 1997, s. 189-192.
Detail

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

DVOŘÁK Václav. Bounds on the Sizes of Decision Diagrams. The Journal of Universal Computer Science. Berlin, Heidelberg: Springer Verlag, 1997, s. 2-22. ISBN 3-540-62047-8.
Detail

EYSSELT 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í: neznámá, 1997, s. 177-182. ISBN 80-85988-18-6.
Detail

BLATNÝ Jan, HLAVIČKA Jan a KOTÁSEK Zdeněk. RT Level Test Scheduling. Computer and Artificial Intelligence, roč. 14, č. 1, 1997, 1997, s. 13-29. ISSN 0232-0274.
Detail

KOTÁSEK Zdeněk. RT Level Element Classification. In: Proceedings of the DDECS 97. Soláň: neznámá, 1997, s. 41-46. ISBN 80-85988-19-4.
Detail

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

ŠVÉDA Miroslav. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, roč. 1998, č. 133, 1997, s. 34-49. ISSN 0302-9743.
Detail

ŠVÉDA Miroslav. Local Time for Systems Analysis. Frontiers in Artificial Intelligence and Applications, 1997, s. 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, roč. 43, č. 1, 1997, s. 47-57. ISSN 1383-7621.
Detail

ŠVÉDA Miroslav, BABKA Oto a FREEBURN Jana. Knowledge Preserving Development: A Case Study. In: Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997, s. 347-352. ISBN 0-8186-7889-5.
Detail

ŠVÉDA Miroslav a ZEZULKA František. Interconnecting Low-Level Fieldbusses. In: Proc. Euromicro'97. Los Alamitos, California: IEEE Computer Society Press, 1997, s. 260-267. ISBN 0-8186-8129-2.
Detail

ŠVÉDA Miroslav a VRBA Radimír. ASI Interconnectivity. In: Preprints IFAC SICICA'97. Annecy: neznámá, 1997, s. 621-626.
Detail

HLAVIČKA Jan, KOTÁSEK Zdeněk a ZBOŘIL František. Test Overhead Reduction through RT Level Testability Analysis. In: Proceedings of the IEEE ETW 1997. Cagliary: neznámá, 1997, s. 43-47.
Detail

KOTÁSEK Zdeněk a ZBOŘIL František. RT Level Testability Analysis In PROLOG Enviroment. In: Proceedings of the DDECS'97. Ostrava: MARQ, 1997, s. 47-52. ISBN 80-85988-19-4.
Detail

KOTÁSEK Zdeněk a ZBOŘIL František. RT Level Testability Analysis to Reduce Test Application Time. In: Proceedings of the EUROMICRO 97. Budapest: neznámá, 1997, s. 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, s. 136-141. ISBN 80-85988-03-8.
Detail

DRÁBEK Vladimír. Dependability Issues of Medical Electronics. In: Brno, 1996, s. 63-66. ISBN 80-214-0767-8.
Detail

DRÁBEK Vladimír. High-Level Specification and Verification as a New Design Methodology. In: Brno, 1996, s. 197-200. ISBN 80-214-0768-9.
Detail

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

DVOŘÁK Václav. Prototyping parallel ANN implementations with TRANSIM. In: HPCS' 96 Conference Proceedings. Ottawa: neznámá, 1996, s. 1-16. ISBN 0-88629-301-4.
Detail

DVOŘÁK Václav. Parallel implementation of ANN for Embedded Applications. In: Proceedings WORKSHOP'96. Praha: Fakulta elektrotechniky ČVUT, 1996, s. 221-222.
Detail

DVOŘÁ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, s. 219-220. ISBN ?.
Detail

EYSSELT 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: neznámá, 1996, s. 130-135. ISBN 80-85988-03-8.
Detail

EYSSELT 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: Fakulta elektrotechniky a informatiky VUT, 1996, s. 220-223. ISBN 80-214-0767-8.
Detail

EYSSELT 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: Fakulta elektrotechniky a informatiky VUT, 1996, s. 41-44. ISBN 80-214-0768-9.
Detail

EYSSELT 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: Fakulta elektrotechniky a informatiky VUT, 1996, s. 55-58. ISBN 80-214-0768-9.
Detail

EYSSELT 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ě: neznámá, 1996, s. 136-141. ISBN 80-85988-10-0.
Detail

EYSSELT 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: neznámá, 1996, s. 176-181.
Detail

ŠVÉDA Miroslav. A Prototyping Technique for Distributed Microcontrollers. In: CSS '96. Brno: neznámá, 1996, s. 61-68. ISBN 80-214-0768-9.
Detail

SCHWARZ Josef. Motorola microcontroller as the platform for fuzzy application. In: Proceedings of CSS '96. Brno: neznámá, 1996, s. 239-242. ISBN 80-214-0768-9.
Detail

SCHWARZ Josef, DVOŘÁK Václav a BUREŠ Pavel. Číslicové a impulsové obvody. Brno: Vysoké učení technické v Brně, 1996. ISBN 80-214-0622-4.
Detail

ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, roč. 27, č. 2, 1996, s. 197-212. ISSN 0196-9722.
Detail

ŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: neznámá, 1996, s. 356-361. ISBN 0-85296-664-4.
Detail

ŠVÉDA Miroslav a 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, s. 79-83. ISBN 0-92183-43-14.
Detail

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

ZENDULKA Jaroslav. Tools for designing with Xilinx FPGAs. In: Proceedings of EDS'96. Brno: Vysoké učení technické v Brně, 1996, s. 15-18. ISBN 80-214-0767-8.
Detail

ZENDULKA Jaroslav. Program for demonstration of scheduling and allocation in high-level synthesis. In: Proceedings of EDS'96. Brno: Vysoké učení technické v Brně, 1996, s. 382-385. ISBN 80-214-0767-8.
Detail

1995

DRÁBEK Vladimír a STACHNÍK Michal. A Fault-Tolerant ASIC Array. In: Baligrod-Bystre, 9-13 Oct., 1995: neznámá, 1995, s. 193-200. ISBN 83-900859-3-3.
Detail

DVOŘÁK Václav a 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, s. 11-18. ISBN 80-214-0657-7.
Detail

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

EYSSELT Miloš a 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: Fakulta elektrotechniky a informatiky VUT, 1995, s. 69-78. ISBN 80-214-0657-7.
Detail

EYSSELT Miloš. A Method for Finding All Disjoint Covers of a Boolean Function. In: Proceedings of the Electronic Devices and Systems Conference. June 28, Brno: Fakulta elektrotechniky a informatiky VUT, 1995, s. 209-212.
Detail

EYSSELT Miloš. The Contribution to the TANT and TONT Networks Design-Automatization. In: Proceedings of the Electronic Devices and Systems Conference. June 28, Brno: Fakulta elektrotechniky a informatiky VUT, 1995, s. 203-216.
Detail

EYSSELT 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ě: neznámá, 1995, s. 36-41. ISBN 80-901751-1-2.
Detail

HLAVIČKA Jan, KOTÁSEK Petr a KOTÁSEK Zdeněk. RT Level Test Scheduling Procedure. In: Proceedings on Design Metodologies for Microelectronics. Smolenice: Slovenská akademie věd, 1995, s. 264-271.
Detail

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

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

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

ŠVÉDA Miroslav a ZEZULKA František. Local Time for Systems Theory and Control Engineering. In: Proceedings of the 14th International Congress on Cybernetics. Namur: neznámá, 1995, s. 560-564. ISBN 2-87215-003.
Detail

ZENDULKA Jaroslav. Program for demonstration of ROBDD's. In: Proceedings of EDS'95. Brno: Vysoké učení technické v Brně, 1995, s. 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: neznámá, 1994, s. 51-56.
Detail

LINHART Miroslav, ŠPRTA J. a 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: neznámá, 1994, s. 261-268.
Detail

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

ŠVÉDA Miroslav. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming (North-Holland), roč. 40, č. 4, 1994, s. 291-301. ISSN 0165-6074.
Detail

ŠVÉDA Miroslav. Design and Development of Industrial Measurement System--Architecture and Software. Microprocessing and Microprogramming (North-Holland), roč. 40, č. 10, 1994, s. 887-890. ISSN 0165-6074.
Detail

ŠVÉDA Miroslav, VRBA Radimír, LEGÁT Pavel a ZEZULKA František. ASI Instrumentation. Microprocessing and Microprogramming (North-Holland), roč. 40, č. 10, 1994, s. 879-882. ISSN 0165-6074.
Detail

ŠVÉDA Miroslav. Fuel Stand Control System Design. Elektrotechnik und Informationstechnik ÖVE - Verbandszeitschrift, roč. 111, č. 4, 1994, s. 171-173. ISSN 0932-383X.
Detail

ŠVÉDA Miroslav. Multiple Lift Control System. In: Proceedings 20th Euromicro 94 Conf.. Liverpool: neznámá, 1994, s. 581-587. ISBN 0-8186-6430-4.
Detail

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

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

1993

LINHART Miroslav, ŠPRTA J. a ZENDULKA Jaroslav. A Transputer-Based Digital Circuits Simulator. In: International conference CATE'93. Brno: neznámá, 1993, s. 389-391.
Detail

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

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

ŠVÉDA Miroslav. Routers and Bridges for Small Area Network Interconnection. Computers in Industry, roč. 22, č. 1, 1993, s. 25-29. ISSN 0166-3615.
Detail

ŠVÉDA Miroslav. Small Area Network Interconnection. Microprocessing and Microprogramming (North-Holland), roč. 37, č. 2, 1993, s. 193-196. ISSN 0165-6074.
Detail

ŠVÉDA Miroslav. Language Prototyping with Attribute Grammars and Macros. Microprocessing and Microprogramming (North-Holland), roč. 39, č. 2, 1993, s. 151-154. ISSN 0165-6074.
Detail

ZENDULKA Jaroslav. Levelized Compiled and Event-Driven Simulation - a Case Study. In: International conference CATE'93. Brno: neznámá, 1993, s. 349-352.
Detail

ZENDULKA Jaroslav. Simulační systém VHDL-XL. In: Vybrané problémy simulačních modelů. Ostrava: neznámá, 1993, s. 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: neznámá, 1992, s. 1-4. ISBN 0-8186-2760.
Detail

DVOŘÁK Václav a ŠUSTR Josef. Digital system synthesis on FPGAs. In: Proceedings of Mikrosystem' 92. Bratislava: neznámá, 1992, s. 100-103. ISBN 80-233-0255-8.
Detail

DVOŘÁK Václav. Easily- and self-testable chip, board, and system architectures. EC Newsletter, roč. Vol.4, January-A, č. No.1, 1992, s. 227-243. ISSN 1120-7221.
Detail

ŠVÉDA Miroslav. Microcontroller Software Engineering. Microprocessing and Microprogramming (North-Holland), roč. 34, č. 1, 1992, s. 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: neznámá, 1992, s. 1255-1261. ISBN 981-02-1992-X.
Detail

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

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

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

1991

DVOŘÁK Václav. CAD tools for VLSI. In: Bari, 1991.
Detail

EYSSELT Miloš. The Mathematical Logic and Calculations of the Reliability. BULLETIN of the Technical University Brno, Volume 1991/1-4. Brno: Vysoké učení technické v Brně, 1991, s. 151-158. ISBN 80-214-0200-8. ISSN 0524-7462.
Detail

HORVÁTH P. a LINHART Miroslav. Periférne zariadenia číslicových počítačov. neznámá, 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, roč. 1990, č. 130, s. 213-223. ISBN 80-214-0393-4. ISSN 0368-6582.
Detail

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

FABIAN P., LINHART Miroslav a ZELEM J. Some results gained from the experients with the LOPOS simulation model. Systems Science. neznámá, 1990, s. 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: Vysoké učení technické v Brně, 1989, s. 209-212. ISBN 80-214-0009-4.
Detail

EYSSELT 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, roč. 1990, č. 129, 1989, s. 185-191. ISBN 80-214-0214-8. ISSN 0368-6582.
Detail

1984

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

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

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

EYSSELT 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: neznámá, 1984.
Detail