Vaclav Dvorak

21 papers A 4C 2Misc 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2014 A conf
Bent Function Synthesis by Means of Cartesian Genetic Programming.
PPSN
Radek Hrbacek, Vaclav Dvorak
2010 A conf
Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs.
GECCO
Jirí Jaros, Vaclav Dvorak
2008 A conf
An evolutionary design technique for collective communications on optimal diameter-degree networks.
GECCO
Jirí Jaros, Vaclav Dvorak
2008 — conf
Communication Performance of Mesh- and Ring-Based NoCs.
ICN
Vaclav Dvorak
2008 C conf
On Lookup Table Cascade-Based Realizations of Arbiters.
DSD
Petr Mikusek, Vaclav Dvorak
2007 A conf
An evolutionary approach to collective communication scheduling.
GECCO
Jirí Jaros, Milos Ohlídal, Vaclav Dvorak
2007 J jnl
Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware.
J. Softw.
Vaclav Dvorak
2007 — conf
Optimum Topology-Aware Scheduling of Many-to-Many Collective Communications.
ICN
Vaclav Dvorak, Jirí Jaros, Milos Ohlídal
2007 — conf
Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software.
ECBS
Vaclav Dvorak
2006 — conf
Performance of Collective Communications on Interconnection Networks with Fat nodes and Edges.
ICN/ICONS/MCL
Milos Ohlídal, Jirí Jaros, Vaclav Dvorak
2005 C conf
Scheduling Collective Communications on Wormhole Fat Cubes.
SBAC-PAD
Vaclav Dvorak
2002 Misc conf
Simulation and Prototyping in Teaching Parallel Architectures, Algorithms and Programming Models.
PDPTA
Vaclav Dvorak
2000 — conf
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications.
ECBS
Vaclav Dvorak, Rudolf Cejka
2000 J jnl
J.UCS Special Issue on Formal Specifications of Computer-Based Systems.
J. Univers. Comput. Sci.
Vaclav Dvorak
1997 J jnl
Bounds on Size of Decision Diagrams.
J. Univers. Comput. Sci.
Vaclav Dvorak
1993 J jnl
Neural networks and fuzzy systems : B Kosko Prentice-Hall.
Knowl. Based Syst.
Vaclav Dvorak
1990 J jnl
A cascade implementation of digital systems.
Microprocessing and Microprogramming
Vaclav Dvorak
1988 J jnl
A table-driven system controller with multi-way branching.
Microprocess. Microprogramming
Vaclav Dvorak
1988 J jnl
Synthesis of minimal multivalued decision diagrams.
Microprocess. Microprogramming
Vaclav Dvorak
1987 J jnl
Design and Microprogramming of Bit-sequential Processors for Parallel Systems.
J. Inf. Process. Cybern.
Vaclav Dvorak
1983 — conf
Efficient Implementation of Logic Control Algorithms on Microprocessors.
IFIP Congress
Vaclav Dvorak, Imrich Rukovansky
redb/extractors/decompiler/bninja/arch/architecture.py
← Index redb/extractors/decompiler/bninja/arch/architecture.py python 
from abc import ABC, abstractmethod


class Architecture(ABC):
    @abstractmethod
    def is_control_flow(self, operand):
        pass

    @abstractmethod
    def is_register(self, register):
        pass

    @abstractmethod
    def is_general_purpose_register(self, register):
        pass