Results 61 to 70 of about 24,648 (182)
On the enumeration of maximal infinitely-generated classes of 01-functions in three-valued logic
Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2021 Background. The superposition operation is the main operation in the study of multivalued logic functions. On the basis of this operation, classifications of multivalued logic functions are defined, which allow to solve important problems of ...
S.S. Marchenkov
doaj +1 more source
Analysis of Single-Event Transient in Tunneling-Based Ternary CMOS With Gate-All-Around Structure
IEEE AccessIn this study, single-event transient (SET) characteristics in tunneling-based ternary complementary MOS device (T-CMOS) with gate-all-around structure (i.e., nanosheet FET) were analyzed for the first time.
Hyeong-Chan Son, Hyunwoo Kim
doaj +1 more source
Colliding wall-jets on a cylindrical surface
EPJ Web of Conferences, 2015 Paper discusses aerodynamics and potential engineering applications of an unusual and in literature practically unknown fluid flow configuration, with two wall-jets attached to a cylindrical surface so that they collide head-on and by mutual conjunction ...
Tesař Václav, Peszynski Kazimierz
doaj +1 more source
TPCSA-MRAM: Ternary Precharge Sense Amplifier-Based MRAM
IEEE AccessThe emerging multi-value logic technology in memory systems has increased data storage capacity and power efficiency. In this paper, to address the power consumption challenge of ternary memory, a ternary precharge sense amplifier (TPCSA)-based magnetic ...
Mohammad Mahdi Mazaheri +2 more
doaj +1 more source
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
Parallel logical control algorithms: verification and hardware implementation [PDF]
Computer Science Journal of Moldova, 1996 A formal language (PRALU) has been proposed for representation of parallel algorithms for logical control. The paper contains a short description of its syntax and semantics, methods of checking PRALU-algorithms for correctness and methods for their ...
A.Zakrevskij
doaj
Hybrid quasi-ideals and hybrid A-ideals in ternary semigroups [PDF]
Songklanakarin Journal of Science and Technology (SJST)We are completely aware of the fact that ternary algebraic structures in some way naturally occur in diverse fields of theoretical and mathematical physics, computer science, especially in ternary operators in Java and Python, ternary logic applied for
M. Deepika +2 more
doaj
Electronics Letters, 1990 A hybrid gate structure is described enabling multiple valued logic (MVL) combinational functions to be implemented using a single building block. In particular, a three-input ternary universal gate (U-gate) is considered having an equivalent functional capability of 13 T-gates.
J.A.C. Webb, S.J. Laverty
openaire +1 more source
Wire Optimization and Delay Reduction for High‐Performance on‐Chip Interconnection in GALS Systems
ETRI Journal, 2017 To address the wire complexity problem in large‐scale globally asynchronous, locally synchronous systems, a current‐mode ternary encoding scheme was devised for a two‐phase asynchronous protocol.
Myeong‐Hoon Oh +4 more
doaj +1 more source
SPICE model of memristive devices with threshold [PDF]
, 2013 Although memristive devices with threshold voltages are the norm rather than the exception in experimentally realizable systems, their SPICE programming is not yet common. Here, we show how to implement such systems in the SPICE environment. Specifically,
Di Ventra, M., Pershin, Y. V.
core +3 more sources