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