Václav Dvořák

Publikace

• 2015

  DVOŘÁK Václav a MIKUŠEK Petr. Memory-Based Logic Control for Embedded Systems. Lecture Notes in Electrical Engineering, roč. 325, č. 1, 2015, s. 367-379. ISSN 1876-1100.
  Detail

• 2014

  HRBÁČEK Radek a 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, s. 414-423. ISBN 978-3-319-10761-5.
  Detail

• 2013

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

• 2012

  DVOŘÁK Václav. Branching Program-Based Programmable Logic for Embedded Systems. In: Proceedings of ICONS 2012. New York: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 109-115. ISBN 978-1-61208-184-7.
  Detail

  DVOŘÁK Václav. On the Complexity and Optimization of Branching Programs for Decision Diagram Machines. In: Programmable Devices and Embedded Systems PDeS 2012. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2012, s. 84-89. ISBN 978-3-902823-21-2. ISSN 1474-6670.
  Detail

• 2011

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

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

  JAROŠ Jiří a DVOŘÁK Václav. Evolutionary Design of Collective Communications on Wormhole NoCs. Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification. Embedded Multi-Core Systems. London: CRC Press LLC, 2011, s. 60-94. ISBN 978-1-4398-2911-0.
  Detail

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

  JAROŠ Jiří a DVOŘÁK Václav. Optimizing Collective Communications on the K-port Spidergon Network. In: Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2011, s. 24-29. ISBN 978-1-61208-002-4.
  Detail

• 2010

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

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

  DVOŘÁK Václav. Multi-Terminal BDDs in Microprocessor-Based Control. In: Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010, s. 140-145. ISBN 978-989-8425-02-7.
  Detail

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

• 2009

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

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

  MIKUŠEK Petr a DVOŘÁK Václav. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In: 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009, s. 605-608. ISBN 978-0-7695-3782-5.
  Detail

• 2008

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

  DVOŘÁK Václav. Communication Performance of Mesh- and Ring-Based NoCs. In: Proceedings of the 7th Int. Conference on Networking. New York: IEEE Computer Society, 2008, s. 156-161. ISBN 978-0-7695-3106-9.
  Detail

  DVOŘÁK Václav. Embedded Firmware Development with Multi-Way Branching. In: Proc. of the 3rd Int. Coference on Systems. New York: IEEE Computer Society, 2008, s. 317-322. ISBN 978-0-7695-3105-2.
  Detail

  DVOŘÁK Václav. Implementation of Combinational and Sequential Functions in Embedded Firmware. International Journal of Software Engineering and Its Applications, roč. 2, č. 1, 2008, s. 43-54. ISSN 1738-9984.
  Detail

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

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

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

• 2007

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

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

  SLANÝ Karel a DVOŘÁK Václav. Evolutionary Designed Branch Predictors. In: 13th International Conference on Soft Computing. Brno: Fakulta strojního inženýrství VUT, 2007, s. 18-23. ISBN 978-80-214-3473-8.
  Detail

  DVOŘÁK Václav. Implementation of Combinational and Sequential Functions in Embedded Firmware. In: Proceedings of the 2007 International Conference on Intelligent Pervasive Computing (IPC-07). Los Alamitos, California: IEEE Computer Society, 2007, s. 80-85. ISBN 978-0-7695-3006-2.
  Detail

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

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

  DVOŘÁK Václav. Space-Time Trade-offs in SW Evaluation of Boolean Functions. In: Proceedings of The Second International Conference on Systems. New York: IEEE Computer Society, 2007, s. 6. ISBN 0-7695-2807-4.
  Detail

  DVOŘÁK Václav. Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. In: Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2007, s. 178-185. ISBN 0-7695-2772-8.
  Detail

• 2006

  DVOŘÁK Václav. Architektura procesorů, část 1. Brno, 2006.
  Detail

  JAROŠ Jiří, OHLÍDAL Miloš a DVOŘÁK Václav. Complexity of Collective Communications on NoCs. In: Proc. of 5th International Symposium on Parallel Computing in Electrical Engineering. Los Alamitos, CA 90720-1314: IEEE Computer Society, 2006, s. 127-132. ISBN 0-7695-2554-7.
  Detail

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

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

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

  OHLÍDAL Miloš, JAROŠ Jiří a DVOŘÁK Václav. Performance of Collective Communications on Interconnection Networks with Fat Nodes and Edges. In: Proceedings of the Fifth International Conference on Networking ICN 2006. Los Alamitos: IEEE Computer Society, 2006, s. 619-624. ISBN 0-7695-2570-9.
  Detail

• 2005

  JAROŠ Jiří, OHLÍDAL Miloš a 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. Lecture Notes in Computer Science, roč. 3733. Berlin: Springer Verlag, 2005, s. 472-481. ISBN 978-3-540-29414-6.
  Detail

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

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

  DVOŘÁK Václav. Scheduling Collective Communications on Wormhole Fat Cubes. In: Proc. of the 17th International Symposium on Computer Architecture and High Performance Computing. Los Alamitos: IEEE Computer Society, 2005, s. 27-34. ISBN 0-7695-2446-X.
  Detail

  JAROŠ Jiří a 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, s. 4. ISBN 9639364487.
  Detail

• 2004

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

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

  DVOŘÁK Václav. 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, s. 37-44. ISBN 1-85769-1970.
  Detail

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

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

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

• 2003

  DVOŘÁK Václav a 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, s. 455-458. ISBN 0-7695-2003-0.
  Detail

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

  DVOŘÁK Václav. Communication Architectures for Application-Specific Multiprocessor Systems (on a Chip). In: Proc. of the 11th International Conference on Software, Telecommunications and Computer Networks SoftCOM 2003. Split: Fakultet elektrotehnike, strojarstva i brodogradnje, 2003, s. 778-782. ISBN 953-6114-64-X.
  Detail

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

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

  KUTÁLEK Vladimír a 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: MARQ, 2003, s. 57-64. ISBN 80-85988-86-0.
  Detail

• 2002

  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

  DVOŘÁK Václav a STAROBA Jiří. Design Space Exploration of Parallel Embedded Applications Based on Performance-Oriented Specifications. In: Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2002, s. 71-75. ISBN 1-85769-169-5.
  Detail

  DVOŘÁK Václav. Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems. In: Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002. Stirling: University of Stirling, 2002, s. 65-70. ISBN 1-85769-169-5.
  Detail

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

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

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

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

  DVOŘÁK Václav. Simulation and Prototyping in Teaching Parallel Architectures, Algorithms, and Programming Models. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Volume II. Las Vegas, Nevada: Computer Science Research, Education, and Applications Press, 2002, s. 934-940. ISBN 1-892512-88-2.
  Detail

  KUTÁLEK Vladimír a DVOŘÁK Václav. Simulation and Prototyping Multiprocessor SoC with Hybrid Pipeline/Farm Architecture. In: Proceedings of IEEE Design and Diagnostics of Electronic Circuits and System Workshop. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 296-299. ISBN 80-214-2094-4.
  Detail

• 2001

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

  DVOŘÁK Václav a ČÁBEL Miloš. Can Message Passing Architecture Outperform EREW PRAM?. In: Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: MARQ, 2001, s. 109-114. ISBN 80-85988-57-7.
  Detail

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

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

  DVOŘÁK Václav. Optimizing SW/HW Architecture for Parallel Embedded Systems - A Case Study. In: Proceedings of the the International Workshop on Discrete-Event System Design, DESDes'01. Przytok near Zielona Gora, POLAND: Oficyna Wydawnicza Politechniky Zielonogórskiej, 2001, s. 103-108. ISBN 83-85911-62-6.
  Detail

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

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

• 2000

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

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

  DVOŘÁK Václav a SKALICKÝ Jiří. Faculty of Electrical Engineering and Computer Science - Information booklet 2000-2001. Application Software Brno, sro., 2000.
  Detail

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

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

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

• 1999

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

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

  DVOŘÁK Václav a MATOUŠEK Petr. Highly Efficient Parallel ANN Implementation for Real-Time Processing. In: Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany, Slovakia: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 1999, s. 186-191. ISBN 80-88922-05-4.
  Detail

  DVOŘÁK Václav a ČEJKA Rudolf. Performance Prediction of Cluster Computing. In: Proceedings of the International Workshop Modelling and Simulation in Management, Informatics and Control MOSMIC'99. Sulov: Vydavatelství Žilinské univerzity, 1999, s. 229-233. ISBN 80-7100-635-1.
  Detail

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

• 1998

  DVOŘÁK Václav a SLLAME Azeddien M. An FPGA-Based Systolic Serial Multiplier. In: Proceedings of the 5th Electronic Devices and Systems Conference 1998. Brno: neznámá, 1998, s. 394-397. ISBN 80-214-1198-8.
  Detail

  DVOŘÁK Václav a SLLAME Azeddien M. CSP-based modeling and simulation in computer architecture courses. In: Proceedings of the 9th International Symposium on Systems-Modeling-Control SMC' 98. Zakopane: neznámá, 1998, s. 1-6. ISBN 83-909161-0-X.
  Detail

  ŠVÉDA Miroslav, DVOŘÁK Václav, HRUŠKA Tomáš a DRÁBEK Vladimír. ECBS Master Degree Study at the Technical University of Brno. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Los Alamitos, California: IEEE Computer Society Press, 1998, s. 306-312. ISBN 0-8186-8463-1.
  Detail

  DVOŘÁK Václav. Faculty of Electrical Engineering and Computer Science - Information booklet 1998-2000. Brno: Application Software Brno, sro., 1998.
  Detail

• 1997

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

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

  DVOŘÁK Václav a SCHWARZ Josef. Crosstalk analysis in multiconductor interconnect system. Journal of Electrical Engineering, roč. 48, č. 1-2, 1997, s. 12-17. ISSN 0013-578X.
  Detail

  DVOŘÁK Václav. Evaluating embedded parallel applications in TRANSIM. In: Proceedings of the 3rd International Conference MENDEL' 97. Brno: neznámá, 1997, s. 44-49. ISBN 80-214-0884-7.
  Detail

• 1996

  DVOŘÁK Václav. Construction of optimum OBDDs using parallel genetic approach. In: Proceedings of the 2nd International Conference MENDEL' 96. Brno: neznámá, 1996, s. 221-222. ISBN 80-214-0769-7.
  Detail

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

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

  DVOŘÁK Václav. Performance analysis of parallel/distributed genetic algorithms. In: Proc. of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems DAPSYS'96. Miskolc, 1996, s. 219-220. ISBN ?.
  Detail

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

  DVOŘÁK Václav a EYSSELT Miloš. Ústav a studijní obor Informatika a výpočetní technika, šk.r. 1996/97. Brno: Ústav informatiky a výpočetní techniky FEI VUT, 1996.
  Detail

• 1995

  DVOŘÁK Václav a ŠUSTR Josef. A synthesis of suboptimal decision diagrams. Computer and Artificial Intelligence, roč. 14, č. 1, 1995, s. 93-103. ISSN 0232-0274.
  Detail

  DVOŘÁK Václav. Decomposition techniques for look-up table based FPGA design. In: Proc. of the Workshop on Design Methodologies for Microelectronics. Smolenice: Slovenská akademie věd, 1995, s. 249-250.
  Detail

  DVOŘÁK Václav a EYSSELT Miloš. INFORMATIKA A VÝPOČETNÍ TECHNIKA, školní rok 1995/96 (INFORMACE O ÚSTAVU A STUDIJNÍM OBORU). Brno: Ústav informatiky a výpočetní techniky FEI VUT, 1995.
  Detail

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

  DVOŘÁK Václav a SLÁDEČEK Ladislav. Performance Evaluation of Transputer-Based Parallel Implementation of CNN. In: Proc. of 1995 AMSE Int. Symposium on Fuzzy systems, Neural Networks, and Artificial Intelligence. Brno, 1995, s. 11-18. ISBN 80-214-0657-7.
  Detail

  DVOŘÁK Václav. Performance prediction of GA on transputer arrays. In: Proceedings of the 1st International Conference MENDEL' 95. Brno: neznámá, 1995, s. 35-40. ISBN 80-214-0769-7.
  Detail

  DVOŘÁK Václav, KUNOVSKÝ Jiří, SCHWARZ Josef a ZBOŘIL František. Problem Solving with Parallel Processing. In: Proceedings of the Workshop'95. Praha, 1995, s. 215-216.
  Detail

• 1994

  DVOŘÁK Václav. Concurrent algorithms for message passing parallel architectures. In: Problem Solving with Parallel Processing. Cesme, 1994, s. 1-28.
  Detail

  DVOŘÁK Václav. Multi-transputer implementations of ANN - a case study. In: Sedmihorky, 1994, s. 239-244.
  Detail

  DOS Santos Luis Paulo Peixoto, DVOŘÁK Václav a CHALMERS Alan. Problem Solving with Parallel Processing. Bristol: neznámá, 1994.
  Detail

• 1993

  DVOŘÁK Václav. Comparison of optimal and suboptimal synthesis of ordered binary decision diagrams. Applied Mathematics and Computer Science. Zielona Gora, 1993, s. 373-381.
  Detail

  DVOŘÁK Václav. Transputer Networks in Control. EC Newsletter, roč. Vol.5, č. No. 2, M, 1993, s. 7-24. ISSN 1120-7221.
  Detail

• 1992

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

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

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

• 1991

  DVOŘÁK Václav. Automatic generation of decision diagrams for multiple-output logic functions. In: Sklarska Poreba, 1991, s. 33-36. ISBN ?.
  Detail

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

• 1990

  DVOŘÁK Václav. A cascade implementation of digital systems. Microprocessing and Microprogramming (North-Holland), roč. 29, č. 1, 1990, s. 151-163. ISSN 0165-6074.
  Detail

  DVOŘÁK Václav. Microsequencer architecture supporting arbitrary branching up to 2^m targets. Computer Architecture News. neznámá, 1990, s. 9-16.
  Detail