default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVáclav Dvorák
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j17]Anas F. A. Elbarghthi
, Mohammad Yousef Hdaib, Václav Dvorák:
Heat Transfer Analysis between R744 and HFOs inside Plate Heat Exchangers. Entropy 24(8): 1150 (2022)- [j16]Anas F. A. Elbarghthi, Václav Dvorák:
Evaluation of Various Ejector Profiles on CO2 Transcritical Refrigeration System Performance. Entropy 24(9): 1173 (2022)
2010 – 2019
- 2014
- [c25]Radek Hrbacek, Vaclav Dvorak:
Bent Function Synthesis by Means of Cartesian Genetic Programming. PPSN 2014: 414-423 - 2013
- [c24]Václav Dvorák, Petr Mikusek:
Easily Reprogrammable embedded Logic Control. ICINCO (1) 2013: 471-476 - 2012
- [c23]Václav Dvorák:
On the complexity and optimization of branching programs for decision diagram machines. PDeS 2012: 91-96 - 2011
- [c22]Václav Dvorák, Petr Mikusek:
On the Cascade Implementation of Multiple-Output Sparse Logic Functions. DSD 2011: 21-28 - 2010
- [j15]Václav Dvorák, Petr Mikusek:
Design of Arbiters and Allocators Based on Multi-Terminal BDDs. J. Univers. Comput. Sci. 16(14): 1826-1852 (2010) - [c21]Jirí Jaros, Vaclav Dvorak:
Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs. GECCO 2010: 1171-1178 - [c20]Václav Dvorák:
Multi-Terminal BDDs in Microprocessor-based Control. ICINCO (3) 2010: 140-145
2000 – 2009
- 2009
- [c19]Petr Mikusek, Václav Dvorák:
Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. DSD 2009: 605-608 - 2008
- [c18]Petr Mikusek, Vaclav Dvorak:
On Lookup Table Cascade-Based Realizations of Arbiters. DSD 2008: 795-802 - [c17]Jirí Jaros, Vaclav Dvorak:
An evolutionary design technique for collective communications on optimal diameter-degree networks. GECCO 2008: 1539-1546 - [c16]Vaclav Dvorak:
Communication Performance of Mesh- and Ring-Based NoCs. ICN 2008: 156-161 - [c15]Václav Dvorák:
Embedded Firmware Development with Multi-way Branching. ICONS 2008: 317-322 - 2007
- [j14]Vaclav Dvorak:
Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. J. Softw. 2(5): 52-63 (2007) - [c14]Vaclav Dvorak:
Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. ECBS 2007: 178-185 - [c13]Jirí Jaros, Milos Ohlídal, Vaclav Dvorak:
An evolutionary approach to collective communication scheduling. GECCO 2007: 2037-2044 - [c12]Vaclav Dvorak, Jirí Jaros, Milos Ohlídal:
Optimum Topology-Aware Scheduling of Many-to-Many Collective Communications. ICN 2007: 61 - [c11]Václav Dvorák:
Implementation of Combinational and Sequential Functions in Embedded Firmware. IPC 2007: 80-85 - 2006
- [c10]Jirí Jaros, Václav Dvorák:
Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. DDECS 2006: 222-223 - [c9]Milos Ohlídal, Jirí Jaros, Josef Schwarz, Václav Dvorák:
Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks. EvoWorkshops 2006: 267-278 - [c8]Milos Ohlídal, Jirí Jaros, Vaclav Dvorak:
Performance of Collective Communications on Interconnection Networks with Fat nodes and Edges. ICN/ICONS/MCL 2006: 32 - [c7]Jirí Jaros, Milos Ohlídal, Václav Dvorák:
Complexity of Collective Communications on NoCs. PARELEC 2006: 127-133 - 2005
- [j13]Vladimír Kutálek, Václav Dvorák:
On Complexity of Collective Communications on a Fat Cube Topology. J. Univers. Comput. Sci. 11(6): 944-961 (2005) - [c6]Jirí Jaros, Milos Ohlídal, Václav Dvorák:
Evolutionary Design of Group Communication Schedules for Interconnection Networks. ISCIS 2005: 472-481 - [c5]Vaclav Dvorak:
Scheduling Collective Communications on Wormhole Fat Cubes. SBAC-PAD 2005: 27-34 - 2003
- [c4]Václav Dvorák, Vladimír Kutálek:
A Methodology for Designing Communication Architectures for Multiprocessor SoCs. DSD 2003: 455-458 - 2002
- [c3]Vaclav Dvorak:
Simulation and Prototyping in Teaching Parallel Architectures, Algorithms and Programming Models. PDPTA 2002: 934-942 - 2000
- [j12]Vaclav Dvorak:
J.UCS Special Issue on Formal Specifications of Computer-Based Systems. J. Univers. Comput. Sci. 6(11): 1052-1053 (2000) - [c2]Vaclav Dvorak, Rudolf Cejka:
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. ECBS 2000: 18-
1990 – 1999
- 1999
- [j11]Václav Dvorák:
Advanced Computer Architectures - a Design Space Approach, D. Sima, T. Fountain, P. Kacsuk (Eds.), Addison-Wesley Longman Ltd., 1997, ISBN 0-201-42291-3. Microprocess. Microsystems 22(9): 571-572 (1999) - 1997
- [j10]Vaclav Dvorak:
Bounds on Size of Decision Diagrams. J. Univers. Comput. Sci. 3(1): 2-22 (1997) - 1995
- [j9]Václav Dvorák, Jaroslav Sustr:
A Synthesis of Sub-Optimal Decision Programs. Comput. Artif. Intell. 14(1): 93-103 (1995) - 1993
- [j8]Vaclav Dvorak:
Neural networks and fuzzy systems : B Kosko Prentice-Hall. Knowl. Based Syst. 6(3): 179 (1993) - [j7]Václav Dvorák:
Introduction to Microprogramming: Milutinovic, V (Ed) Prentice Hall, Hemel Hempstead, UK (1992) ISBN 0 13 488917 7, £38.95, pp 297. Microprocess. Microsystems 17(7): 435-436 (1993) - 1990
- [j6]Vaclav Dvorak:
A cascade implementation of digital systems. Microprocessing and Microprogramming 29(3): 151-163 (1990)
1980 – 1989
- 1988
- [j5]Vaclav Dvorak:
A table-driven system controller with multi-way branching. Microprocess. Microprogramming 23(1-5): 9-13 (1988) - [j4]Vaclav Dvorak:
Synthesis of minimal multivalued decision diagrams. Microprocess. Microprogramming 23(1-5): 207-211 (1988) - 1987
- [j3]Vaclav Dvorak:
Design and Microprogramming of Bit-sequential Processors for Parallel Systems. J. Inf. Process. Cybern. 23(12): 587-597 (1987) - 1983
- [c1]Vaclav Dvorak, Imrich Rukovansky:
Efficient Implementation of Logic Control Algorithms on Microprocessors. IFIP Congress 1983: 573-578
1960 – 1969
- 1968
- [j2]Václav Dvorák:
General-purpose Boolean functions and synthesis of Boolean functions by means of general-purpose modules. Kybernetika 4(2): 93-104 (1968) - [j1]Václav Dvorák:
A Two-Rail Cascade Synthesis of Boolean Functions. IEEE Trans. Computers 17(6): 592-596 (1968)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
