English
Related papers

Related papers: Specification Test Compaction for Analog Circuits …

200 papers

Anomalous sound detection (ASD) benchmarks typically assume that the identity of the monitored machine is known at test time and that recordings are evaluated in a machine-wise manner. However, in realistic monitoring scenarios with…

Audio and Speech Processing · Electrical Eng. & Systems 2026-05-14 Kevin Wilkinghoff , Keisuke Imoto , Zheng-Hua Tan

Existing iterative compilation and machine-learning-based optimization techniques have been proven very successful in achieving better optimizations than the standard optimization levels of a compiler. However, they were not engineered to…

Programming Languages · Computer Science 2020-08-11 Kyriakos Georgiou , Zbigniew Chamski , Andres Amaya Garcia , David May , Kerstin Eder

Energy-Based Models (EBMs) present a flexible and appealing way to represent uncertainty. Despite recent advances, training EBMs on high-dimensional data remains a challenging problem as the state-of-the-art approaches are costly, unstable,…

Machine Learning · Computer Science 2021-06-08 Will Grathwohl , Jacob Kelly , Milad Hashemi , Mohammad Norouzi , Kevin Swersky , David Duvenaud

A method for adaptive model order reduction for nonsmooth discrete element simulation is developed and analysed in numerical experiments. Regions of the granular media that collectively move as rigid bodies are substituted with rigid bodies…

Computational Physics · Physics 2015-12-02 Martin Servin , Da Wang

The increased computerization in recent years has resulted in the production of a variety of different software, however measures need to be taken to ensure that the produced software isn't defective. Many researchers have worked in this…

Software Engineering · Computer Science 2023-04-06 Param Khakhar and , Rahul Kumar Dubey

We present AutoMode-ASR, a novel framework that effectively integrates multiple ASR systems to enhance the overall transcription quality while optimizing cost. The idea is to train a decision model to select the optimal ASR system for each…

Computation and Language · Computer Science 2024-09-20 Ahmet Gündüz , Yunsu Kim , Kamer Ali Yuksel , Mohamed Al-Badrashiny , Thiago Castro Ferreira , Hassan Sawaf

As software systems evolve, test suites tend to grow in size and often contain redundant test cases. Such redundancy increases testing effort, time, and cost. Test suite minimization (TSM) aims to eliminate such redundancy while preserving…

Software Engineering · Computer Science 2026-02-24 Rongqi Pan , Feifei Niu , Lionel C. Briand , Hanyang Hu

Spoofing countermeasure (CM) and automatic speaker verification (ASV) sub-systems can be used in tandem with a backend classifier as a solution to the spoofing aware speaker verification (SASV) task. The two sub-systems are typically…

Audio and Speech Processing · Electrical Eng. & Systems 2023-12-21 Wanying Ge , Hemlata Tak , Massimiliano Todisco , Nicholas Evans

We propose new local error estimators for splitting and composition methods. They are based on the construction of lower order schemes obtained at each step as a linear combination of the intermediate stages of the integrator, so that the…

Numerical Analysis · Mathematics 2019-10-29 Sergio Blanes , Fernando Casas , Mechthild Thalhammer

The potential of quantum computers to outperform classical ones in practically useful tasks remains challenging in the near term due to scaling limitations and high error rates of current quantum hardware. While quantum error correction…

This paper presents the effectiveness of various stress conditions (mainly voltage and frequency) on detecting the resistive shorts and open defects in deep sub-micron embedded memories in an industrial environment. Simulation studies on…

Hardware Architecture · Computer Science 2011-11-09 Ananta K. Majhi , Mohamed Azimane , Guido Gronthoud , Maurice Lousberg , Stefan Eichenberger , Fred Bowen

Test-time optimization remains impractical at scale due to prohibitive inference costs--techniques like iterative refinement and multi-step verification can require $10-100\times$ more compute per query than standard decoding. Latent space…

Machine Learning · Computer Science 2025-11-10 Nathan Egbuna , Saatvik Gaur , Sunishchal Dev , Ashwinee Panda , Maheep Chaudhary

Support vector machines (SVM) and other kernel techniques represent a family of powerful statistical classification methods with high accuracy and broad applicability. Because they use all or a significant portion of the training data,…

Machine Learning · Statistics 2023-01-31 Peter Mills

SRAM-based cache memory faces several scalability limitations in deep nanoscale technologies, e.g., high leakage current, low cell stability, and low density. Emerging Non-Volatile Memory (NVM) technologies have received lots of attention…

Emerging Technologies · Computer Science 2025-12-02 Elham Cheshmikhani , Fateme Shokouhinia , Hamed Farbeh

Recent advancements have demonstrated the significant potential of large language models (LLMs) in analog circuit design. Nevertheless, testbench construction for analog circuits remains manual, creating a critical bottleneck in achieving…

Multiagent Systems · Computer Science 2025-07-15 Weiyu Chen , Chengjie Liu , Wenhao Huang , Jinyang Lyu , Mingqian Yang , Yuan Du , Li Du , Jun Yang

A new high-level implementation independent functional fault model for control faults in microprocessors is introduced. The fault model is based on the instruction set, and is specified as a set of data constraints to be satisfied by test…

Hardware Architecture · Computer Science 2019-07-30 Adeboye Stephen Oyeniran , Raimund Ubar , Maksim Jenihhin , Cemil Cem Gursoy , Jaan Raik

Entropy Minimization (EM) is beneficial to reducing class overlap, bridging domain gap, and restricting uncertainty for various tasks in machine learning, yet its potential is limited. To study the internal mechanism of EM, we reformulate…

Machine Learning · Computer Science 2025-11-06 Jing Ma , Hanlin Li , Xiang Xiang

Automotive engineering makes extensive use of numerical simulation throughout the design process. The development of numerical models, their validation against experimental tests, and their updating during vehicle and engine projects…

Computational Engineering, Finance, and Science · Computer Science 2026-03-17 Di Jiang , Sebastian Rodriguez , Herve Colin , Yves Tourbier , Francisco Chinesta

Using piezoelectric impedance/admittance sensing for structural health monitoring is promising, owing to the simplicity in circuitry design as well as the high-frequency interrogation capability. The actual identification of fault location…

Computational Engineering, Finance, and Science · Computer Science 2018-10-30 Pei Cao , Qi Shuai , Jiong Tang

Early detection of cardiac dysfunction through routine screening is vital for diagnosing cardiovascular diseases. An important metric of cardiac function is the left ventricular ejection fraction (EF), where lower EF is associated with…

Image and Video Processing · Electrical Eng. & Systems 2023-09-08 Ece Ozkan , Thomas M. Sutter , Yurong Hu , Sebastian Balzer , Julia E. Vogt
‹ Prev 1 4 5 6 7 8 10 Next ›