38. ISMVL 2008:
Dallas,
Texas,
USA
38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA.
IEEE Computer Society 2008 BibTeX
- Thomas W. Williams:
EDA to the Rescue of the Silicon Roadmap.
1
Electronic Edition (link) BibTeX
- Mark H. Nodine, Craig M. Files:
A Mature Methodology for Implementing Multi-Valued Logic in Silicon.
2-7
Electronic Edition (link) BibTeX
- Hirokatsu Shirahama, Takahiro Hanyu:
Design of High-Performance Quaternary Adders Based on Output-Generator Sharing.
8-13
Electronic Edition (link) BibTeX
- Akihiro Hirosaki, Masatomo Miura, Atsushi Matsumoto, Takahiro Hanyu:
Vth-Variation Compensation of Multiple-Valued Current-Mode Circuit Using TMR Devices.
14-19
Electronic Edition (link) BibTeX
- Yasushi Yuminaka, Yasunori Takahashi:
Time-Domain Pre-Emphasis Techniques for Equalization of Multiple-Valued Data.
20-25
Electronic Edition (link) BibTeX
- Dan A. Simovici:
Betweenness, Metrics and Entropies in Lattices.
26-31
Electronic Edition (link) BibTeX
- Hajime Machida, Jovanka Pantovic:
On Maximal Hyperclones on {0, 1} — A New Approach.
32-37
Electronic Edition (link) BibTeX
- Hajime Machida, Tamas Waldhauser:
Majority and Other Polynomials in Minimal Clones.
38-43
Electronic Edition (link) BibTeX
- Doina Logofatu, Rolf Drechsler:
Comparative Study by Solving the Test Compaction Problem.
44-49
Electronic Edition (link) BibTeX
- Shinobu Nagayama, Tsutomu Sasao:
Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators.
50-56
Electronic Edition (link) BibTeX
- Tsutomu Sasao:
On the Complexity of Classification Functions.
57-63
Electronic Edition (link) BibTeX
- Craig M. Files, Mark H. Nodine:
MDD with Added Null-Value and All-Value Edges.
64-69
Electronic Edition (link) BibTeX
- Tasuku Nagai, Naoya Onizawa, Takahiro Hanyu:
High-Speed Timing Verification Scheme Using Delay Tables for a Large-Scaled Multiple-Valued Current-Mode Circuit.
70-75
Electronic Edition (link) BibTeX
- Claudio Moraga:
Permutations under Spectral Transforms.
76-81
Electronic Edition (link) BibTeX
- Claudio Moraga, Suzana Stojkovic, Radomir S. Stankovic:
On Fixed Points and Cycles in the Reed Muller Domain.
82-87
Electronic Edition (link) BibTeX
- Hosam A. Aleem, Ferda Mavituna, David H. Green:
A Galois Field Approach to Modelling Gene Expression Regulation.
88-93
Electronic Edition (link) BibTeX
- Stephan Eggersglüß, Rolf Drechsler:
On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults.
94-99
Electronic Edition (link) BibTeX
- Victor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer:
Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.
100-105
Electronic Edition (link) BibTeX
- Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà:
Encoding Max-CSP into Partial Max-SAT.
106-111
Electronic Edition (link) BibTeX
- Yuki Watanabe, Naofumi Homma, Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi:
High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language.
112-117
Electronic Edition (link) BibTeX
- Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi:
Semirigid Equivalence Relations on a Finite Set.
118-123
Electronic Edition (link) BibTeX
- David W. Matula:
Foundations of Higher Radix Numeric Computation.
124
Electronic Edition (link) BibTeX
- Mozammel H. A. Khan, Nafisa K. Siddika, Marek A. Perkowski:
Minimization of Quaternary Galois Field Sum of Products Expression for Multi-Output Quaternary Logic Function Using Quaternary Galois Field Decision Diagram.
125-130
Electronic Edition (link) BibTeX
- Andrea Masini, Luca Viganò, Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations.
131-137
Electronic Edition (link) BibTeX
- David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller:
On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams.
138-143
Electronic Edition (link) BibTeX
- David J. Rosenbaum, Marek A. Perkowski:
Superposed Quantum State Initialization Using Disjoint Prime Implicants (SQUID).
144-149
Electronic Edition (link) BibTeX
- Saoussen Bel Hadj Kacem, Amel Borgi, Khaled Ghédira:
Generalized Modus Ponens Based on Linguistic Modifiers in a Symbolic Multi-Valued Framework.
150-155
Electronic Edition (link) BibTeX
- Raul Cruz-Cano, Igor N. Aizenberg:
Soft Computing Methods for Prediction of Replication Origins in Caudoviruses.
156-162
Electronic Edition (link) BibTeX
- Daniel Stamate:
Default Reasoning with Imperfect Information in Multivalued Logics.
163-168
Electronic Edition (link) BibTeX
- Bogdan J. Falkowski, Cheng Fu:
Classification of Fastest Quaternary Linearly Independent Arithmetic Transforms.
169-173
Electronic Edition (link) BibTeX
- Kazuki Akutagawa, Kazuya Machida, Takao Waho:
A 3/7-Level Mixed-Mode Algorithmic Analog-to-Digital Converter.
174-179
Electronic Edition (link) BibTeX
- Nobuaki Okada, Michitaka Kameyama:
Fine-Grain Multiple-Valued Reconfigurable VLSI Using Universal-Literal-Based Cells.
180-185
Electronic Edition (link) BibTeX
- John A. Chandy, Faquir C. Jain:
Multiple Valued Logic Using 3-State Quantum Dot Gate FETs.
186-190
Electronic Edition (link) BibTeX
- Martin Lukac, Marek A. Perkowski:
Projective Measurement-Based Logic Synthesis of Quantum Circuits.
191-196
Electronic Edition (link) BibTeX
- Theodore W. Manikas, Dale Teeters:
Multiple-Valued Logic Memory System Design Using Nanoscale Electrochemical Cells.
197-201
Electronic Edition (link) BibTeX
- Mitchell A. Thornton, David W. Matula, Laura Spenner, D. Michael Miller:
Quantum Logic Implementation of Unary Arithmetic Operations.
202-207
Electronic Edition (link) BibTeX
- Mozammel H. A. Khan:
Reversible Realization of Quaternary Decoder, Multiplexer, and Demultiplexer Circuits.
208-213
Electronic Edition (link) BibTeX
- Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler:
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares.
214-219
Electronic Edition (link) BibTeX
- Robert Wille, Daniel Große, Lisa Teuber, Gerhard W. Dueck, Rolf Drechsler:
RevLib: An Online Resource for Reversible Functions and Reversible Circuits.
220-225
Electronic Edition (link) BibTeX
- Cicilia C. Lozano, Bogdan J. Falkowski, Tadeusz Luba:
Properties and Computational Algorithm for Fastest Quaternary Linearly Independent Transforms.
226-231
Electronic Edition (link) BibTeX
- Susanna Minasyan, Jaakko Astola, Karen O. Egiazarian, Radomir S. Stankovic:
Hybrid Reed-Muller Haar Transform and its Application in Reduction the Spectral Representations of Logic Functions.
232-237
Electronic Edition (link) BibTeX
- Radomir S. Stankovic, Jaakko Astola:
Remarks on Bandwidth and Regularities in Functions on Finite Non-Abelian Groups.
238-243
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:25:54 2009
by Michael Ley (ley@uni-trier.de)
