Search Results - "Theory of computation Design and analysis of algorithms Mathematical optimization"

GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems by Liang, Linfeng, Deng, Yao, Morton, Kye, Kallinen, Valtteri, James, Alice, Seth, Avishkar, Kuantama, Endrowednes, Mukhopadhyay, Subhas, Han, Richard, Zheng, Xi

“…Automated Uncrewed Aerial Vehicle (UAV) landing is crucial for autonomous UAV services such as monitoring, surveying, and package delivery. It involves…”
Get full text

Mixed-Precision Quantization for Deep Vision Models with Integer Quadratic Programming by Deng, Zihao, Sharify, Sayeh, Wang, Xin, Orshansky, Michael

“…Quantization is a widely used technique to compress neural networks. Assigning uniform bit-widths across all layers can result in significant accuracy…”
Get full text

Formulating Data-arrival Synchronizers in Integer Linear Programming for CGRA Mapping by Guo, Yijiang, Wang, Jiarui, Zhang, Jiaxi, Luo, Guojie

“…Coarse-grained reconfigurable architecture (CGRA) is a promising programmable device with high performance and power efficiency. The CGRA compilation problem…”
Get full text

PertNAS: Architectural Perturbations for Memory-Efficient Neural Architecture Search by Ahmad, Afzal, Xie, Zhiyao, Zhang, Wei

“…Differentiable Neural Architecture Search (NAS) relies on aggressive weight-sharing to reduce its search cost. This leads to GPU-memory bottlenecks that hamper…”
Get full text

NeurFill: Migrating Full-Chip CMP Simulators to Neural Networks for Model-Based Dummy Filling Synthesis by Cai, Junzhe, Yan, Changhao, Ma, Yuzhe, Yu, Bei, Zhou, Dian, Zeng, Xuan

“…Dummy filling is widely applied to significantly improve the planarity of topographic patterns for the chemical mechanical polishing (CMP) process in VLSI…”
Get full text

Privacy protection via appliance scheduling in smart homes by Jie Wu, Jinglan Liu, Hu, Xiaobo Sharon, Yiyu Shi

“…Smart grid, managed by intelligent devices, have demonstrated great potentials to help residential customers to optimally schedule and manage the appliances'…”
Get full text

LLAMP: Assessing Network Latency Tolerance of HPC Applications with Linear Programming by Shen, Siyuan, Huang, Langwen, Chrapek, Marcin, Schneider, Timo, Dayal, Jai, Gajbe, Manisha, Wisniewski, Robert, Hoefler, Torsten

“…The shift towards high-bandwidth networks driven by AI workloads in data centers and HPC clusters has unintentionally aggravated network latency, adversely…”
Get full text

OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track by Babikian, Aren A., Varro, Daniel

“…OptAngle is a test generator for autonomous vehicles that leverages meta-heuristic search over a road representation based on relative angles between…”
Get full text

Placement Tomography-Based Routing Blockage Generation for DRV Hotspot Mitigation by Kahng, Andrew B., Kundu, Sayak, Yoon, Dooseok

“…A fundamental goal in modern physical design is for the post-route layout to have a fixable number of remaining design rule violations (DRVs). We study how to…”
Get full text

Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding by Blattner, Timo, Birchler, Christian, Kehrer, Timo, Panichella, Sebastiano

“…The rise of self-driving cars (SDCs) presents important safety challenges to address in dynamic environments. While field testing is essential, current methods…”
Get full text

A Scalable Training-Free Diffusion Model for Uncertainty Quantification by Muhammad Rafid, Ali Haisam, Yin, Junqi, Geng, Yuwei, Liang, Siming, Bao, Feng, Ju, Lili, Zhang, Guannan

“…Generative artificial intelligence extends beyond its success in image/text synthesis, proving itself a powerful uncertainty quantification (UQ) technique…”
Get full text

SynCircuit: Automated Generation of New Synthetic RTL Circuits Can Enable Big Data in Circuits by Liu, Shang, Wang, Jing, Fang, Wenji, Xie, Zhiyao

“…In recent years, AI-assisted IC design methods have demonstrated great potential, but the availability of circuit design data is extremely limited, especially…”
Get full text

Asynchronous Multi-Fidelity Hyperparameter Optimization of Spiking Neural Networks by Firmin, Thomas, Boulet, Pierre, Talbi, El-Ghazali

“…Spiking Neural Network (SNN) are peculiar networks based on the dynamics of timed spikes between fully asynchronous neurons. Their design is complex and…”
Get full text

A High Performance Detailed Router Based on Integer Programming with Adaptive Route Guides by Qi, Zhongdong, Hu, Shizhe, Peng, Qi, You, Hailong, Han, Chao, Zhu, Zhangming

“…Detailed routing is a crucial and time-consuming stage for ASIC design. As the number and complexity of design rules increase, it is challenging to achieve…”
Get full text

High-Performance Computing Architecture Exploration with Stage-Enhanced Bayesian Optimization by Fu, Vincent, Benazouz, Mohamed, Zaourar, Lilia, Munier-Kordon, Alix

“…The emergence of new applications in high-performance computing is driving the need for more efficient computing machines. As supercomputer architectures…”
Get full text

Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems by Cheng, Mingfei, Xie, Xiaofei, Zhou, Yuan, Wang, Junjie, Meng, Guozhu, Yang, Kairui

“…Autonomous Driving System (ADS) testing is crucial in ADS development, with the current primary focus being on safety. However, the evaluation of…”
Get full text

A Sparsity-Aware Autonomous Path Planning Accelerator with Algorithm-Architecture Co-Design by Zhang, Yanjun, Niu, Xiaoyu, Zhang, Yifan, Tian, Hongzheng, Yu, Bo, Liu, Shaoshan, Huang, Sitao

“…Path planning is a critical task in autonomous driving systems that is most susceptible to real-time constraints but often demands computationally intensive…”
Get full text

MORPH: More Robust ASIC Placement for Hybrid Region Constraint Management by Mai, Jing, Zhang, Zuodong, Lin, Yibo, Wang, Runsheng, Huang, Ru

“…Modern ASIC placement tools encompass three categories of region constraints: default regions, fence regions, and guide regions. Region constraints pose…”
Get full text

Beyond the Yield Barrier: Variational Importance Sampling Yield Analysis by Liu, Yanfang, He, Lei, Xing, Wei W.

“…Optimal mean shift vector (OMSV)-based importance sampling methods have long been prevalent in yield estimation and optimization as an industry standard…”
Get full text

Integer programming-based real-time scheduler in semiconductor manufacturing by Ham, Myoungsoo, Lee, Young Hoon, Fowler, John W.

“…This paper demonstrates how an integer programming-based real-time scheduling heuristic approach can be applied for semiconductor manufacturing. Two integer…”
Get full text