2019

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

VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods. In: 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III. Lecture Notes in Computer Science, volume 11538. Faro: Springer International Publishing, 2019, pp. 577-590. ISBN 978-3-030-22743-2.
Detail

TREEBY Bradley E., JAROŠ Jiří, MARTIN Eleanor and COX Ben T. From Biology to Bytes: Predicting the Path of Ultrasound Waves Through the Human Body. Acoustics Today, vol. 15, no. 2, pp. 36-44. ISSN 1557-0223.
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, pp. 23-26. ISBN 978-80-88214-20-5.
Detail

VAVERKA Filip. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. In: PAD 2019. Doksy, 2019, pp. 64-67.
Detail

KUKLIŠ Filip. Optimization of Evolutionary Strategy using Island Model to Design HIFU Treatment Plans. In: Sborník semináře PAD 2019. Doksy, 2019, pp. 5-8.
Detail

2018

SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. and CLEVELAND Robin. Full modelling of high-intensity focused ultrasound and thermal heating in the kidney of realistic patient models. IEEE Transactions on Biomedical Engineering, vol. 2018, no. 65, pp. 2660-2670. ISSN 0018-9294.
Detail

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

KADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. In: 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans: IEEE Computer Society, 2018, pp. 188-195. ISBN 978-1-5386-7879-4.
Detail

SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida and BLANCO Roberto. The Effect of Tissue Physiological Variablity on Transurethral Ultrasound Therapy of the Prostate. In: Proceedings of 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018, pp. 5701-5704. ISBN 978-1-5386-3646-6.
Detail

ČUDOVÁ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using Evolutionary Strategy. In: GECCO'18 Companion: Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, pp. 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 and BLANCO Roberto. Transurethral ultrasound therapy of the prostate in the presence of calcifications: a simulation study. Journal of Medical Physics, vol. 45, no. 11, pp. 4793-4804. ISSN 0094-2405.
Detail

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

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

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

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

TREEBY Bradley E., VAVERKA Filip and JAROŠ Jiří. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics, vol. 34, no. 022002, pp. 1-5. ISSN 1939-800X.
Detail

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

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

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

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

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

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

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

2017

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

GEORGIOU Panyiotis, JAROŠ Jiří, PAYNE Heather, ALLEN Clare, GIBSON Eli, BARRATT Dean and TREEBY Bradley E. Beam Distortion Due to Gold Fiducial Markers During Salvage High-Intensity Focused Ultrasound in the Prostate. Journal of Medical Physics, vol. 44, no. 2, pp. 679-693. ISSN 0094-2405.
Detail

NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří and KELEČÉNI Jakub. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In: High Performance Computing. Lecture Notes in Computer Science, vol. 10226. Cham: Springer International Publishing, 2017, pp. 377-393. ISBN 978-3-319-58667-0.
Detail

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

JAROŠ Jiří, TREEBY Bradley E. and GEORGIOU Panyiotis. Modelling Beam Distortion during Focused Ultrasound Surgery in the Prostate using k-Wave. Supercomputing in Science and Engineering. Ostrava: VŠB-Technical University of Ostrava - IT4I, 2017, pp. 205-207. ISBN 978-80-248-4037-6.
Detail

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

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

KLEPÁRNÍK Petr, ZEMČÍK Pavel and JAROŠ Jiří. Efficient Lossy Compression of Ultrasound Data. In: 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT). Bilbao: Institute of Electrical and Electronics Engineers, 2017, pp. 232-237. ISBN 978-1-5386-4662-5.
Detail

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

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

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

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

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

KADLUBIAK Kristián, TREEBY Bradley E. and JAROŠ Jiří. Simulation of Ultrasound Propagation in Bone. Ostrava, 2017.
Detail

2016

JAROŠ Jiří, RENDELL Alistair P. and TREEBY Bradley E. Full-wave nonlinear ultrasound simulation on distributed clusters with applications in high-intensity focused ultrasound. The International Journal of High Performance Computing Applications, vol. 2016, no. 2, pp. 137-155. ISSN 1741-2846.
Detail

MERTA Michal, ZAPLETAL Jan and JAROŠ Jiří. Many Core Acceleration of the Boundary Element Method. In: Proceedings of High Performance Computing in Science and Engineering. Lecture Notes in Computer Science, vol. 9611. Basel: Springer International Publishing, 2016, pp. 116-125. ISBN 978-3-319-40360-1.
Detail

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

TREEBY Bradley E., JAROŠ Jiří and COX Ben T. Advanced photoacoustic image reconstruction using the k-Wave toolbox. In: SPIE Proceedings Vol. 9708: Photons Plus Ultrasound: Imaging and Sensing 2016. SPIE Proceedings vol 9708. San Francisco: SPIE - the international society for optics and photonics, 2016, pp. 1-14. ISBN 978-1-62841-942-9.
Detail

JAROŠ Jiří, VAVERKA Filip and TREEBY Bradley E. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. International Journal of Supercomputing Frontiers and Innovations, vol. 3, no. 3, pp. 39-54. ISSN 2313-8734.
Detail

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

SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. and CLEVELAND Robin. Nonlinear 3-D simulation of high-intensity focused ultrasound therapy in the kidney. In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Orlando: Institute of Electrical and Electronics Engineers, 2016, pp. 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: Faculty of Information Technology BUT, 2016, pp. 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: Faculty of Information Technology BUT, 2016, pp. 81-84. ISBN 978-80-214-5376-0.
Detail

JAROŠ Jiří, VAVERKA Filip and TREEBY Bradley E. Spectral Domain Decomposition Using Local Fourier Basis: Application to Ultrasound Simulation on a Cluster of GPUs. Salt Lake City, 2016.
Detail

2015

DVOŘÁK Václav and MIKUŠEK Petr. Memory-Based Logic Control for Embedded Systems. Lecture Notes in Electrical Engineering, vol. 325, no. 1, pp. 367-379. ISSN 1876-1100.
Detail

JAROŠ Jiří, NIKL Vojtěch and TREEBY Bradley E. Large-scale Ultrasound Simulations Using the Hybrid OpenMP/MPI Decomposition. In: Proceedings of the 3rd International Conference on Exascale Applications and Software. Edinburgh: Association for Computing Machinery, 2015, pp. 115-119. ISBN 978-0-9926615-1-9.
Detail

JAROŠ Jiří, MAREK Jan and MENŠÍK Pavel. Optimisation of Water Management Systems Using a GPU-Accelerated Differential Evolution. In: Proceedings of 2015 IEEE Symposium Series on Computational Intelligence. Cape Town: IEEE Computer Society, 2015, pp. 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: Faculty of Applied Informatics, Tomas Bata University in Zlín, 2015, pp. 37-41. ISBN 978-80-7454-522-1.
Detail

JAROŠ Jiří, DOHNAL Matěj and TREEBY Bradley E. Large-scale Ultrasound Simulations with Local Fourier Basis Decomposition. The International Conference for High Performance Computing, Networking, Storage Analysis, SC15. Austin, 2015.
Detail

2014

ZÁŇ Drahoslav and JAROŠ Jiří. Solving Multidimensional Knapsack Problem using CUDA Accelerated PSO. In: 2014 IEEE Congress on Evolutionary Computation. Beijing: IEEE Computational Intelligence Society, 2014, pp. 2933-2939. ISBN 978-1-4799-1488-3.
Detail

GROEN Derek, CHACRA David A., NASH Rupert W., JAROŠ Jiří, BERNABEU Miguel O. and COVENEY Peter V. Weighted decomposition in high-performance lattice-Boltzmann simulations: are some lattice sites more equal than others?. In: nternational Conference on Exascale Applications and Software, EASC 2014. Lecture Notes in Computer Science, vol. 8759. Stockholm: Springer Verlag, 2014, pp. 28-38. ISBN 978-3-319-15976-8.
Detail

JAROŠ Jiří and TYRALA Radek. GPU-accelerated Evolutionary Design of the Complete Exchange Communication on Wormhole Networks. In: GECCO '14 Proceedings of the 2014 conference on Genetic and evolutionary computation. New York, NY: Association for Computing Machinery, 2014, pp. 1023-1030. ISBN 978-1-4503-2662-9.
Detail

NIKL Vojtěch and JAROŠ Jiří. Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition. In: Mathematical and Engineering Methods in Computer Science. Lecture Notes in Computer Science, vol. 8934. Heidelberg: Springer International Publishing, 2014, pp. 100-112. ISBN 978-3-319-14895-3.
Detail

TREEBY Bradley E., JAROŠ Jiří, ROHRBACH Daniel and COX Ben T. Modelling Elastic Wave Propagation Using the k-Wave MATLAB Toolbox. In: 2014 IEEE International Ultrasonics Symposium (IUS). Chicago, IL: Institute of Electrical and Electronics Engineers, 2014, pp. 146-149. ISBN 978-1-4799-7049-0.
Detail

2013

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

2012

DVOŘÁK Václav. On the Complexity and Optimization of Branching Programs for Decision Diagram Machines. In: Programmable Devices and Embedded Systems PDeS 2012. Brno: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 84-89. ISBN 978-3-902823-21-2. ISSN 1474-6670.
Detail

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

JAROŠ Jiří. Multi-GPU Island-Based Genetic Algorithm Solving the Knapsack Problem. In: 2012 IEEE World Congress on Computational Intelligence. CA: Institute of Electrical and Electronics Engineers, 2012, pp. 217-224. ISBN 978-1-4673-1508-1.
Detail

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

2011

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

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

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

MIKUŠEK Petr, TOMEC Martin and DVOŘÁK Václav. A Cascade Decomposition of Application-Specific Systems. In: MEMICS Proc.. Brno: Brno University of Technology, 2011, pp. 78-85. ISBN 978-80-214-4305-1.
Detail

2010

DVOŘÁK Václav and JAROŠ Jiří. Optimizing Collective Communications on 2D-Mesh and Fat Tree NoC. In: Proceedings of the Ninth International Conference on Networks ICN 2010. Piscataway, NJ: IEEE Computer Society, 2010, pp. 22-27. ISBN 978-0-7695-3979-9.
Detail

KOŘENEK Jan and PUŠ Viktor. Memory Optimization for Packet Classification Algorithms in FPGA. In: Proceedings of the 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Vídeň: IEEE Computer Society, 2010, pp. 297-300. ISBN 978-1-4244-6610-8.
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, pp. 140-145. ISBN 978-989-8425-02-7.
Detail

JAROŠ Jiří and DVOŘÁK Václav. Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs. In: Proceedings of 2010 Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2010, pp. 1171-1178. ISBN 978-1-4503-0072-8.
Detail

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

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

2009

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

MIKUŠEK Petr and DVOŘÁK Václav. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, pp. 605-608. ISBN 978-0-7695-3782-5.
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, pp. 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: Tomas Bata University in Zlín, 2009, pp. 118-123. ISBN 978-80-7318-847-4.
Detail

DVOŘÁK Václav and MIKUŠEK Petr. Firmware Optimization for Embedded Logic Control. IFAC-PapersOnLine, vol. 2009, no. 1, pp. 109-114. ISBN 978-3-902661-69-2. ISSN 1474-6670.
Detail

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

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

2008

DVOŘÁK Václav. Implementation of Combinational and Sequential Functions in Embedded Firmware. International Journal of Software Engineering and Its Applications, vol. 2, no. 1, pp. 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, pp. 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, pp. 317-322. ISBN 978-0-7695-3105-2.
Detail

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

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

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

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

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

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

JAROŠ Jiří and SCHWARZ Josef. Evolutionary Design of Wormhole Switched Collective Communications. In: Proceedings of Junior Scientist Conference 2008. Vienna: TU Vienna, 2008, p. 2. ISBN 978-3-200-01612-5.
Detail

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

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

2007

DVOŘÁK Václav. Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. In: Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2007, pp. 178-185. ISBN 0-7695-2772-8.
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: Brno University of Technology, 2007, pp. 430-434. ISBN 80-214-3410-4.
Detail

DVOŘÁK Václav, JAROŠ Jiří and OHLÍDAL Miloš. Optimum Topology-Aware Scheduling of Collective Communications. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, pp. 1-6. ISBN 0-7695-2805-8.
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, p. 6. ISBN 0-7695-2807-4.
Detail

JAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. An Evolutionary Approach to Collective Communication Scheduling. In: 2007 Genetic and Evolutionary Computation Conference. Volume II. New York: Association for Computing Machinery, 2007, pp. 2037-2044. ISBN 978-1-59593-697-4.
Detail

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

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

DVOŘÁK Václav. LUT Cascade-Based Architectures for High Productivity Embedded Systems. International Review on Computers and Software, vol. 2, no. 4, pp. 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, vol. 2, no. 5, pp. 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, pp. 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: Faculty of Informatics and Information Technology Slovak University of Technology in Bratislava, 2007, pp. 97-102. ISBN 978-80-227-2697-9.
Detail

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

ŠIMEK Václav. Medical Data Compression. In: Počítačové architektury a diagnostika. Plzeň: University of West Bohemia in Pilsen, 2007, pp. 143-148. ISBN 978-80-7043-605-9.
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ň: University of West Bohemia in Pilsen, 2007, p. 6. ISBN 987-80-7043-605-9.
Detail

2006

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

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

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

OHLÍDAL Miloš, JAROŠ Jiří and DVOŘÁK Václav. Performance of Collective Communications on Interconnection Networks with Fat Nodes and Edges. In: Proceedings of the Fifth International Conference on Networking ICN 2006. Los Alamitos: IEEE Computer Society, 2006, pp. 619-624. ISBN 0-7695-2570-9.
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: Institute of Informatics, Slovak Academy of Sciences, 2006, pp. 31-36. ISBN 80-969202-2-7.
Detail

JAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. Complexity of Collective Communications on NoCs. In: Proc. of 5th International Symposium on Parallel Computing in Electrical Engineering. Los Alamitos, CA 90720-1314: IEEE Computer Society, 2006, pp. 127-132. ISBN 0-7695-2554-7.
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: Institute of Informatics, Slovak Academy of Sciences, 2006, pp. 25-30. ISBN 80-969202-2-7.
Detail

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

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

2005

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

KUTÁLEK Vladimír and DVOŘÁK Václav. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science, vol. 11, no. 6, pp. 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, pp. 27-34. ISBN 0-7695-2446-X.
Detail

DRÁBEK Vladimír and KOTÁSEK Zdeněk. Handbook of Testing Electronic Systems. Handbook of Testing Electronic Systems. Praha: Czech Technical University Publishing House, 2005, pp. 235-243. ISBN 80-01-03318-X.
Detail

2004

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

STAROBA Jiří and DVOŘÁK Václav. Design of Low-Cost Communication Algorithms for Irregular Networks. In: Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004, pp. 980-985. ISBN 0-86341-325-0.
Detail

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

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

DVOŘÁK Václav. Architektury a programování paralelních systémů. Brno: Publishing house of Brno University of Technology VUTIUM, 2004. ISBN 80-214-2608-X.
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: Slovak Academy of Science, 2004, pp. 132-137. ISBN 80-969202-0-0.
Detail

2003

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

ŠVÉDA Miroslav. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, pp. 49-54. ISBN 0-08-044130-0.
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, pp. 178-183. ISBN 0-08-044130-0.
Detail

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

ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, pp. 169-172. ISBN 0-7695-1917-2.
Detail

RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. ISBN 1-85769-189X.
Detail

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

SEKANINA Lukáš and RŮŽIČKA Richard. On the Automatic Design of Testable Circuits. In: Proceedings of IEEE Workshop on Design nad Diagnostics of Electronic Circuits and Systems. Poznań: Publishing House of Poznan University of Technology, 2003, pp. 299-300. ISBN 83-7143-557-6.
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: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 624-628. ISBN 80-214-2379-X.
Detail

MIKA Daniel and KOTÁSEK Zdeněk. The Test Controller Model Based on The Timed Automaton. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 107-114. ISBN 80-85988-86-0.
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, 2003, pp. 115-122. ISBN 80-85988-86-0.
Detail

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

STAROBA Jiří. Collective Communication Scheduling for Parallel Computers. In: Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 65-70. ISBN 80-85988-86-0.
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: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 614-618. ISBN 80-214-2379-X.
Detail

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

KOTÁSEK Zdeněk, TUPEC Pavel and URBIŠ Hynek. Testing PCBs Based on Boundary Scan. In: Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003, pp. 119-122. ISBN 80-7099-509-2.
Detail

KOTÁSEK Zdeněk and URBIŠ Hynek. USB-to-IDE Adapter Design and Implementation. In: 6th International Workshopn on Electronics, Control, Measurment and Signals. Liberec: Liberec University of Technology, 2003, pp. 315-319. ISBN 80-7083-708-X.
Detail

ŠVÉDA Miroslav and KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, vol. 2003, no. 6, p. 5. ISSN 1213-161X.
Detail

STAROBA Jiří and DVOŘÁK Václav. Genetic Algorithm Optimization of Group Communications. In: 9th International Conference on Soft Computing Mendel 2003. Brno: Faculty of Mechanical Engineering BUT, 2003, pp. 47-52. ISBN 80-214-2411-7.
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, pp. 304-311. ISBN 0-7695-2003-0.
Detail

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

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

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

KOTÁSEK Zdeněk, RŮŽIČKA Richard and SEKANINA Lukáš, ed. Sborník pracovního semináře "Počítačové architektury a diagnostika" pro studenty doktorského studia. Brno: Department of Computer Systems FIT BUT, 2003. ISBN 80-214-2471-0.
Detail

MIKA Daniel. UPLATNĚNÍ FORMÁLNÍCH POSTUPŮ PŘI NÁVRHU ŘADIČE TESTU ČÍSLICOVÉHO OBVODU. In: Počítačové Architektury & Diagnostika Pracovní seminář pro studenty doktorského studia Sborník příspěvků. Brno: Faculty of Information Technology BUT, 2003, pp. 17-23. ISBN 80-214-2471-0.
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: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture, 2003, pp. 778-782. ISBN 953-6114-64-X.
Detail

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

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

2002

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

ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, pp. 224-225. ISBN 0-7695-1549-5.
Detail

KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav and VRBA Radimír. Executable specifications for Process Automation and Microelectronics. In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002, pp. 91-98. ISBN 1-85769-169-5.
Detail

RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5.
Detail

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

SEKANINA Lukáš and DRÁBEK Vladimír. Automatic Design of Image Operators Using Evolvable Hardware. In: Proc. of 5th IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Brno: Brno University of Technology, 2002, pp. 132-139. ISBN 80-214-2094-4.
Detail

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

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

DVOŘÁK Václav and STAROBA Jiří. Design Space Exploration of Parallel Embedded Applications Based on Performance-Oriented Specifications. In: Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2002, pp. 71-75. ISBN 1-85769-169-5.
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, pp. 65-70. ISBN 1-85769-169-5.
Detail

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

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

SEKANINA Lukáš, SEKANINA Lukáš and SEKANINA Lukáš. Automata of Evolvable Computational Machines. In: Proc. ot 8th conference Student EEICT. Brno: Brno University of Technology, 2002, pp. 491-495. ISBN 80-214-2116-9.
Detail

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

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

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

STRNADEL Josef. Evaluating Cost/Quality Trade-off Solutions Proposed During a DFT Process. In: Proceeding of 8th Conference Student EEICT 2002. Brno: Brno University of Technology, 2002, pp. 506-510. ISBN 80-214-2116-9.
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: Faculty of Information Technology BUT, 2002, pp. 78-86. ISBN 80-214-2094-4.
Detail

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

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

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

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

LAUMANNS Marco and OČENÁŠEK Jiří. Bayesian Optimization Algorithms for Multi-Objective Optimization. Lecture Notes in Computer Science, vol. 2002, no. 2439, pp. 298-307. ISBN 3-540-444139-5. ISSN 0302-9743.
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: Brno University of Technology, 2002, pp. 33-38. ISBN 80-214-2135-5.
Detail

SLLAME Azeddien M. and SEKANINA Lukáš. An Evolutionary-Based Algorithm to the Module Selection Process in High-Level Synthesis. In: Mendel 2002 - 8th International Conference on Soft Computing. Brno: Brno University of Technology, 2002, pp. 87-92. ISBN 80-214-2135-5.
Detail

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

ČEJKA Rudolf, DVOŘÁK Václav and STAROBA Jiří. Predicting performance of SMP clusters. Distributed and Parallel Systems - Cluster and Grid Computing. Boston/London: Kluwer Academic Publishers, 2002, pp. 38-45. ISBN 1-4020-7209-0.
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, pp. 934-940. ISBN 1-892512-88-2.
Detail

SEKANINA Lukáš and DRÁBEK Vladimír. Soft-hardware. Vesmír, vol. 81, no. 7, pp. 393-395. ISSN 0042-4544.
Detail

SLLAME Azeddien M. and DRÁBEK Vladimír. An Efficient List-Based Scheduling Algorithm for High-Level-Synthesis. In: EUROMICRO Symposium on Digital System Design (DSD2002): Architecture, Methods and Tools, IEEE Computer Society. IEEE Computer Society. Dortmund, Germany: IEEE Computer Society Press, 2002, pp. 316-323. ISBN 0-7695-1790-0.
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: Brno University of Technology, 2002, pp. 144-149. ISBN 80-214-2180-0.
Detail

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

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

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

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

ŠVÉDA Miroslav and VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. In: Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002, pp. 1543-1548. ISBN 0-7803-7454-1.
Detail

SEKANINA Lukáš and DRÁBEK Vladimír. A Survey of Bioinspired Methods for Design of Fault Tolerant Reconfigurable Architectures. In: Proc. of the 8th Biennial Baltic Electronics Conference. Tallinn: Tallinn University of Technology, 2002, pp. 355-358. ISBN 9985-59-292-1.
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: The University of Technology Košice, 2002, pp. 200-205. ISBN 80-7099-879-2.
Detail

ZBOŘIL František V., KOTÁSEK Zdeněk, MIKA Daniel and STRNADEL Josef. The Identification of Feedback Loops in RTL Structures. In: Proceedings of The fifth International Scientific Conference Electronic Computers and Informatics 2002. Edition 55. Košice: The University of Technology Košice, 2002, pp. 142-147. ISBN 80-7099-879-2.
Detail

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

DRÁBEK Vladimír and SEKANINA Lukáš. Basic Principles of Bio-Inspired Approaches to Fault Tolerance: Tutorial. In: Design for Test of Systems on Chip: Digital Test. Tallinn: Tallinn University of Technology, 2002, pp. 1-48. ISBN 0000-00-000-0.
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: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2002, pp. 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 and STRAUBE Bernd, ed. Proceedings of 5th International Workshop IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Faculty of Information Technology BUT, 2002. ISBN 80-214-2094-4.
Detail

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

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

SCHWARZ Josef. Aplikované evoluční algoritmy. Učební texty pro předmět EVA, obor IT. Brno: Faculty of Information Technology BUT, 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, pp. 233-236. ISBN 80-7329-027-8.
Detail

KAPOUN Vladimír and ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, vol. 2002, no. 12, p. 3. ISSN 1213-161X.
Detail

2001

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

TOMŠŮ Michal and DRÁBEK Vladimír. The Possibilities of Hardware Support for the Virtual Reality Systems Using the Internet Connections. In: Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava, 2001, pp. 121-126. ISBN 80-85988-57-7.
Detail

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

DVOŘÁK Václav and ČÁBEL Miloš. Can Message Passing Architecture Outperform EREW PRAM?. In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí, 2001, pp. 109-114. ISBN 80-85988-57-7.
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: Publishing House of Zielona Gora Technical University, 2001, pp. 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, 2001, pp. 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: Czech Technical University, 2001, pp. 59-62. ISBN 1-56555-225-3.
Detail

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

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

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

SLLAME Azeddien M. and DRÁBEK Vladimír. Specification and Synthesis of Reusable Modules in VHDL. In: Proceedings of fourth International Wokshop on IEEE Design and Diagnostics of Electronic Circuits and Systems IEEE DDCSE01. Gyor, Hungary: SZIF-UNIVERSITAS Ltd., Hungary, 2001, pp. 137-140. ISBN 963-7175-16-4.
Detail

STAROBA Jiří and DVOŘÁK Václav. Simulation-based performance tuning of a parallel bitonic sort algorihtm. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 358-362. ISBN 80-214-1860-5.
Detail

ŠVÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. Computer, vol. 34, no. 1, pp. 138-140. ISSN 0018-9162.
Detail

RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of the University of Stirling. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
Detail

ŠVÉDA Miroslav and VRBA Radimír. Sensor Networking. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, pp. 262-268. ISBN 0-7695-1086-8.
Detail

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

ŠVÉDA Miroslav, ZEZULKA František and VRBA Radimír. A Case-Based Reasoning Approach to Reuse of CBS Specifications. In: Proceedings of the IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001. Washington D.C.: University of Stirling, 2001, pp. 139-144. ISBN 1-85-769144-X.
Detail

ŠVÉDA Miroslav, VRBA Radimír and BENEŠ Petr. A System Architecture of Networked Pressure Sensors. In: Proceedings of the 5th WSES/IEEE World Conference on Systems (CSCC2001). Rethymno: IEEE Computer Society Press, 2001, pp. 3541-3546. ISBN 960-8052-33-5.
Detail

ŠVÉDA Miroslav, VRBA Radimír and BENEŠ Petr. A System Architecture of Networked Pressure Sensors. Advances in Systems Science: Measurement, Circuits and Control. Electrical and Computer Engineering Series -- A Series of Reference Books and Textbooks. Herakleion, Greece: IEEE Computer Society Press, 2001, pp. 64-69. ISBN 960-8052-39-4.
Detail

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

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

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

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

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

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

ŠVÉDA Miroslav, VRBA Radimír and STRACH Michal. Integrated Framework and Design Pattern for Coupling a Group of Sensors with Internet. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001.
Detail

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

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

KOTÁSEK Zdeněk and STRNADEL Josef. RTL Testability Analysis Based on Genetic Algorithm Implementation. In: Proceedings of the Tenth ICNACSA. Plovdiv: unspecified agency, 2001, p. 1.
Detail

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

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

KOTÁSEK Zdeněk and STRNADEL Josef. Analytic Approach to RTL Testability Analysis. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 363-367. ISBN 80-214-1860-5.
Detail

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

ŠČUGLÍK František. Komunikační systém v rámci autonomních LAN sítí. In: Proceedings of 7th Conference STUDENT FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 316-318. ISBN 80-214-1859-1.
Detail

SCHWARZ Josef and OČENÁŠEK Jiří. Multiobjective Bayesian Optimization Algorithm for Combinatorial Problems: Theory and Practice. NEURAL NETWORK WORLD, vol. 11, no. 5, pp. 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: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 250-252. ISBN 80-214-1859-1.
Detail

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

2000

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

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

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

SEKANINA Lukáš and DRÁBEK Vladimír. Relation Between Fault Tolerance and Reconfiguration in Cellular Systems. In: 6th IEEE Int. On-Line Testing Workshop. Palma de Mallorca, Spain: IEEE Computer Society Press, 2000, pp. 25-30. ISBN 0-7695-0646-1.
Detail

ČÁBEL Miloš and DULÍK Tomáš. An Advanced Multichannel Diaphragm Controller. In: Artificial Intelligence in Control and Measurment. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000, pp. 13-18.
Detail

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

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

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

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

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

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

MATOUŠEK Petr, RÁB Jaroslav and VÝŠEK Pavel. Protocol Proving and Model Checking: A First-Look Experience. In: IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000, pp. 71-75. ISBN 1-85-769121-0.
Detail

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

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

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

SEKANINA Lukáš and DRÁBEK Vladimír. Fault Tolerance and Reconfiguration in Cellular Systems. In: Proc. of Design and Diagnostics of Electronic Circuits and Systems - IEEE DDECS'2000. Smolenice: unknown, 2000, pp. 134-137. ISBN 80-968320-3-4.
Detail

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

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

SCHWARZ Josef and OČENÁŠEK Jiří. Partitioning-based placement using advanced genetic algorithm BOA. In: Procceedings of the Mendel '2000 Conference. BRNO: Faculty of Mechanical Engineering BUT, 2000, pp. 88-91. ISBN 80-214-1609-2.
Detail

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

SCHWARZ Josef and OČENÁŠEK Jiří. The knowledge-based evolutionary algorithm KBOA for hypergraph bisectioning. In: Proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering Brno, Czech Republic, 2000. BRNO: IOS Press, 2000, pp. 51-58. ISBN 1-58603-060-4.
Detail

SCHWARZ Josef. Fuzzy genetic algorithm - a brief survey. In: Proceedings of the Colloquium Advanced Simulation of Systems. Bystřice pod Hostýnem, 2000, pp. 353-358. ISBN 80-85988-51-8.
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: unknown, 2000, pp. 72-75.
Detail

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

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

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

LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Bachelor Level. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-8.
Detail

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

LAVI Jonah Z., MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems - A Proposed Curriculum for a Degree Program at Master Level. In: IEEE Computer Society TC-ECBS, Background Papers. Napier University, Edinburgh: unknown, 2000, pp. 1-18.
Detail

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

ŠVÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000, pp. 81-85. ISBN 1-85-769121-0.
Detail

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

ŠVÉDA Miroslav, VRBA Radimír and ZEZULKA František. Coupling Architectures for Low-Level Fieldbusses. In: Proceedings of the 7th IEEE International Conference and Workshop ECBS'2000. Napier University, Edinburgh: IEEE Computer Society, 2000, pp. 148-155. ISBN 0-7695-0604-6.
Detail

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

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

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

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

ŠVÉDA Miroslav. Patterns for Embedded Systems Design. Lecture Notes in Computer Science, vol. 2000, no. 1798, pp. 80-89. ISSN 0302-9743.
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: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2000, pp. 150-155. ISBN 80-88922-25-9.
Detail

1999

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

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

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

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

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

DVOŘÁK Václav and 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, 1999, pp. 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, 1999, pp. 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, 1999, pp. 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: unknown, 1999, pp. 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: unknown, 1999, pp. 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, 1999, pp. 121-124. ISBN 80-214-1466-9.
Detail

GONZALES Regina M., LAVI Jonah Z., MANNION Mike and ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. In: Proceedings of the IEEE Conference and Workshop ECBS'99. Nashville, TN: unknown, 1999, pp. 336-343. ISBN 0-7695-0028-5.
Detail

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

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

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

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

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

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

1998

DULÍK Tomáš. Akcelerace DSP algoritmů v hradlových polích FPGA. In: Sborník prací studentů a doktorandů. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1998, pp. 39-40.
Detail

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

RYŠÁNEK Martin. Congestion in High-Loaded Networks of Parallel Machines. In: SEIHPC Workshop 1998, Madrid, Spain. Madrid: unknown, 1998, pp. 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, 1998, pp. 61-62. ISBN 80-214-1141-4.
Detail

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

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

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

LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems Enhancement Courses--Proposed Course Outlines. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: unknown, 1998, pp. 377-384. ISBN 0-8186-8463-1.
Detail

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

LAVI Jonah Z., MANNION Mike, MELHART Bonnie, PYLE Ian and ŠVÉDA Miroslav. Engineering of Computer-Based Systems--A Proposed Curriculum for a Degree Program at Bachelor Level. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, pp. 369-376. ISBN 0-8186-8463-1.
Detail

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

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

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

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

KOTÁSEK Zdeněk and ZBOŘIL František. Nonstandard Automatic Test Pattern Generation Based on Neural Network Theory. In: Proceedings of the ECI'98. Herlany: Slovak Academy of Science, 1998, pp. 75-80. ISBN 80-88786-94-0.
Detail

1997

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

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

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

DVOŘÁK Václav. Bounds on the Sizes of Decision Diagrams. The Journal of Universal Computer Science. Berlin, Heidelberg: Springer Verlag, 1997, pp. 2-22. ISBN 3-540-62047-8.
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í: unknown, 1997, pp. 177-182. ISBN 80-85988-18-6.
Detail

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

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

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

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

ŠVÉDA Miroslav. Local Time for Systems Analysis. Frontiers in Artificial Intelligence and Applications, pp. 464-468. ISBN 90-5199-355-2. ISSN 0922-6389.
Detail

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

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

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

ŠVÉDA Miroslav and VRBA Radimír. ASI Interconnectivity. In: Preprints IFAC SICICA'97. Annecy: unknown, 1997, pp. 621-626.
Detail

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

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

KOTÁSEK Zdeněk and ZBOŘIL František. RT Level Testability Analysis to Reduce Test Application Time. In: Proceedings of the EUROMICRO 97. Budapest: unknown, 1997, pp. 104-111. ISBN 0-8186-8129-2.
Detail

1996

DRÁBEK Vladimír. RAIDSIM - Model of a Disk Array. In: Krnov, 1996, pp. 136-141. ISBN 80-85988-03-á.
Detail

DRÁBEK Vladimír. Dependability Issues of Medical Electronics. In: Brno, 1996, pp. 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, pp. 197-200. ISBN 80-214-0768-9.
Detail

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

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

DVOŘÁK Václav. Parallel implementation of ANN for Embedded Applications. In: Proceedings WORKSHOP'96. Praha: Faculty of Electrical Engineering, Czech Technical University, 1996, pp. 221-222.
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, pp. 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: unknown, 1996, pp. 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: Faculty of Electrical Engineering and Computer Science BUT, 1996, pp. 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: Faculty of Electrical Engineering and Computer Science BUT, 1996, pp. 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: Faculty of Electrical Engineering and Computer Science BUT, 1996, pp. 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ě: unknown, 1996, pp. 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: unknown, 1996, pp. 176-181.
Detail

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

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

SCHWARZ Josef, DVOŘÁK Václav and BUREŠ Pavel. Číslicové a impulsové obvody. Brno: Brno University of Technology, 1996. ISBN 80-214-0622-4.
Detail

ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, vol. 27, no. 2, pp. 197-212. ISSN 0196-9722.
Detail

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

ŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14.
Detail

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

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

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

1995

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

DVOŘÁK Václav and SLÁDEČEK Ladislav. Performance Evaluation of Transputer-Based Parallel Implementation of CNN. In: Proc. of 1995 AMSE Int. Symposium on Fuzzy systems, Neural Networks, and Artificial Intelligence. Brno, 1995, pp. 11-18. ISBN 80-214-0657-7.
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: unknown, 1995, pp. 37-56. ISBN 83-900859-3-3.
Detail

EYSSELT Miloš and CUPAL J. Jerry. A Two's Complement Division Method with Automatic Quotient Rounding. In: Proceedings of the INTERNATIONAL AMSE CONFERENCE SYS'95. July 3-5, Brno: Faculty of Electrical Engineering and Computer Science BUT, 1995, pp. 69-78. ISBN 80-214-0657-7.
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: Faculty of Electrical Engineering and Computer Science BUT, 1995, pp. 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: Faculty of Electrical Engineering and Computer Science BUT, 1995, pp. 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ě: unknown, 1995, pp. 36-41. ISBN 80-901751-1-2.
Detail

HLAVIČKA Jan, KOTÁSEK Petr and KOTÁSEK Zdeněk. RT Level Test Scheduling Procedure. In: Proceedings on Design Metodologies for Microelectronics. Smolenice: Slovak Academy of Science, 1995, pp. 264-271.
Detail

SCHWARZ Josef. PGPLACE: Genetic algorithm for placement optimization. In: Mendel '95. Brno, 1995, pp. 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, pp. 258-264. ISBN 80-901751-7-1.
Detail

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

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

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

1994

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

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

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

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

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

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

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

ŠVÉDA Miroslav. Multiple Lift Control System. In: Proceedings 20th Euromicro 94 Conf.. Liverpool: unknown, 1994, pp. 581-587. ISBN 0-8186-6430-4.
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: unknown, 1994, pp. 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, 1994, pp. 84-87.
Detail

1993

LINHART Miroslav, ŠPRTA J. and ZENDULKA Jaroslav. A Transputer-Based Digital Circuits Simulator. In: International conference CATE'93. Brno: unknown, 1993, pp. 389-391.
Detail

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

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

ŠVÉDA Miroslav. Routers and Bridges for Small Area Network Interconnection. Computers in Industry, vol. 22, no. 1, pp. 25-29. ISSN 0166-3615.
Detail

ŠVÉDA Miroslav. Small Area Network Interconnection. Microprocessing and Microprogramming (North-Holland), vol. 37, no. 2, pp. 193-196. ISSN 0165-6074.
Detail

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

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

ZENDULKA Jaroslav. Simulační systém VHDL-XL. In: Vybrané problémy simulačních modelů. Ostrava: unknown, 1993, pp. 69-72. ISBN 80-901229-6-5.
Detail

1992

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

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

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

ŠVÉDA Miroslav. Microcontroller Software Engineering. Microprocessing and Microprogramming (North-Holland), vol. 34, no. 1, pp. 11-14. ISSN 0165-6074.
Detail

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

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

ŠTEFAN Jan and ZENDULKA Jaroslav. Model spojitého systému v C++. In: Sborník MOSIS'92. Ostrava: unknown, 1992, pp. 1-2.
Detail

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

1991

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

EYSSELT Miloš. The Mathematical Logic and Calculations of the Reliability. BULLETIN of the Technical University Brno, Volume 1991/1-4. Brno: Brno University of Technology, 1991, pp. 151-158. ISBN 80-214-0200-8. ISSN 0524-7462.
Detail

HORVÁTH P. and LINHART Miroslav. Periférne zariadenia číslicových počítačov. unknown, 1991. ISBN 80-05-00813-9.
Detail

1990

EYSSELT Miloš. Studie návrhu řezu aritmeticko logické jednotky. Knižnice vědeckých prací VUT Brno, vol. 1990, no. 130, pp. 213-223. ISBN 80-214-0393-4. ISSN 0368-6582.
Detail

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

FABIAN P., LINHART Miroslav and ZELEM J. Some results gained from the experients with the LOPOS simulation model. Systems Science. unknown, 1990, pp. 39-52. ISSN 0137-1223.
Detail

1989

EYSSELT Miloš. Využití jednooperačních souborů logických členů pro návrh optimalizovaných třístupňových logických sítí. In: Knižnice odborných a vědeckých spisů VUT Brno, svazek B-123. 30. srpna, Brno: Brno University of Technology, 1989, pp. 209-212. ISBN 80-214-0009-4.
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, vol. 1990, no. 129, pp. 185-191. ISBN 80-214-0214-8. ISSN 0368-6582.
Detail

1984

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

EYSSELT Miloš. Dělení technickými prostředky. Knižnice odborných a vědeckých spisů VUT Brno, svazek A-26. Brno: Brno University of Technology, 1984, pp. 177-186.
Detail

EYSSELT Miloš. Modulový řez dvojkové děličky: AO 233922. Úřad pro objevy a vynálezy, Praha: unknown, 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: unknown, 1984.
Detail