Prof. Ing. Václav Dvořák, DrSc.

Publications

2015DVOŘÁK Václav and MIKUŠEK Petr. Memory-Based Logic Control for Embedded Systems. Lecture Notes in Electrical Engineering. Berlin: Springer Verlag, 2015, vol. 325, no. 1, pp. 367-379. ISSN 1876-1100.
2014HRBÁČEK Radek and DVOŘÁK Václav. Bent Function Synthesis by Means of Cartesian Genetic Programming. In: Parallel Problem Solving from Nature - PPSN XIII. Heidelberg: Springer Verlag, 2014, pp. 414-423. ISBN 978-3-319-10761-5.
2013DVOŘÁ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.
2012DVOŘÁK Václav. Branching Program-Based Programmable Logic for Embedded Systems. In: Proceedings of ICONS 2012. New York: International Academy, Research, and Industry Association, 2012, pp. 109-115. ISBN 978-1-61208-184-7.
 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.
2011DVOŘÁ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.
 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.
 JAROŠ Jiří and DVOŘÁK Václav. Evolutionary Design of Collective Communications on Wormhole NoCs. Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification. London: CRC Press LLC, 2011, pp. 60-94. ISBN 978-1-4398-2911-0.
 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.
 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.
2010DVOŘÁ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.
 DVOŘÁK Václav and MIKUŠEK Petr. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science. 2010, vol. 16, no. 14, pp. 1826-1852. ISSN 0948-6968.
 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.
 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.
2009DVOŘÁK Václav and MIKUŠEK Petr. Firmware Optimization for Embedded Logic Control. IFAC-PapersOnLine. Laxenburg: IFAC, 2009, vol. 2009, no. 1, pp. 109-114. ISBN 978-3-902661-69-2. ISSN 1474-6670.
 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.
 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.
2008DVOŘÁ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.
 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.
 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.
 DVOŘÁK Václav. Implementation of Combinational and Sequential Functions in Embedded Firmware. International Journal of Software Engineering and Its Applications. Daegu: Science & Engineering Research Support Center, 2008, vol. 2, no. 1, pp. 43-54. ISSN 1738-9984.
 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.
 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.
 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.
2007DVOŘÁ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.
 DVOŘÁK Václav. Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. Journal of Software. Oulu: 2007, vol. 2, no. 5, pp. 52-63. ISSN 1796-217X.
 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.
 DVOŘÁK Václav. LUT Cascade-Based Architectures for High Productivity Embedded Systems. International Review on Computers and Software. Naples, Italy: 2007, vol. 2, no. 4, pp. 357-365. ISSN 1828-600X.
 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.
 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.
 JAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. An Evolutionary Approach to Collective Communication Scheduling. In: 2007 Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery, 2007, pp. 2037-2044. ISBN 978-1-59593-697-4.
 SLANÝ Karel and DVOŘÁK Václav. Evolutionary Designed Branch Predictors. In: 13th International Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2007, pp. 18-23. ISBN 978-80-214-3473-8.
2006DVOŘÁK Václav. Architektura procesorů, část 1. Brno, 2006.
 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.
 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.
 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.
 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.
 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. Berlin: Springer Verlag, 2006, pp. 267-278. ISBN 978-3-540-33237-4.
2005DVOŘÁK Václav. Reconfigurability of the Interconnect Architecture for Chip Multiprocessors. In: Proceedigns of the 4th International Symposium on Information and Communication Technologies. Dublin: Computer Science Press, 2005, pp. 136-141. ISBN 0-9544145-6-X.
 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.
 JAROŠ Jiří and DVOŘÁK Václav. Speeding-up OAS and AAS Communication in Networking System on Chips. In: Proc. of 8th IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Sopron: University of West Hungary, 2005, p. 4. ISBN 9639364487.
 JAROŠ Jiří, OHLÍDAL Miloš and DVOŘÁK Václav. Evolutionary Design of Group Communication Schedules for Interconnection Networks. In: Proceedings of the 20th International Symposium Computer and Information Sciences - ISCIS 2005. Berlin: Springer Verlag, 2005, pp. 472-481. ISBN 978-3-540-29414-6.
 KUTÁLEK Vladimír and DVOŘÁK Václav. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science. 2005, vol. 11, no. 6, pp. 944-961. ISSN 0948-6968.
2004DVOŘÁ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.
 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. 2004, vol. 9, no. 11, pp. 1258-1260. ISSN 0948-6968.
 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.
 DVOŘÁK Václav. Formal Specifications of an Extended Phase-Parallel Model of Stream Processing. In: Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004, pp. 37-44. ISBN 1-85769-1970.
 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.
 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.
2003DVOŘÁK Václav and KUTÁLEK Vladimír. A Methodology for Designing Communication Architectures for Multiprocessor SoCs. In: Proceedings EUROMICRO Symposium on Digital System Design - Architectures, Methods and Tools DSD 2003. Belek: IEEE Computer Society, 2003, pp. 455-458. ISBN 0-7695-2003-0.
 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.
 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.
 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.
 KUTÁLEK Vladimír and DVOŘÁK Václav. Tuning Parallel Performance of Global Image Processing Operators. In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava, 2003, pp. 57-64. ISBN 80-85988-86-0.
 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.
2002DVOŘÁ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.
 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. Ostrava, 2002, pp. 273-280. ISBN 80-85988-71-2.
 DVOŘÁK Václav. Architektura a programování paralelních systémů. Učební texty pro předmět APP, obor IT. Brno, 2002.
 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.
 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. Las Vegas, Nevada: Computer Science Research, Education, and Applications Press, 2002, pp. 934-940. ISBN 1-892512-88-2.
 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. Ostrava, 2002, pp. 313-320. ISBN 80-85988-71-2.
 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.
 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.
 Č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.
2001DVOŘÁ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.
 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.
 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.
 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.
 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.
 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.
 Č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.
2000DVOŘÁK Václav and MARKOVIČ Lubomír. High Performance Computing in JAVA -- Fact or Fiction?. FIMU-RS-2000-11. unknown, 2000.
 DVOŘÁK Václav and SKALICKÝ Jiří. Faculty of Electrical Engineering and Computer Science - Information booklet 2000-2001. Application Software Brno, ltd., 2000.
 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.
 DVOŘÁK Václav and ČEJKA Rudolf. Prototyping cluster-based distributed applications. Distributed and Parallel Systems - From Instruction Parallelism to Cluster Computing. Boston: Kluwer Academic Publishers, 2000, pp. 229-232. ISBN 0-7923-7892-X.
 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.
 Č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.

Show all publications

Your IPv4 address: 54.243.17.113
Switch to https

DNSSEC [dnssec]