Václav Dvořák

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, 2015, pp. 367-379. ISSN 1876-1100.
Detail

2014

HRBÁČ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.
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. 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.
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: Faculty of Electrical Engineering and Communication BUT, 2012, pp. 84-89. ISBN 978-3-902823-21-2. ISSN 1474-6670.
Detail

2011

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

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

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. Embedded Multi-Core Systems. London: CRC Press LLC, 2011, pp. 60-94. ISBN 978-1-4398-2911-0.
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

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

2010

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, 2010, pp. 1826-1852. ISSN 0948-6968.
Detail

JAROŠ Jiří and 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, pp. 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, pp. 140-145. ISBN 978-989-8425-02-7.
Detail

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

2009

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

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

2008

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

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

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, 2008, pp. 43-54. ISSN 1738-9984.
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: 11th EUROMICRO Conference on Digital System Design DSD 2008. Parma: IEEE Computer Society, 2008, pp. 795-802. ISBN 978-0-7695-3277-6.
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

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

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

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.
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

DVOŘÁK Václav. LUT Cascade-Based Architectures for High Productivity Embedded Systems. International Review on Computers and Software, vol. 2, no. 4, 2007, pp. 357-365. ISSN 1828-600X.
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

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

2006

DVOŘÁK Václav. Architektura procesorů, část 1. Brno, 2006.
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š, 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

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

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

2005

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. Lecture Notes in Computer Science, vol. 3733. Berlin: Springer Verlag, 2005, pp. 472-481. ISBN 978-3-540-29414-6.
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, 2005, pp. 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, pp. 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, pp. 27-34. ISBN 0-7695-2446-X.
Detail

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.
Detail

2004

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

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. 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.
Detail

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, 2004, pp. 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, pp. 225-234. ISBN 0-387-23630-9.
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

2003

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

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

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

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

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

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.
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 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

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

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

Č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

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

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

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

2001

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

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

Č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

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

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

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

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

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.
Detail

Č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 SKALICKÝ Jiří. Faculty of Electrical Engineering and Computer Science - Information booklet 2000-2001. Application Software Brno, ltd., 2000.
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

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

1999

DVOŘÁK Václav and DRÁBEK Vladimír. Architektura procesorů. Brno, 1999. ISBN 80-214-1458-8.
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 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

DVOŘÁK Václav and ČEJKA Rudolf. Performance Prediction of Cluster Computing. In: Proceedings of the International Workshop Modelling and Simulation in Management, Informatics and Control MOSMIC'99. Sulov: Zilina University Publisher, 1999, pp. 229-233. ISBN 80-7100-635-1.
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

1998

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

DVOŘÁK Václav and 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: unknown, 1998, pp. 1-6. ISBN 83-909161-0-X.
Detail

ŠVÉDA Miroslav, DVOŘÁK Václav, HRUŠKA Tomáš and 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, pp. 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, ltd., 1998.
Detail

1997

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

DVOŘÁK Václav and SCHWARZ Josef. Crosstalk analysis in multiconductor interconnect system. Journal of Electrical Engineering, vol. 48, no. 1-2, 1997, pp. 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: unknown, 1997, pp. 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: unknown, 1996, pp. 221-222. ISBN 80-214-0769-7.
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

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

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 and EYSSELT Miloš. Ústav a studijní obor Informatika a výpočetní technika, šk.r. 1996/97. Brno: Department of Computer Science and Engineering, 1996.
Detail

1995

DVOŘÁK Václav and ŠUSTR Josef. A synthesis of suboptimal decision diagrams. Computer and Artificial Intelligence, vol. 14, no. 1, 1995, pp. 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: Slovak Academy of Science, 1995, pp. 249-250.
Detail

DVOŘÁK Václav and EYSSELT Miloš. INFORMATIKA A VÝPOČETNÍ TECHNIKA, školní rok 1995/96 (INFORMACE O ÚSTAVU A STUDIJNÍM OBORU). Brno: Department of Computer Science and Engineering, 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: unknown, 1995, pp. 37-56. 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. Performance prediction of GA on transputer arrays. In: Proceedings of the 1st International Conference MENDEL' 95. Brno: unknown, 1995, pp. 35-40. ISBN 80-214-0769-7.
Detail

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

1994

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

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

DOS Santos Luis Paulo Peixoto, DVOŘÁK Václav and CHALMERS Alan. Problem Solving with Parallel Processing. Bristol: unknown, 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, pp. 373-381.
Detail

DVOŘÁK Václav. Transputer Networks in Control. EC Newsletter, vol. Vol.5, no. No. 2, M, 1993, pp. 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: 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, no. No.1, 1992, pp. 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, pp. 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), vol. 29, no. 1, 1990, pp. 151-163. ISSN 0165-6074.
Detail

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