12 search results - page 1 / 3 » ismvl 2003 |
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we introduce new analog devices that emulate natural chemical systems, called the reaction-diffusion (RD) system. The RD system gives us a lot of clues and insights...
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper introduces the implementation of the Iterative Symmetry Indices Decomposition (ISID) for the synthesis of ternary threedimensional logic circuits. The synthesis of regu...
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...