English
Related papers

Related papers: ASIL-Decomposition Based Resource Allocation Optim…

200 papers

Software requirements expressed in natural language (NL) frequently suffer from verbosity, ambiguity, and inconsistency. This creates a range of challenges, including selecting an appropriate architecture for a system and assessing…

Software Engineering · Computer Science 2025-04-09 Tooraj Helmi

This work addresses the radio resource management (RRM) design in downlink full-duplex integrated sensing and communications (ISAC) systems, jointly optimizing timeslot allocation and beam selection under imperfect self-interference…

Signal Processing · Electrical Eng. & Systems 2025-10-23 Luis F. Abanto-Leon , Setareh Maghsudi

We present an RL-driven compiler that jointly optimizes ASIC architecture, memory hierarchy, and workload partitioning for AI inference across 3nm to 28nm. The design space is formulated as a single Markov Decision Process with mixed…

Hardware Architecture · Computer Science 2026-04-10 Ravindra Ganti , Steve Xu

Modular end-to-end (ME2E) autonomous driving paradigms combine modular interpretability with global optimization capability and have demonstrated strong performance. However, existing studies mainly focus on accuracy improvement, while…

Artificial Intelligence · Computer Science 2026-01-13 Chengzhi Ji , Xingfeng Li , Zhaodong Lv , Hao Sun , Pan Liu , Hao Frank Yang , Ziyuan Pu

Workflow technology is widely used to facilitate the business process in enterprise information systems (EIS), and it has the potential to reduce design time, enhance product quality and decrease product cost. However, significant…

Software Engineering · Computer Science 2012-09-19 Tingyu Liu , Yalong Cheng , Zhonghua Ni

EASAL (efficient atlasing and sampling of assembly landscapes) is a recently reported geometric method for representing, visualizing, sampling and computing integrals over the potential energy landscape tailored for small molecular…

Chemical Physics · Physics 2014-09-04 Aysegul Ozkan , Meera Sitharam

Machine learning components commonly appear in larger decision-making pipelines; however, the model training process typically focuses only on a loss that measures accuracy between predicted values and ground truth values. Decision-focused…

Machine Learning · Computer Science 2019-07-19 Aaron Ferber , Bryan Wilder , Bistra Dilkina , Milind Tambe

Reliability and fault tolerance are critical attributes of embedded cyber-physical systems that require a high safety-integrity level. For such systems, the use of formal functional safety specifications has been strongly advocated in most…

Systems and Control · Electrical Eng. & Systems 2020-05-05 Ginju V. George , Aritra Hazra , Pallab Dasgupta , Partha Pratim Chakrabarti

As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities,…

Software Engineering · Computer Science 2025-05-20 Tarik Houichime , Younes El Amrani

Integer linear programming (ILP) encompasses a very important class of optimization problems that are of great interest to both academia and industry. Several algorithms are available that attempt to explore the solution space of this class…

Emerging Technologies · Computer Science 2018-08-31 Fabio L. Traversa , Massimiliano Di Ventra

Optimization pipelines targeting polyhedral programs try to maximize the compute throughput. Traditional approaches favor reuse and temporal locality; while the communicated volume can be low, failure to optimize spatial locality may cause…

Programming Languages · Computer Science 2023-12-07 Corentin Ferry , Steven Derrien , Sanjay Rajopadhye

Enabling humanoid robots to perform long-horizon mobile manipulation planning in real-world environments based on embodied perception and comprehension abilities has been a longstanding challenge. With the recent rise of large language…

Robotics · Computer Science 2025-03-12 Fangyuan Wang , Shipeng Lyu , Peng Zhou , Anqing Duan , Guodong Guo , David Navarro-Alarcon

In view of the performance limitations of fully-decoupled designs for neural architectures and accelerators, hardware-software co-design has been emerging to fully reap the benefits of flexible design spaces and optimize neural network…

Hardware Architecture · Computer Science 2022-03-29 Bingqian Lu , Zheyu Yan , Yiyu Shi , Shaolei Ren

Integer Linear Programming (ILP) can be seen as the archetypical problem for NP-complete optimization problems, and a wide range of problems in artificial intelligence are solved in practice via a translation to ILP. Despite its huge range…

Data Structures and Algorithms · Computer Science 2018-09-05 Robert Ganian , Sebastian Ordyniak

Analog integrated circuit (IC) floorplanning is typically a manual process with the placement of components (devices and modules) planned by a layout engineer. This process is further complicated by the interdependence of floorplanning and…

Machine Learning · Computer Science 2024-11-26 Davide Basso , Luca Bortolussi , Mirjana Videnovic-Misic , Husni Habal

Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures expose their datapaths so…

Logic in Computer Science · Computer Science 2018-05-01 Marc Dahlem , Anoop Bhagyanath , Klaus Schneider

Linear Programming (LP) is widely applied in industry and is a key component of various other mathematical problem-solving techniques. Recent work introduced an LP compiler translating polynomial-time, polynomial-space algorithms into…

Programming Languages · Computer Science 2025-09-17 Shermin Khosravi , David Bremner

As VLSI designs grow in complexity, partitioning is widely adopted to accelerate physical design through parallel computing. However, traditional hypergraph partitioning methods often degrade in performance when applied to 2D layouts due to…

Emerging Technologies · Computer Science 2026-04-21 Chen Liu , Hongxin Kong , Lang Feng , Wenchao Qian , Wuxi Li

Combinatorial optimization problems are crucial in industry. However, many COPs are NP-hard, causing the search space to grow exponentially with problem size and rendering large-scale instances computationally intractable. Conventional…

Emerging Technologies · Computer Science 2026-02-27 Eiji Kawase , Shuta Kikuchi , Hideaki Tamai , Shu Tanaka

Software development projects management is a complex endeavor because it requires dealing with numerous unforeseen events that constantly arise along the way and that go against the expectations that had been established at the beginning.…

Software Engineering · Computer Science 2022-09-27 Fernando Pinciroli