Václav Dvorák

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

2011

On the Cascade Implementation of Multiple-Output Sparse Logic Functions.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Design of Arbiters and Allocators Based on Multi-Terminal BDDs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

Multi-Terminal BDDs in Microprocessor-based Control.

[BibT_eX]

Proceedings of the ICINCO 2010, 2010

Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

2008

Embedded Firmware Development with Multi-way Branching.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Systems, 2008

Communication Performance of Mesh- and Ring-Based NoCs.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

An evolutionary design technique for collective communications on optimal diameter-degree networks.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

On Lookup Table Cascade-Based Realizations of Arbiters.

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

2007

Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware.

[BibT_eX]

[DOI]

J. Softw., 2007

Implementation of Combinational and Sequential Functions in Embedded Firmware.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

Optimum Topology-Aware Scheduling of Many-to-Many Collective Communications.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Networking (ICN 2007), 2007

An evolutionary approach to collective communication scheduling.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Complexity of Collective Communications on NoCs.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 2006

Performance of Collective Communications on Interconnection Networks with Fat nodes and Edges.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2006

Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005

On Complexity of Collective Communications on a Fat Cube Topology.

[BibT_eX]

[DOI]

Vladimír Kutálek

J. Univers. Comput. Sci., 2005

Scheduling Collective Communications on Wormhole Fat Cubes.

[BibT_eX]

[DOI]

Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005

Evolutionary Design of Group Communication Schedules for Interconnection Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2005

2003

A Methodology for Designing Communication Architectures for Multiprocessor SoCs.

[BibT_eX]

[DOI]

Vladimír Kutálek

Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

2002

Simulation and Prototyping in Teaching Parallel Architectures, Algorithms and Programming Models.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2000

J.UCS Special Issue on Formal Specifications of Computer-Based Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

A Choice of SM/DM Parallel ANN Implementation for Embedded Applications.

[BibT_eX]

[DOI]

Rudolf Cejka

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

Advanced Computer Architectures - a Design Space Approach, D. Sima, T. Fountain, P. Kacsuk (Eds.), Addison-Wesley Longman Ltd., 1997, ISBN 0-201-42291-3.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1999

1997

Bounds on Size of Decision Diagrams.

[BibT_eX]

[DOI]