Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines
Wille, Robert, Soeken, Mathias, Przigoda, Nils, Drechsler, Rolf
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Multiple-Valued Time-Based Architecture for Serial Communication Links
Rashdan, Mostafa, Haslett, James, Maundy, Brent
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits
Soeken, M., Sasanian, Z., Wille, R., Miller, D. M., Drechsler, R.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Analysis of Multi-state Systems with Multi-state Components Using EVMDDs
Nagayama, S., Sasao, T., Butler, J. T.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Probabilistic Logic Programming with Well-Founded Negation
Hadjichristodoulou, S., Warren, D. S.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems
Steinbach, Bernd, Posthoff, Christian
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
Ansótegui, C., Bofill, M., Manyà, F., Villaret, M.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Multiple-Valued Input Index Generation Functions: Optimization by Linear Transformation
Sasao, Tsutomu
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Quantum Pseudo-Fractional Fourier Transform Using Multiple-Valued Logic
Parasa, V., Perkowski, M.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Loading…
Efficient Data Transmission Using Multiple-Valued Pulse-Position Modulation
Yuminaka, Yasushi, Okui, Masaaki
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Prime Filters on Residuated Lattices
Kondo, M., Turunen, E.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Asynchronous Stochastic Decoding of Low-Density Parity-Check Codes
Onizawa, N., Gaudet, V. C., Hanyu, T., Gross, W. J.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions
Couceiro, M., Haddad, L.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
A Synthesis Flow for Sequential Reversible Circuits
Soeken, M., Wille, R., Otterstedt, C., Drechsler, R.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
A New Approach to Online Testing of TGFSOP-based Ternary Toffoli Circuits
Nayeem, N. M., Rice, J. E.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model
Schaeffer, B., Perkowski, M.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI Architecture
Bai, Xu, Kameyama, Michitaka
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…
Process-Variation-Resilient OTA Using MTJ-based Multi-level Resistance Control
Natsui, M., Nagashima, T., Hanyu, T.
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Published in 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (01.05.2012)
Get full text
Conference Proceeding
Loading…