English
Related papers

Related papers: Dynamic and Memory-efficient Shape Based Methodolo…

200 papers

This paper presents a range of methods to improve the accuracy of equation-based thermal models of PV modules at second-to-minute timescales. We present an RC-equivalent conceptual model for PV modules, where wind effects are captured. We…

Systems and Control · Electrical Eng. & Systems 2023-01-11 Bert Herteleer , Anastasios Kladas , Gofran Chowdhury , Francky Catthoor , Jan Cappelle

We describe verification techniques for embedded memory systems using efficient memory modeling (EMM), without explicitly modeling each memory bit. We extend our previously proposed approach of EMM in Bounded Model Checking (BMC) for a…

Logic in Computer Science · Computer Science 2011-11-09 Malay K. Ganai , Aarti Gupta , Pranav Ashar

Frequent-pattern mining is a common approach to reveal the valuable hidden trends behind data. However, existing frequent-pattern mining algorithms are designed for DRAM, instead of persistent memories (PMs), which can lead to severe…

Databases · Computer Science 2020-08-26 Jiaqi Dong , Runyu Zhang , Chaoshu Yang , Yujuan Tan , Duo Liu

With the proliferation of smart grids, smart cities face growing challenges due to cyber-attacks and sophisticated electricity theft behaviors, particularly in residential photovoltaic (PV) generation systems. Traditional Electricity Theft…

Machine Learning · Computer Science 2025-05-27 Xiaolu Chen , Chenghao Huang , Yanru Zhang , Hao Wang

Demand side management (DSM) is a key solution for reducing the peak-time power consumption in smart grids. To provide incentives for consumers to shift their consumption to off-peak times, the utility company charges consumers differential…

Systems and Control · Computer Science 2013-11-11 Linqi Song , Yuanzhang Xiao , Mihaela van der Schaar

Feature embedding-based methods have shown exceptional performance in detecting industrial anomalies by comparing features of target images with normal images. However, some methods do not meet the speed requirements of real-time inference,…

Computer Vision and Pattern Recognition · Computer Science 2023-03-27 Donghyeong Kim , Chaewon Park , Suhwan Cho , Sangyoun Lee

Non-Volatile Memory devices may soon be a part of main memory, and programming models that give programmers direct access to persistent memory through loads and stores are sought to maximize the performance benefits of these new devices.…

Programming Languages · Computer Science 2020-10-01 Tiancong Wang , James Tuck

Processing-in-Memory (PIM) architectures offer promising solutions for efficiently handling AI applications in energy-constrained edge environments. While traditional PIM designs enhance performance and energy efficiency by reducing data…

Hardware Architecture · Computer Science 2025-12-09 Sangmin Jeon , Kangju Lee , Kyeongwon Lee , Woojoo Lee

Advanced metering infrastructure (AMI) enables utilities to obtain granular energy consumption data, which offers a unique opportunity to design customer segmentation strategies based on their impact on various operational metrics in…

Applications · Statistics 2020-03-13 Yuxuan Yuan , Kaveh Dehghanpour , Fankun Bu , Zhaoyu Wang

This paper develops a memory-efficient approach for Sequential Pattern Mining (SPM), a fundamental topic in knowledge discovery that faces a well-known memory bottleneck for large data sets. Our methodology involves a novel hybrid trie data…

Databases · Computer Science 2024-07-30 Amin Hosseininasab , Willem-Jan van Hoeve , Andre A. Cire

Utilities around the world are reported to invest a total of around 30 billion over the next few years for installation of more than 300 million smart meters, replacing traditional analog meters [1]. By mid-decade, with full country wide…

Cryptography and Security · Computer Science 2021-01-19 Ibrahim Yilmaz , Kavish Kapoor , Ambareen Siraj , Mahmoud Abouyoussef

Fine-grained memory protection for C and C++ programs must track individual objects (or pointers), and store bounds information per object (pointer). Its cost is dominated by metadata updates and lookups, making efficient metadata…

Cryptography and Security · Computer Science 2019-03-05 Myoung Jin Nam , Periklis Akritidis , David J Greaves

Merging mobile edge computing (MEC) functionality with the dense deployment of base stations (BSs) provides enormous benefits such as a real proximity, low latency access to computing resources. However, the envisioned integration creates…

Information Theory · Computer Science 2017-09-11 Yuxuan Sun , Sheng Zhou , Jie Xu

Memory tiering provides a cost-effective solution to increase memory capacity, utilization, and even bandwidth. Memory tiering relies on system software for memory profiling, detection of frequently accessed pages, and page migration. Such…

Operating Systems · Computer Science 2026-04-15 Xi Wang , Jie Liu , Shuangyan Yang , Jongryool Kim , Pengfei Su , Dong Li

Despite the numerous uses of semidefinite programming (SDP) and its universal solvability via interior point methods (IPMs), it is rarely applied to practical large-scale problems. This mainly owes to the computational cost of IPMs that…

Optimization and Control · Mathematics 2024-03-19 Yifan Ran , Stefan Vlaski , Wei Dai

The next-generation energy network, the so-called smart grid (SG), promises a tremendous increase in efficiency, safety and flexibility of managing the electricity grid as compared to the legacy energy network. This is needed today more…

Information Theory · Computer Science 2018-12-05 Giulio Giaconi , Deniz Gunduz , H. Vincent Poor

The evolution of Internet of Things technologies is driven by four key demands: ultra-low power consumption, high spectral efficiency, reduced implementation cost, and support for massive connectivity. To address these challenges, this…

Information Theory · Computer Science 2025-08-15 Long Yuan , Wenkun Wen , Junlin Liu , Peiran Wu , Minghua Xia

By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and…

Systems and Control · Electrical Eng. & Systems 2021-06-22 T. Mancini , F. Mari , I. Melatti , I. Salvo , E. Tronci , J. K. Gruber , B. Hayes , M. Prodanovic , L. Elmegaard

In the human activity recognition research area, prior studies predominantly concentrate on leveraging advanced algorithms on public datasets to enhance recognition performance, little attention has been paid to executing real-time kitchen…

Signal Processing · Electrical Eng. & Systems 2024-09-11 Mengxi Liu , Sungho Suh , Juan Felipe Vargas , Bo Zhou , Agnes Grünerbl , Paul Lukowicz

Intelligent devices have become deeply integrated into everyday life, generating vast amounts of user interactions that form valuable personal knowledge. Efficient organization of this knowledge in user memory is essential for enabling…

Computation and Language · Computer Science 2026-02-13 Yijie Zhong , Mengying Guo , Zewei Wang , Zhongyang Li , Dandan Tu , Haofen Wang