EDITORIAL
-
Guest Editors Preface
.... 145
PAPERS
-
R. S. Stanković, R. Ubar, and J. T. Astola:
Decision Diagrams - from A Mathematical Notion to Engineering
Applications
.... 281
-
R. Ubar:
Overview about Low-Level and High-Level Decision Diagrams for
Diagnostic Modeling of Digital Systems
.... 303
-
A. Peder, H. Nestra, J. Raik, M. Tombak, and R. Ubar:
Linear Algorithms for Testing and Parsing Superpositional Graphs
.... 325
-
S. Stanković and J. Astola:
BDD Based Construction of Resilient Functions
.... 341
-
B. Steinbach and C. Posthoff:
BDD Based Construction of Resilient Functions
.... 357
-
N. M. Nayeem and J. E. Rice:
A Shared-cube Approach to ESOP-based Synthesis of Reversible Logic
.... 385
-
M. Lukac, M. Kameyama, M. Perkowski, and P. Kerntopf:
Decomposition of Reversible Logic Function Based on Cube-Reordering
.... 403
-
C. Moraga:
Using Negated Control Signals in Quantum Computing Circuits
.... 423
-
D. Knysh and E. Dubrova:
Rule-Based Optimization of AND-XOR Expressions
.... 437
-
S. N. Yanushkevich, A. H. Tran, G. Tangim, V. P. Shmerko, E. N. Zaitseva,
and V. Levashenko:
The EXOR gate Under Uncertainty: A Case Study
.... 451
-
D. B. Gajić and R. S. Stanković:
NGPU Accelerated Computation of Fast Spectral Transforms
.... 483
|