English
Related papers

Related papers: Case Tool: Fast Interconnections with New 3-Disjoi…

200 papers

Scenario-based testing using simulations is a cornerstone of Autonomous Vehicles (AVs) software validation. So far, developers needed to choose between low-fidelity 2D simulators to explore the scenario space efficiently, and high-fidelity…

Robotics · Computer Science 2025-05-21 Marc Kaufeld , Korbinian Moller , Alessio Gambi , Paolo Arcaini , Johannes Betz

Research on learned cardinality estimation has made significant progress in recent years. However, existing methods still face distinct challenges that hinder their practical deployment in production environments. We define these challenges…

Databases · Computer Science 2025-09-10 Kaixin Zhang , Hongzhi Wang , Ziqi Li , Yabin Lu , Yingze Li , Yu Yan , Yiming Guan

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

Multilevel modeling and simulation (M&S) is becoming increasingly relevant due to the benefits that this methodology offers. Multilevel models allow users to describe a system at multiple levels of detail. From one side, this can make…

Software Engineering · Computer Science 2024-03-26 Luca Serena , Moreno Marzolla , Gabriele D'Angelo , Stefano Ferretti

Just-in-Time (JIT) compilers are used by many modern programming systems in order to improve performance. Bugs in JIT compilers provide exploitable security vulnerabilities and debugging them is difficult as they are large, complex, and…

Programming Languages · Computer Science 2021-07-02 HeuiChan Lim , Stephen Kobourov

The precoding in cell-free massive multiple-input multiple-output (MIMO) technology relies on accurate knowledge of channel responses between users (UEs) and access points (APs). Obtaining high-quality channel estimates in turn requires the…

Information Theory · Computer Science 2021-01-27 Giovanni Interdonato , Pål Frenger , Erik G. Larsson

The adoption of high-performance multi-core platforms in avionics and automotive systems introduces significant challenges in ensuring predictable execution, primarily due to shared resource interferences. Many existing approaches study…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-14 Mohamed Amine Khelassi , Felix Suchert , Abderaouf Amalou , Benjamin Lesage , Anika Christmann , Robin Hapka , Jeronimo Castrillon , Mihail Asavoae , Mathieu Jan , Claire Pagetti , Selma Saidi

Due to its potential for multi-gigabit and low latency wireless links, millimeter wave (mmWave) technology is expected to play a central role in 5th generation cellular systems. While there has been considerable progress in understanding…

Networking and Internet Architecture · Computer Science 2018-09-06 Marco Mezzavilla , Menglei Zhang , Michele Polese , Russell Ford , Sourjya Dutta , Sundeep Rangan , Michele Zorzi

This paper proposes a centralized multi-vehicle coordination scheme serving unsignalized intersections. The whole process consists of three stages: a) target velocity optimization: formulate the collision-free vehicle coordination as a…

Systems and Control · Electrical Eng. & Systems 2020-09-01 Qiang Ge , Qi Sun , Zhen Wang , Shengbo Eben Li , Ziqing Gu , Sifa Zheng

In the research of Intelligent Transportation Systems (ITS), traffic simulation is a key procedure for the evaluation of new methods and optimization of strategies. However, existing traffic simulation systems face two challenges. First,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-22 Jun Zhang , Wenxuan Ao , Junbo Yan , Can Rong , Depeng Jin , Wei Wu , Yong Li

Predicting the future motion of road participants is a critical task in autonomous driving. In this work, we address the challenge of low-quality generation of low-probability modes in multi-agent joint prediction. To tackle this issue, we…

Robotics · Computer Science 2025-07-24 Fangze Lin , Ying He , Fei Yu , Hong Zhang

The auto differentiable simulation is a type of simulation that outputs of the simulation include not only the simulation result itself, but also their derivatives with respect to various input parameters. It provides an efficient method to…

Computational Physics · Physics 2025-12-01 Ji Qianga , Yue Hao , Allen Qiang , Jinyu Wan

Increased stress, fuel consumption, air pollution, accidents and delays are some of the consequences of traffic congestion usually incurring in tremendous economic impacts, which society aims to remedy in order to leverage a sustainable…

Multiagent Systems · Computer Science 2016-02-01 Tiago Azevedo , Paulo J. M. de Araújo , Rosaldo J. F. Rossetti , Ana Paula C. Rocha

A distributed coordination method for solving multi-vehicle lane changes for connected autonomous vehicles (CAVs) is presented. Existing approaches to multi-vehicle lane changes are passive and opportunistic as they are implemented only…

Robotics · Computer Science 2025-10-14 Hansung Kim , Francesco Borrelli

Traffic simulators are widely used to study the operational efficiency of road infrastructure, but their rule-based approach limits their ability to mimic real-world driving behavior. Traffic intersections are critical components of the…

Artificial Intelligence · Computer Science 2025-06-11 Yash Ranjan , Rahul Sengupta , Anand Rangarajan , Sanjay Ranka

We describe a structured system for distributed mechanism design. It consists of a sequence of layers. The lower layers deal with the operations relevant for distributed computing only, while the upper layers are concerned only with…

Computer Science and Game Theory · Computer Science 2016-11-15 Krzysztof R. Apt , Farhad Arbab , Huiye Ma

Safety validation of autonomous driving systems is extremely challenging due to the high risks and costs of real-world testing as well as the rarity and diversity of potential failures. To address these challenges, we train a denoising…

Robotics · Computer Science 2025-06-11 Juanran Wang , Marc R. Schlichting , Harrison Delecki , Mykel J. Kochenderfer

The electrically readable complex dynamics of robust and scalable magnetic tunnel junctions (MTJs) offer promising opportunities for advancing neuromorphic computing. In this work, we present an MTJ design with a free layer and two…

A path-planning algorithm for connected and non-connected automated road vehicles on multilane motorways is derived from the opportune formulation of an optimal control problem. In this framework, the objective function to be minimized…

Systems and Control · Electrical Eng. & Systems 2021-04-15 Panagiotis Typaldos , Markos Papageorgiou , Ioannis Papamichail

Multiple Instance Learning (MIL) is the predominant framework for classifying gigapixel whole-slide images in computational pathology. MIL follows a sequence of 1) extracting patch features, 2) applying a linear layer to obtain…

Computer Vision and Pattern Recognition · Computer Science 2026-03-24 Daniel Shao , Joel Runevic , Richard J. Chen , Drew F. K. Williamson , Ahrong Kim , Andrew H. Song , Faisal Mahmood
‹ Prev 1 4 5 6 7 8 10 Next ›