default search action
44th ISMVL 2014: Bremen, Germany
- IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-3534-5
Logic Design and Switching Functions
- Hiroki Nakahara
, Tsutomu Sasao, Munehiro Matsuura:
An Update Method for a CAM Emulator Using an LUT Cascade Based on an EVMDD (K). 1-6 - Tsutomu Sasao, Yuta Urano, Yukihiro Iguchi:
A Lower Bound on the Number of Variables to Represent Incompletely Specified Index Generation Functions. 7-12 - Jovanka Pantovic
On the Number of S-Threshold Functions on Not Necessarily Binary Input. 13-18 - Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic:
The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited. 19-24
Problem Solvers and Fuzzy Logic
- Bernd Steinbach, Christian Posthoff:
Multiple-Valued Problem Solvers - Comparison of Several Approaches. 25-31 - Josep Argelich
Many-Valued MinSAT Solving. 32-37 - Christian G. Fermüller:
Semantic Games with Backtracking for Fuzzy Logics. 38-43 - Russell Dodd, Bruce F. Cockburn, Vincent C. Gaudet
Neural Spike Compression Using Feature Extraction and a Fuzzy C-Means Codebook. 44-48
Algebra and Logic I
- Sebastian Kerkhoff:
Concrete Dualities and Essential Arities. 49-54 - Tamás Waldhauser
Maximal and Minimal Closed Classes in Multiple-Valued Logic. 55-60 - Dmitriy Zhuk:
On Key Relations Preserved by a Weak Near-Unanimity Function. 61-66
Hardware Improvement and Exploitation
- Akira Mochizuki, Hirokatsu Shirahama, Takahiro Hanyu:
Design of a Quaternary Single-Ended Current-Mode Circuit for an Energy-Efficient Inter-chip Asynchronous Communication Link. 67-72 - Takao Waho:
Non-binary Successive Approximation Analog-to-Digital Converters: A Survey. 73-78 - Radomir S. Stankovic, Jaakko Astola
Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs. 79-84
Investigations on Types of Clones
- Victor Lagerkvist, Magnus Wahlström
Polynomially Closed Co-clones. 85-90 - Boris A. Romov, Karsten Schölzel
Partial R-Clones. 91-96 - Hajime Machida, Ivo G. Rosenberg:
Essentially Minimal Clones of Rank 3 on a Three-Element Set. 97-102
Synthesis and Fault Analysis for Reversible Circuits
- Mridul Krishna, Anupam Chattopadhyay:
Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching. 103-108 - Chandan Bandyopadhyay, Hafizur Rahaman
A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit. 109-114 - Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf, Claudio Moraga:
Analysis of Faults in Reversible Computing. 115-120
Algebra and Logic II
- Thomas Macaulay Ferguson:
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. 121-127 - Sándor Jenei:
Four New Construction Methods on Residuated Monoids. 128-131 - Tamás Mihálydeák
First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach. 132-137
Coding
- Yosuke Iijima, Yasushi Yuminaka:
Evaluation of High-Speed Interfaces for VLSI Systems Using Tomlinson-Harashima Precoding. 138-143 - Rei Ueno, Kotaro Okamoto, Naofumi Homma, Takafumi Aoki:
An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders. 144-149 - Yasushi Yuminaka, Yuki Takada, Tomonao Okada, Yosuke Iijima:
Comparison of Spectrally Efficient Coding Techniques for High-Speed Serial Links. 150-154
Investigations on Properties of Clones
- Lucien Haddad, Karsten Schölzel
Countable Intervals of Partial Clones. 155-160 - Miguel Couceiro
Relation Graphs and Partial Clones on a 2-Element Set. 161-166 - Miroslav Kvassay
Minimal Cut Vectors and Logical Differential Calculus. 167-172
Advances for Quantum Computation
- Alexis De Vos, Stijn De Baerdemacker
The Decomposition of U(n) into XU(n) and ZU(n). 173-177 - Claudio Moraga:
On Some Basic Aspects of Ternary Reversible and Quantum Computing. 178-183 - Sudhindu Bikash Mandal
Synthesis of Ternary Grover's Algorithm. 184-189
Decision Diagrams and Other Function Representations
- Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton
Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams. 190-195 - Mitchell A. Thornton
System Probability Distribution Modeling Using MDDs. 196-201 - Dan A. Simovici:
On Submodular and Supermodular Functions on Lattices and Related Structures. 202-207
Design and Evaluation of Memories
- Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
Associative Memories Based on Multiple-Valued Sparse Clustered Networks. 208-213 - Shintaro Harada, Xu Bai, Michitaka Kameyama, Yoshichika Fujioka:
Design of a Logic-in-Memory Multiple-Valued Reconfigurable VLSI Based on a Bit-Serial Packet Data Transfer Scheme. 214-219 - Naoya Onizawa, Shoun Matsunaga, Noboru Sakimura, Ryusuke Nebashi, Tadahiko Sugibayashi, Takahiro Hanyu:
Soft-Delay-Error Evaluation in Content-Addressable Memory. 220-225
Algebra and Logic III
- Ming Chai, Bernd-Holger Schlingloff
Online Monitoring of Distributed Systems with a Five-Valued LTL. 226-231 - Takako Soma, Takashi Soma:
Ternary Parametron Based on Subharmonic Oscillation of Order Three by Forcing. 232-236 - Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao:
Inadmissible Class of Boolean Functions under Stuck-at Faults. 237-242
Hardware Components
- Masanori Natsui
Variation-Effect Analysis of MTJ-Based Multiple-Valued Programmable Resistors. 243-247 - Mostafa Rashdan
Differential-Time and Pulse-Amplitude Modulation Signaling for Serial Link Transceivers. 248-253 - Nan Li, Elena Dubrova:
An Algorithm for Constructing a Minimal Register with Non-linear Update Generating a Given Sequence. 254-259
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: