prof. Ing.
Václav Dvořák
DrSc.
Significant Former Employee
Publications
-
2015
DVOŘÁK, V.; MIKUŠEK, P. Memory-Based Logic Control for Embedded Systems. Lecture notes in Electrical Engineering, 2015, vol. 325, no. 1,
p. 367-379. ISSN: 1876-1100. Detail -
2014
HRBÁČEK, R.; DVOŘÁK, V. Bent Function Synthesis by Means of Cartesian Genetic Programming. In Parallel Problem Solving from Nature - PPSN XIII. Heidelberg: Springer Verlag, 2014.
p. 414-423. ISBN: 978-3-319-10761-5. Detail -
2013
DVOŘÁK, V.; MIKUŠEK, P. Easily Reprogrammable Embedded Logic Control. Proceedings of ICINCO 2013, Vol.1. Lisbon: SciTePress - Science and Technology Publications, 2013.
p. 471-476. ISBN: 978-989-8565-70-9. Detail -
2012
DVOŘÁK, V. Branching Program-Based Programmable Logic for Embedded Systems. Proceedings of ICONS 2012. New York: International Academy, Research, and Industry Association, 2012.
p. 109-115. ISBN: 978-1-61208-184-7. DetailDVOŘÁK, V. O složitosti a optimalizaci větvících programů pro stroje DDM. Programmable Devices and Embedded Systems PDeS 2012. Programmable devices and systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2012.
s. 84-89. ISBN: 978-3-902823-21-2. ISSN: 1474-6670. Detail -
2011
DVOŘÁK, V.; JAROŠ, J. A Programmable Interconnection Network for Multiple Communication Patterns. Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011.
p. 6-11. ISBN: 978-1-61208-002-4. DetailDVOŘÁK, V.; MIKUŠEK, P. On the cascade realization of sparse logic functions. Euromicro Proceedings. Oulu: IEEE Computer Society, 2011.
p. 21-28. ISBN: 978-0-7695-4494-6. DetailJAROŠ, J.; DVOŘÁK, V. Optimizing Collective Communications on the K-port Spidergon Network. Proceedings of the Sixth International Conference on Systems, ICONS 2011. St. Maarten: International Academy, Research, and Industry Association, 2011.
p. 24-29. ISBN: 978-1-61208-002-4. DetailJAROŠ, J.; DVOŘÁK, V. Evolutionary Design of Collective Communications on Wormhole NoCs. In Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification. Embedded Multi-Core Systems. London: CRC Press LLC, 2011.
p. 60-94. ISBN: 978-1-4398-2911-0. DetailMIKUŠEK, P.; TOMEC, M.; DVOŘÁK, V. A Cascade Decomposition of Application-Specific Systems. MEMICS Proc. Brno: Brno University of Technology, 2011.
p. 78-85. ISBN: 978-80-214-4305-1. Detail -
2010
DVOŘÁK, V. Multi-Terminal BDDs in Microprocessor-Based Control. Proceedings ICINCO 2010. Funchal, Madeira: Institute for Systems and Technologies of Information, Control and Communication, 2010.
p. 140-145. ISBN: 978-989-8425-02-7. DetailDVOŘÁK, V.; JAROŠ, J. Optimizing Collective Communications on 2D-Mesh and Fat Tree NoC. In 9th International Conference on Networks, ICN 2010. Piscataway, NJ: IEEE Computer Society, 2010.
p. 22-27. ISBN: 978-0-7695-3979-9. DetailDVOŘÁK, V.; MIKUŠEK, P. Design of Arbiters and Allocators Based on Multi-Terminal BDDs. Journal of Universal Computer Science, 2010, vol. 16, no. 14,
p. 1826-1852. ISSN: 0948-6968. DetailJAROŠ, J.; DVOŘÁK, V. Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs. In Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. New York: Association for Computing Machinery, 2010.
p. 1171-1178. ISBN: 978-1-4503-0072-8. Detail -
2009
DVOŘÁK, V.; MIKUŠEK, P. Optimalizace firmware pro vestavěné logcké řízení. Programmable devices and systems, 2009, roč. 2009, č. 1,
s. 109-114. ISSN: 1474-6670. DetailMIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009.
p. 235-235. ISBN: 978-80-87342-04-6. DetailMIKUŠEK, P.; DVOŘÁK, V. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. 12th EUROMICRO Conference on Digital System Design DSD 2009. Patras: IEEE Computer Society, 2009.
p. 605-608. ISBN: 978-0-7695-3782-5. Detail -
2008
DVOŘÁK, V. Communication Performance of Mesh- and Ring-Based NoCs. Proceedings of the 7th Int. Conference on Networking. New York: IEEE Computer Society, 2008.
p. 156-161. ISBN: 978-0-7695-3106-9. DetailDVOŘÁK, V. Embedded Firmware Development with Multi-Way Branching. Proc. of the 3rd Int. Coference on Systems. New York: IEEE Computer Society, 2008.
p. 317-322. ISBN: 978-0-7695-3105-2. DetailDVOŘÁK, V. Implementation of Combinational and Sequential Functions in Embedded Firmware. International Journal of Software Engineering and Its Applications, 2008, vol. 2, no. 1,
p. 43-54. ISSN: 1738-9984. DetailDVOŘÁK, V.; MIKUŠEK, P. LUT Cascade-Based Implementations of Allocators. Proc. of the 25th Convention of EEE in Israel. New York: IEEE Computer Society, 2008.
p. 85-89. ISBN: 978-1-4244-2482-5. DetailJAROŠ, J.; DVOŘÁK, V. An Evolutionary Design Technique for Collective Communications on Optimal Diameter-Degree Networks. In 2008 Genetic and Evolutionary Computational Conference GECCO. New York: Association for Computing Machinery, 2008.
p. 1539-1546. ISBN: 978-1-60558-131-6. DetailMIKUŠEK, P.; DVOŘÁK, V. On Lookup Table Cascade-Based Realizations of Arbiters. 11th EUROMICRO Conference on Digital System Design DSD 2008. Parma: IEEE Computer Society, 2008.
p. 795-802. ISBN: 978-0-7695-3277-6. DetailMIKUŠEK, P.; DVOŘÁK, V. On Lookup Table Cascade-Based Realizations of Arbiters. 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2008.
p. 261-261. ISBN: 978-80-7355-082-0. Detail -
2007
DVOŘÁK, V. Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. Journal of Software, 2007, vol. 2, no. 5,
p. 52-63. ISSN: 1796-217X. DetailDVOŘÁK, V. 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.
p. 80-85. ISBN: 978-0-7695-3006-2. DetailDVOŘÁK, V. 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. 344-349. ISBN: 0-7695-2807-4. DetailDVOŘÁK, V. 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.
p. 178-185. ISBN: 0-7695-2772-8. DetailDVOŘÁK, V.; JAROŠ, J.; OHLÍDAL, M. Optimum Topology-Aware Scheduling of Collective Communications. In Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007.
p. 1-6. ISBN: 0-7695-2805-8. DetailSLANÝ, K.; DVOŘÁK, V. Evolutionary Designed Branch Predictors. In 13th International Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2007.
p. 18-23. ISBN: 978-80-214-3473-8. Detail -
2006
JAROŠ, J.; DVOŘÁK, V. Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. In MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Masaryk University, 2006.
p. 63-68. ISBN: 80-214-3287-X. DetailJAROŠ, J.; DVOŘÁK, V. Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. In Proc. of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006.
p. 222-223. ISBN: 1-4244-0184-4. DetailJAROŠ, J.; OHLÍDAL, M.; DVOŘÁK, V. Complexity of Collective Communications on NoCs. In Proc. of 5th International Symposium on Parallel Computing in Electrical Engineering. Los Alamitos, CA 90720-1314: IEEE Computer Society, 2006.
p. 127-132. ISBN: 0-7695-2554-7. DetailOHLÍDAL, M.; JAROŠ, J.; DVOŘÁK, V. Performance of Collective Communications on Interconnection Networks with Fat nodes and Edges. In Proceedings of the Fifth International Conference on Networking ICN 2006. Los Alamitos: IEEE Computer Society, 2006.
p. 619-624. ISBN: 0-7695-2570-9. DetailOHLÍDAL, M.; JAROŠ, J.; DVOŘÁK, V.; SCHWARZ, J. Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks. In EvoStar 2006. LNCS 3907. Berlin: Springer Verlag, 2006.
p. 267-278. ISBN: 978-3-540-33237-4. Detail -
2005
DVOŘÁK, V. 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.
p. 136-141. ISBN: 0-9544145-6-X. DetailDVOŘÁK, V. 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.
p. 27-34. ISBN: 0-7695-2446-X. DetailJAROŠ, J., DVOŘÁK, V. 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. 206 ( p.) ISBN: 9639364487. DetailJAROŠ, J., OHLÍDAL, M., DVOŘÁK, V. 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 3733. Berlin: Springer Verlag, 2005.
p. 472-481. ISBN: 978-3-540-29414-6. DetailKUTÁLEK, V., DVOŘÁK, V. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science, 2005, vol. 11, no. 6,
p. 944-961. ISSN: 0948-6968. Detail -
2004
DVOŘÁK, V. 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.
p. 37-44. ISBN: 1-85769-1970. DetailDVOŘÁK, V. Optimizing Communication Architectures for Parallel Embedded Systems. In Design of Embedded Control Systems. Berlin: Springer Verlag, 2004.
p. 225-234. ISBN: 0-387-23630-9. DetailDVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 9, no. 11,
p. 1258-1260. ISSN: 0948-6968. DetailSTAROBA, J.; DVOŘÁK, V. Design of Low-Cost Communication Algorithms for Irregular Networks. Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004.
p. 980-985. ISBN: 0-86341-325-0. Detail -
2003
DVOŘÁK, V. Communication Architectures for Application-Specific Multiprocessor Systems (on a Chip). Proc. of the 11th International Conference on Software, Telecommunications and Computer Networks SoftCOM 2003. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture, 2003.
p. 778-782. ISBN: 953-6114-64-X. DetailDVOŘÁK, V.; KUTÁLEK, V. A Methodology for Designing Communication Architectures for Multiprocessor SoCs. Proceedings EUROMICRO Symposium on Digital System Design - Architectures, Methods and Tools DSD 2003. Belek: IEEE Computer Society, 2003.
p. 455-458. ISBN: 0-7695-2003-0. DetailDVOŘÁK, V.; STAROBA, J. Genetic Search for the Shortest Group Communications on Irregular Topologies. Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: 2003.
p. 321-326. ISBN: 80-85988-88-7. DetailKUTÁLEK, V.; DVOŘÁK, V. A multi-protocol cache controller. IFAC Workshop on Programmable devices and systems - PDS 2003. Ostrava: VŠB - Technical University of Ostrava, 2003.
p. 220-225. ISBN: 0-08-044130-0. DetailKUTÁLEK, V.; DVOŘÁK, V. Tuning Parallel Performance of Global Image Processing Operators. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003.
p. 57-64. ISBN: 80-85988-86-0. DetailSTAROBA, J.; DVOŘÁK, V. Genetic Algorithm Optimization of Group Communications. 9th International Conference on Soft Computing Mendel 2003. Brno: Faculty of Mechanical Engineering BUT, 2003.
p. 47-52. ISBN: 80-214-2411-7. Detail -
2002
ČEJKA, R.; DVOŘÁK, V.; STAROBA, J. Predicting performance of SMP clusters. In Distributed and Parallel Systems - Cluster and Grid Computing. Boston/London: Kluwer Academic Publishers, 2002.
p. 38-45. ISBN: 1-4020-7209-0. DetailDVOŘÁK, V. Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems. Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002. Stirling: University of Stirling, 2002.
p. 65-70. ISBN: 1-85769-169-5. DetailDVOŘÁK, V. Simulation and Prototyping in Teaching Parallel Architectures, Algorithms, and Programming Models. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Volume II. Las Vegas, Nevada: Computer Science Research, Education, and Applications Press, 2002.
p. 934-940. ISBN: 1-892512-88-2. DetailDVOŘÁK, V.; STAROBA, J. Design Space Exploration of Parallel Embedded Applications Based on Performance-Oriented Specifications. Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2002.
p. 71-75. ISBN: 1-85769-169-5. DetailDVOŘÁK, V.; STAROBA, J. Performance Prediction Model of Bus-Based Shared Memory Architectures. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002.
p. 273-280. ISBN: 80-85988-71-2. DetailKUTÁLEK, V.; DVOŘÁK, V. Prototyping Parallel Applications Based on Divide and Conquer Strategy. Proceedings of 36th International Conference MOSIS '02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002.
p. 313-320. ISBN: 80-85988-71-2. DetailKUTÁLEK, V.; DVOŘÁK, V. Simulation and Prototyping Multiprocessor SoC with Hybrid Pipeline/Farm Architecture. Proceedings of IEEE Design and Diagnostics of Electronic Circuits and System Workshop. Brno: Faculty of Information Technology BUT, 2002.
p. 296-299. ISBN: 80-214-2094-4. DetailSTAROBA, J.; DVOŘÁK, V. Parallel Linear Equations Solvers for Scientific Simulation: Cluster and SMP Experience. Proceedings of XXIVth International Autumn Colloquium ASIS'02 Advanced Simulation of Systems. Ostrava: 2002.
p. 225-230. ISBN: 80-85988-77-1. Detail -
2001
ČEJKA, R.; DVOŘÁK, V. Evaluating Performance of Message-Passing Programs on SMP Clusters. Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: 2001.
p. 115-120. ISBN: 80-85988-57-7. DetailDVOŘÁK, V. Optimizing SW/HW Architecture for Parallel Embedded Systems - A Case Study. Proceedings of the the International Workshop on Discrete-Event System Design, DESDes'01. Przytok near Zielona Gora, POLAND: Publishing House of Zielona Gora Technical University, 2001.
p. 103-108. ISBN: 83-85911-62-6. DetailDVOŘÁK, V.; ČÁBEL, M. Can Message Passing Architecture Outperform EREW PRAM?. In Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: 2001.
p. 109-114. ISBN: 80-85988-57-7. DetailDVOŘÁK, V.; STAROBA, J. Numerical Performance Models of Synchronization Operations in Shared-Variable Programs. Proceedings of XXIII Int. Autumn Colloquium ASIS 2001. Ostrava: 2001.
p. 65-70. ISBN: 80-85988-61-5. DetailDVOŘÁK, V.; STAROBA, J. Simulating PRAM algorithms with TRANSIM. Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems MOSIS 2001. Hradec nad Moravicí: 2001.
p. 81-86. ISBN: 80-85988-57-7. DetailSEKANINA, L.; DVOŘÁK, V. A Totally Distributed Genetic Algorithm: From a Cellular System to the Mesh of Processors. Modelling and Simulation 2001. Prague: Faculty of Electrical Engineering, Czech Technical University, 2001.
p. 539-543. ISBN: 1-56555-225-3. DetailSTAROBA, J.; DVOŘÁK, V. Simulation-based performance tuning of a parallel bitonic sort algorihtm. Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001.
p. 358-362. ISBN: 80-214-1860-5. Detail