Results 11 to 20 of about 235,866 (258)
Density Enhancement of RRAMs using a RESET Write Termination for MLC Operation [PDF]
Multi-Level Cell (MLC) technology can greatly reduce Resistive RAM (RRAM) die sizes to achieve a breakthrough in cost structure. In this paper, a novel design scheme is proposed to realize reliable and uniform MLC RRAM operation without the need of any read verification.
H. Aziza +4 more
openaire +1 more source
On Termination for Faulty Channel Machines [PDF]
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of a channel.
Bouyer, Patricia +4 more
core +5 more sources
This article argues that it is essential to create safe spaces in which to explore conversations at the intersection between personal religious and cultural identities and human rights.
Janet Jarvis, Ncamisile P. Mthiyane
doaj +1 more source
Refinement Types as Higher Order Dependency Pairs [PDF]
Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher order rewrite systems is
Roux, Cody
core +10 more sources
Methodical Approaches to Accounting and Controlling Agricultural Enterprises’ Property under Martial Law [PDF]
The full-scale military invasion significantly affected the operation of the agricultural sector of the Ukrainian economy, in particular, the management of the assets of business entities.
Stanislav Vasylishyn, Yuliia Nezhyd
doaj +1 more source
Transmission protocols for instruction streams [PDF]
Threads as considered in thread algebra model behaviours to be controlled by some execution environment: upon each action performed by a thread, a reply from its execution environment -- which takes the action as an instruction to be processed ...
C. A. Middelburg +5 more
core +2 more sources
Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems
The general form of safe recursion (or ramified recurrence) can be expressed by an infinite graph rewrite system including unfolding graph rewrite rules introduced by Dal Lago, Martini and Zorzi, in which the size of every normal form by innermost ...
Eguchi, Naohi
core +4 more sources
A Novel Low Power Non-Volatile SRAM Cell with Self Write Termination [PDF]
Presented at: THE 10th INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND NETWORKING TECHNOLOGIES (ICCCNT), 2019 Other information: 4 Pages, 2 figures, 2 ...
Monga, Kanika +3 more
openaire +2 more sources
A novel self write-terminated driver for hybrid STT-MTJ/CMOS LIM structure
A novel self write-terminated driver is proposed for the hybrid spin transfer torque-magnetic tunnel junction (STT-MTJ)/CMOS circuits based on logic-in-memory (LIM) structure. Using continuous write monitoring mechanism, the novel circuitry completely eliminates the unnecessary flow of write current which abolishes the wastage of write energy in the ...
Prashanth Barla +2 more
openaire +2 more sources
Two-Terminal Nonvolatile Write-Once-Read-Many-Times Memory Based on All-Inorganic Halide Perovskite
Write-once-read-many-times (WORM) memory belonging to an important non-volatile memory type achieves the read-only state after the write operation and is used in the fields of data security storage widely. WORM memory has been developed based on a variety of materials.
Zhipeng Yu +6 more
openaire +3 more sources

