English
Related papers

Related papers: Threshold Logic in a Flash

200 papers

We present a scalable, clockless up-down counter architecture implemented using single-flux quantum (SFQ) logic to enable efficient state management in superconductor digital systems. The proposed design eliminates the reliance on clocked…

Superconductivity · Physics 2025-05-08 Mustafa Altay Karamuftuoglu , Beyza Zeynep Ucpinar , Sasan Razmkhah , Massoud Pedram

The CMOS integrated chips at advanced technology nodes are becoming more vulnerable to various sources of faults like manufacturing imprecisions, variations, aging, etc. Additionally, the intentional fault attacks (e.g., high power…

Hardware Architecture · Computer Science 2018-07-08 Naveen Kumar Macha , Bhavana Tejaswini Repalle , Sandeep Geedipally , Rafael Rios , Mostafizur Rahman

We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm takes bene t from a parallel state space construction…

Logic in Computer Science · Computer Science 2013-02-01 Rodrigo Tacla Saad , Silvano Dal Zilio , Bernard Berthomieu

Spintronic devices are considered as promising candidates in implementing neuromorphic systems or hardware neural networks, which are expected to perform better than other existing computing systems for certain data classification and…

In this paper a novel neuro-fuzzy system is proposed where its learning is based on the creation of fuzzy relations by using new implication method without utilizing any exact mathematical techniques. Then, a simple memristor crossbar-based…

Artificial Intelligence · Computer Science 2011-03-08 Farnood Merrikh-Bayat , Saeed Bagheri-Shouraki

Embedded Field-Programmable Gate Arrays (eFPGAs) allow for the design of hardware accelerators of edge Machine Learning (ML) applications at a lower power budget compared with traditional FPGA platforms. However, the limited eFPGA logic and…

Hardware Architecture · Computer Science 2025-02-13 Tousif Rahman , Gang Mao , Bob Pattison , Sidharth Maheshwari , Marcos Sartori , Adrian Wheeldon , Rishad Shafik , Alex Yakovlev

In this paper, we use multithreaded fast Fourier transforms provided in three highly optimized packages, FFTW-2.1.5, FFTW-3.3.7, and Intel MKL FFT, to present a novel model-based parallel computing technique as a very effective and portable…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-08-17 Semyon Khokhriakov , Ravi Reddy , Alexey Lastovetsky

Modern internet of things (IoT) devices leverage machine learning inference using sensed data on-device rather than offloading them to the cloud. Commonly known as inference at-the-edge, this gives many benefits to the users, including…

Signal Processing · Electrical Eng. & Systems 2021-09-03 Adrian Wheeldon , Alex Yakovlev , Rishad Shafik , Jordan Morris

This paper presents a novel online learning method that aims at finding a separator hyperplane between data points labelled as either positive or negative. Since weights and biases of artificial neurons can directly be related to…

Machine Learning · Computer Science 2023-09-13 Ákos Hajnal

On-chip learning in a crossbar array based analog hardware Neural Network (NN) has been shown to have major advantages in terms of speed and energy compared to training NN on a traditional computer. However analog hardware NN proposals and…

Neural and Evolutionary Computing · Computer Science 2019-07-02 Nilabjo Dey , Janak Sharda , Utkarsh Saxena , Divya Kaushik , Utkarsh Singh , Debanjan Bhowmik

High-throughput screening using cell images is an efficient method for screening new candidates for pharmaceutical drugs. To complete the screening process, it is essential to have an efficient process for analyzing cell images. This paper…

Computer Vision and Pattern Recognition · Computer Science 2024-02-28 Mizuki Fukasawa , Tomokazu Fukuda , Takuya Akashi

Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s.…

Logic in Computer Science · Computer Science 2016-09-15 Mark Reynolds

Transformers with linearised attention (''linear Transformers'') have demonstrated the practical scalability and effectiveness of outer product-based Fast Weight Programmers (FWPs) from the '90s. However, the original FWP formulation is…

Machine Learning · Computer Science 2021-10-28 Kazuki Irie , Imanol Schlag , Róbert Csordás , Jürgen Schmidhuber

The success of large-scale pre-trained models has established fine-tuning as a standard method for achieving significant improvements in downstream tasks. However, fine-tuning the entire parameter set of a pre-trained model is costly.…

Computer Vision and Pattern Recognition · Computer Science 2025-07-17 Yijin Huang , Pujin Cheng , Roger Tam , Xiaoying Tang

Memtranstor that correlates charge and magnetic flux via nonlinear magnetoelectric effects has a great potential in developing next-generation nonvolatile devices. In addition to multi-level nonvolatile memory, we demonstrate here that…

Emerging Technologies · Computer Science 2017-01-04 Jianxin Shen , Dashan Shang , Yisheng Chai , Yue Wang , Junzhuang Cong , Shipeng Shen , Liqin Yan , Wenhong Wang , Young Sun

The technologically-relevant task of feature extraction from data performed in deep-learning systems is routinely accomplished as repeated fast Fourier transforms (FFT) electronically in prevalent domain-specific architectures such as in…

Reversible logic gates were previously implemented in superconducting circuits as adiabatic-reversible gates, which are powered with a sufficiently slow clock. In contrast, we are studying ballistic-reversible gates, where fluxons serve to…

Quantum Physics · Physics 2021-02-03 Kevin D. Osborn , Waltraut Wustmann

This article summarizes key results of our work on experimental characterization and analysis of latency variation and latency-reliability trade-offs in modern DRAM chips, which was published in SIGMETRICS 2016, and examines the work's…

Now a day reversible logic is an attractive research area due to its low power consumption in the area of VLSI circuit design. The reversible logic gate is utilized to optimize power consumption by a feature of retrieving input logic from…

Hardware Architecture · Computer Science 2015-09-15 Neeraj Kumar Misra , Mukesh Kumar Kushwaha , Subodh Wairya , Amit Kumar

With the high demand of the portable electronic products, Low- power design of VLSI circuits & Power dissipation has been recognized as a challenging technology in the recent years. PLA (Programming logic array) is one of the important off…

Other Computer Science · Computer Science 2012-06-04 Pradeep Singla , Kamya Dhingra , Naveen Kr. Malik