prof. Ing.

Václav Dvořák

DrSc.

FIT – významný bývalý pracovník

Odeslat VUT zprávu

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

Publikace

  • 2015

    DVOŘÁK, V.; MIKUŠEK, P. Memory-Based Logic Control for Embedded Systems. Lecture notes in Electrical Engineering, 2015, roč. 325, č. 1, s. 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. s. 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. s. 471-476. ISBN: 978-989-8565-70-9.
    Detail | WWW

  • 2012

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

    DVOŘÁK, V. Branching Program-Based Programmable Logic for Embedded Systems. Proceedings of ICONS 2012. New York: International Academy, Research, and Industry Association, 2012. s. 109-115. ISBN: 978-1-61208-184-7.
    Detail

  • 2011

    JAROŠ, 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. s. 60-94. ISBN: 978-1-4398-2911-0.
    Detail

    MIKUŠEK, P.; TOMEC, M.; DVOŘÁK, V. A Cascade Decomposition of Application-Specific Systems. MEMICS Proc. Brno: Brno University of Technology, 2011. s. 78-85. ISBN: 978-80-214-4305-1.
    Detail

    JAROŠ, 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. s. 24-29. ISBN: 978-1-61208-002-4.
    Detail | WWW

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

    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. s. 6-11. ISBN: 978-1-61208-002-4.
    Detail | WWW

  • 2010

    JAROŠ, 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. s. 1171-1178. ISBN: 978-1-4503-0072-8.
    Detail | WWW

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

    DVOŘÁ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. s. 22-27. ISBN: 978-0-7695-3979-9.
    Detail | WWW

    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. s. 140-145. ISBN: 978-989-8425-02-7.
    Detail | WWW

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

    MIKUŠ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. s. 235-235. ISBN: 978-80-87342-04-6.
    Detail | WWW

    MIKUŠ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. s. 605-608. ISBN: 978-0-7695-3782-5.
    Detail | WWW

  • 2008

    MIKUŠ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. s. 261-261. ISBN: 978-80-7355-082-0.
    Detail | WWW

    JAROŠ, 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. s. 1539-1546. ISBN: 978-1-60558-131-6.
    Detail | WWW

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

    MIKUŠ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. s. 795-802. ISBN: 978-0-7695-3277-6.
    Detail | WWW

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

    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. s. 156-161. ISBN: 978-0-7695-3106-9.
    Detail | WWW

    DVOŘÁ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. s. 85-89. ISBN: 978-1-4244-2482-5.
    Detail | WWW

  • 2007

    DVOŘÁ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. s. 80-85. ISBN: 978-0-7695-3006- 2.
    Detail

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

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

    DVOŘÁ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. s. 344-349. ISBN: 0-7695-2807- 4.
    Detail

    JAROŠ, J.; OHLÍDAL, M.; DVOŘÁK, V. 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. 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

    SLANÝ, K.; DVOŘÁK, V. Evolutionary Designed Branch Predictors. In 13th International Conference on Soft Computing. Brno: Faculty of Mechanical Engineering BUT, 2007. s. 18-23. ISBN: 978-80-214-3473- 8.
    Detail

    DVOŘÁ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. s. 1-6. ISBN: 0-7695-2805- 8.
    Detail

  • 2006

    JAROŠ, 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. s. 127-132. ISBN: 0-7695-2554- 7.
    Detail

    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. s. 63-68. ISBN: 80-214-3287- X.
    Detail

    OHLÍ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. s. 267-278. ISBN: 978-3-540-33237- 4.
    Detail

    JAROŠ, 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. s. 222-223. ISBN: 1-4244-0184- 4.
    Detail

    OHLÍ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. s. 619-624. ISBN: 0-7695-2570-9.
    Detail

  • 2005

    JAROŠ, 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. s. 472-481. ISBN: 978-3-540-29414- 6.
    Detail

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

    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. s. 136-141. ISBN: 0-9544145-6- X.
    Detail

    JAROŠ, 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. s. 206 ( s.)ISBN: 9639364487.
    Detail

    DVOŘÁ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. s. 27-34. ISBN: 0-7695-2446- X.
    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. s. 37-44. ISBN: 1-85769- 1970.
    Detail

    DVOŘÁ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, roč. 9, č. 11, s. 1258-1260. ISSN: 0948-6968.
    Detail

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

    DVOŘÁK, V. 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

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

    STAROBA, 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. s. 980-985. ISBN: 0-86341-325-0.
    Detail

  • 2003

    DVOŘÁ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. s. 455-458. ISBN: 0-7695-2003-0.
    Detail

    DVOŘÁK, V.; STAROBA, J. Genetic Search for the Shortest Group Communications on Irregular Topologies. Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: 2003. s. 321-326. ISBN: 80-85988-88-7.
    Detail

    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. s. 778-782. ISBN: 953-6114-64-X.
    Detail

    KUTÁ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. s. 220-225. ISBN: 0-08-044130-0.
    Detail

    STAROBA, 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. s. 47-52. ISBN: 80-214-2411-7.
    Detail

    KUTÁ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. s. 57-64. ISBN: 80-85988-86-0.
    Detail

  • 2002

    DVOŘÁ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. s. 934-940. ISBN: 1-892512-88-2.
    Detail

    STAROBA, 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. s. 225-230. ISBN: 80-85988-77-1.
    Detail | WWW

    KUTÁ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. s. 313-320. ISBN: 80-85988-71-2.
    Detail

    KUTÁ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. s. 296-299. ISBN: 80-214-2094-4.
    Detail

    DVOŘÁK, V. Architektura a programování paralelních systémů. Učební texty pro předmět APP, obor IT. Brno: 2002. s. 0-0.
    Detail

    Č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. s. 38-45. ISBN: 1-4020-7209-0.
    Detail

    DVOŘÁ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. s. 273-280. ISBN: 80-85988-71-2.
    Detail

    DVOŘÁ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. s. 71-75. ISBN: 1-85769-169-5.
    Detail

    DVOŘÁ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. s. 65-70. ISBN: 1-85769-169-5.
    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. s. 115-120. ISBN: 80-85988-57-7.
    Detail

    STAROBA, 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. s. 358-362. ISBN: 80-214-1860-5.
    Detail

    SEKANINA, 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. s. 539-543. ISBN: 1-56555-225-3.
    Detail | WWW

    DVOŘÁK, V.; STAROBA, J. Numerical Performance Models of Synchronization Operations in Shared-Variable Programs. Proceedings of XXIII Int. Autumn Colloquium ASIS 2001. Ostrava: 2001. s. 65-70. ISBN: 80-85988-61-5.
    Detail

    DVOŘÁ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. s. 103-108. ISBN: 83-85911-62-6.
    Detail

    DVOŘÁ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. s. 109-114. ISBN: 80-85988-57-7.
    Detail

    DVOŘÁ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. s. 81-86. ISBN: 80-85988-57-7.
    Detail

*) Citace publikací se generují jednou za 24 hodin.