English
Related papers

Related papers: Efficient Data Race Detection of Async-Finish Prog…

200 papers

The ATLAS Fast TracKer (FTK) was designed to provide full tracking for the ATLAS high-level trigger by using pattern recognition based on Associative Memory (AM) chips and fitting in high-speed field programmable gate arrays. The tracks…

Instrumentation and Detectors · Physics 2021-07-07 ATLAS Collaboration

Data race conditions in multi-tasking software applications are prevented by serializing access to shared memory resources, ensuring data consistency and deterministic behavior. Traditionally tasks acquire and release locks to synchronize…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-01-24 K. Eric Harper , Thijmen de Gooijer

The vast increase in amount and complexity of digital content led to a wide interest in ad-hoc retrieval systems in recent years. Complementary, the existence of heterogeneous data sources and retrieval models stimulated the proliferation…

Computer Vision and Pattern Recognition · Computer Science 2019-07-03 Icaro Cavalcante Dourado , Ricardo da Silva Torres

Shared resource interference is observed by applications as dynamic performance asymmetry. Prior art has developed approaches to reduce the impact of performance asymmetry mainly at the operating system and architectural levels. In this…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-24 Jing Chen , Pirah Noor Soomro , Mustafa Abduljabbar , Madhavan Manivannan , Miquel Pericas

Adaptive tracking-by-detection approaches are popular for tracking arbitrary objects. They treat the tracking problem as a classification task and use online learning techniques to update the object model. However, these approaches are…

Computer Vision and Pattern Recognition · Computer Science 2017-04-04 Kourosh Meshgi , Maryam Sadat Mirzaei , Shigeyuki Oba , Shin Ishii

Detecting performance issues and identifying their root causes in the runtime is a challenging task. Typically, developers use methods such as logging and tracing to identify bottlenecks. These solutions are, however, not ideal as they are…

Performance · Computer Science 2022-07-15 Sneh Patel , Brendan Park , Naser Ezzati-Jivan , Quentin Fournier

Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often…

Software Engineering · Computer Science 2014-06-17 Domenico Bianculli , Carlo Ghezzi , Srdan Krstic

Recent approaches for high accuracy detection and tracking of object categories in video consist of complex multistage solutions that become more cumbersome each year. In this paper we propose a ConvNet architecture that jointly performs…

Computer Vision and Pattern Recognition · Computer Science 2018-03-08 Christoph Feichtenhofer , Axel Pinz , Andrew Zisserman

Recent advances in web technologies make it more difficult than ever to detect and block web tracking systems. In this work, we propose ASTrack, a novel approach to web tracking detection and removal. ASTrack uses an abstraction of the code…

Networking and Internet Architecture · Computer Science 2023-01-27 Ismael Castell-Uroz , Kensuke Fukuda , Pere Barlet-Ros

Subgraph matching is a compute-intensive problem that asks to enumerate all the isomorphic embeddings of a query graph within a data graph. This problem is generally solved with backtracking, which recursively evolves every possible partial…

Databases · Computer Science 2020-12-29 Junya Arai , Makoto Onizuka , Yasuhiro Fujiwara , Sotetsu Iwamura

Model merging has emerged as a promising approach for unifying independently fine-tuned models into an integrated framework, significantly enhancing computational efficiency in multi-task learning. Recently, several SVD-based techniques…

Machine Learning · Computer Science 2026-03-03 Chanhyuk Lee , Jiho Choi , Chanryeol Lee , Donggyun Kim , Seunghoon Hong

Reliability and real-time responsiveness in safety-critical systems have traditionally been achieved using error detection mechanisms, such as LockStep, which require pre-configured checker cores,strict synchronisation between main and…

Hardware Architecture · Computer Science 2025-03-19 Tinglue Wang , Yiming Li , Wei Tang , Jiapeng Guan , Zhenghui Guo , Renshuang Jiang , Ran Wei , Jing Li , Zhe Jiang

Imagine trying to track one particular fruitfly in a swarm of hundreds. Higher biological visual systems have evolved to track moving objects by relying on both appearance and motion features. We investigate if state-of-the-art deep neural…

Computer Vision and Pattern Recognition · Computer Science 2021-06-04 Drew Linsley , Girik Malik , Junkyung Kim , Lakshmi N Govindarajan , Ennio Mingolla , Thomas Serre

Discovering causal relationships from observational data is a crucial problem and it has applications in many research areas. The PC algorithm is the state-of-the-art constraint based method for causal discovery. However, runtime of the PC…

Artificial Intelligence · Computer Science 2016-11-11 Thuc Duy Le , Tao Hoang , Jiuyong Li , Lin Liu , Huawen Liu

Modern robotic systems are required to operate in dense dynamic environments, requiring highly accurate real-time track identification and estimation. For 3D multi-object tracking, recent approaches process a single measurement frame…

Robotics · Computer Science 2024-03-19 Sandro Papais , Robert Ren , Steven Waslander

One of the pivotal challenges in a multi-robot system is how to give attention to accuracy and efficiency while ensuring safety. Prior arts cannot strictly guarantee collision-free for an arbitrarily large number of robots or the results…

Robotics · Computer Science 2025-01-08 Xiaoxiao Li , Zhirui Sun , Mansha Zheng , Hongpeng Wang , Shuai Li , Jiankun Wang

Parallel real-time embedded applications can be modelled as directed acyclic graphs (DAGs) whose nodes model subtasks and whose edges model precedence constraints among subtasks. Efficiently scheduling such parallel tasks can be challenging…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-24 Shardul Lendve , Konstantinos Bletsas , Pedro F. Souto

This paper introduces RACER, the Rational Artificial Intelligence Car-following model Enhanced by Reality, a cutting-edge deep learning car-following model, that satisfies partial derivative constraints, designed to predict Adaptive Cruise…

Artificial Intelligence · Computer Science 2025-07-28 Tianyi Li , Alexander Halatsis , Raphael Stern

We present a highly optimized implementation of tiered vectors, a data structure for maintaining a sequence of $n$ elements supporting access in time $O(1)$ and insertion and deletion in time $O(n^\epsilon)$ for $\epsilon > 0$ while using…

Data Structures and Algorithms · Computer Science 2017-11-02 Philip Bille , Anders Roy Christiansen , Mikko Berggren Ettienne , Inge Li Gørtz

Task graphs have been studied for decades as a foundation for scheduling irregular parallel applications and incorporated in programming models such as OpenMP. While many high-performance parallel libraries are based on task graphs, they…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-09 Seonmyeong Bak , Oscar Hernandez , Mark Gates , Piotr Luszczek , Vivek Sarkar