English
Related papers

Related papers: A WCET-aware cache coloring technique for reducing…

200 papers

Stochastic programming can be applied to consider uncertainties in energy system optimization models for capacity expansion planning. However, these models become increasingly large and time-consuming to solve, even without considering…

Optimization and Control · Mathematics 2025-08-15 Shima Sasanpour , Manuel Wetzel , Karl-Kiên Cao , Hans Christian Gils , Andrés Ramos

Recent advancements in explainable machine learning provide effective and faithful solutions for interpreting model behaviors. However, many explanation methods encounter efficiency issues, which largely limit their deployments in practical…

Machine Learning · Computer Science 2023-03-07 Yu-Neng Chuang , Guanchu Wang , Fan Yang , Quan Zhou , Pushkar Tripathi , Xuanting Cai , Xia Hu

Bottlenecks are one of the controversial issues in manufacturing companies. Managers and designers attempt to manage this trouble to improve efficiency in different ways. For example, expanding capacity is a prevalent solution to get rid of…

Optimization and Control · Mathematics 2023-04-06 Amir Jamali , Amirhossein Ranjbar , Ali Bozorgi-Amiri

Web accessibility guidelines require sufficient color contrast between text and backgrounds; yet, manually adjusting colors often necessitates significant visual deviation, compromising vital brand aesthetics. We present a novel,…

Human-Computer Interaction · Computer Science 2025-12-05 Lalitha A R

With a growing number of cores in modern high-performance servers, effective sharing of the last level cache (LLC) is more critical than ever. The primary agenda of such systems is to maximize performance by efficiently supporting…

Programming Languages · Computer Science 2022-10-04 Bodhisatwa Chatterjee , Sharjeel Khan , Santosh Pande

Image colorization is the process of colorizing grayscale images or recoloring an already-color image. This image manipulation can be used for grayscale satellite, medical and historical images making them more expressive. With the help of…

Computer Vision and Pattern Recognition · Computer Science 2023-09-27 Ahmed Samir Ragab , Shereen Aly Taie , Howida Youssry Abdelnaby

Cyber-physical systems (CPSs) in modern real-time applications integrate numerous control units linked through communication networks, each responsible for executing a mix of real-time safety-critical and non-critical tasks. To ensure…

Systems and Control · Electrical Eng. & Systems 2024-11-15 Arkaprava Sain , Sunandan Adhikary , Ipsita Koley , Soumyajit Dey

Vertex colouring is a well-known problem in combinatorial optimisation, whose alternative integer programming formulations have recently attracted considerable attention. This paper briefly surveys seven known formulations of vertex…

Discrete Mathematics · Computer Science 2014-04-10 Edmund K. Burke , Jakub Marecek , Andrew J. Parkes , Hana Rudova

We identify an issue in multi-task learnable compression, in which a representation learned for one task does not positively contribute to the rate-distortion performance of a different task as much as expected, given the estimated amount…

Computer Vision and Pattern Recognition · Computer Science 2024-07-16 Anderson de Andrade , Ivan Bajić

The rapid growth of data volume and the accompanying congestion problems over the wireless networks have been critical issues to content providers. A novel technique, termed as coded cache, is proposed to relieve the burden. Through…

Networking and Internet Architecture · Computer Science 2015-04-08 Wei Huang , Sinong Wang , Lianghui Ding , Feng Yang , Wenjun Zhang

Narrow sieves, representative sets and divide-and-color are three breakthrough color coding-related techniques, which led to the design of extremely fast parameterized algorithms. We present a novel family of strategies for applying…

Data Structures and Algorithms · Computer Science 2015-04-21 Meirav Zehavi

Real-time operating systems employ spatial and temporal isolation to guarantee predictability and schedulability of real-time systems on multi-core processors. Any unbounded and uncontrolled cross-core performance interference poses a…

Operating Systems · Computer Science 2024-12-25 Zhaomeng Deng , Ziqi Zhang , Ding Li , Yao Guo , Yunfeng Ye , Yuxin Ren , Ning Jia , Xinwei Hu

Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-10-07 Himanshu Chauhan , Vijay K. Garg

Both performance and efficiency are crucial factors for sequence labeling tasks in many real-world scenarios. Although the pre-trained models (PTMs) have significantly improved the performance of various sequence labeling tasks, their…

Computation and Language · Computer Science 2021-06-15 Xiaonan Li , Yunfan Shao , Tianxiang Sun , Hang Yan , Xipeng Qiu , Xuanjing Huang

Predicting the runtime complexity of a programming code is an arduous task. In fact, even for humans, it requires a subtle analysis and comprehensive knowledge of algorithms to predict time complexity with high fidelity, given any code. As…

Machine Learning · Computer Science 2019-11-05 Jagriti Sikka , Kushal Satya , Yaman Kumar , Shagun Uppal , Rajiv Ratn Shah , Roger Zimmermann

This paper studies the storage-latency tradeoff in the $3\times3$ wireless interference network with caches equipped at all transmitters and receivers. The tradeoff is characterized by the so-called fractional delivery time (FDT) at given…

Information Theory · Computer Science 2016-11-17 Fan Xu , Kangqi Liu , Meixia Tao

Scheduling wireless links for simultaneous activation in such a way that all transmissions are successfully decoded at the receivers and moreover network capacity is maximized is a computationally hard problem. Usually it is tackled by…

Networking and Internet Architecture · Computer Science 2016-03-15 Fabio R. J. Vieira , José F. de Rezende , Valmir C. Barbosa

Research aimed at scaling up neuroscience inspired learning algorithms for neural networks is accelerating. Recently, a key research area has been the study of energy-based learning algorithms such as predictive coding, due to their…

Machine Learning · Computer Science 2026-01-30 Luca Pinchetti , Simon Frieder , Thomas Lukasiewicz , Tommaso Salvatori

The goal of computational color constancy is to preserve the perceptive colors of objects under different lighting conditions by removing the effect of color casts caused by the scene's illumination. With the rapid development of deep…

Computer Vision and Pattern Recognition · Computer Science 2019-06-03 Mahmoud Afifi

The vast number of interleavings that a concurrent program can have is typically identified as the root cause of the difficulty of automatic analysis of concurrent software. Weak memory is generally believed to make this problem even…

Logic in Computer Science · Computer Science 2013-01-09 Jade Alglave , Daniel Kroening , Michael Tautschnig