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