English
Related papers

Related papers: Dynamic Taint Tracking using Partial Instrumentati…

200 papers

Dynamic Binary Instrumentation (DBI) is the set of techniques that enable instrumentation of programs at run-time, making it possible to monitor and modify the execution of compiled binaries or entire systems. DBI is used for countless…

Cryptography and Security · Computer Science 2025-08-04 Oscar Llorente-Vazquez , Xabier Ugarte-Pedrero , Igor Santos-Grueiro , Pablo Garcia Bringas

In this paper we introduce trajectory-based labeling, a new variant of dynamic map labeling, where a movement trajectory for the map viewport is given. We define a general labeling model and study the active range maximization problem in…

Computational Geometry · Computer Science 2013-09-17 Andreas Gemsa , Benjamin Niedermann , Martin Nöllenburg

Transparent objects are common in daily life. However, depth sensing for transparent objects remains a challenging problem. While learning-based methods can leverage shape priors to improve the sensing quality, the labor-intensive data…

Robotics · Computer Science 2023-09-19 Liuyu Bian , Pengyang Shi , Weihang Chen , Jing Xu , Li Yi , Rui Chen

Being intensively studied, visual tracking has seen great recent advances in either speed (e.g., with correlation filters) or accuracy (e.g., with deep features). Real-time and high accuracy tracking algorithms, however, remain scarce. In…

Computer Vision and Pattern Recognition · Computer Science 2017-08-02 Heng Fan , Haibin Ling

In the application of computer-vision based displacement measurement, an optical target is usually required to prove the reference. In the case that the optical target cannot be attached to the measuring objective, edge detection, feature…

Computer Vision and Pattern Recognition · Computer Science 2021-12-13 Dachuan Shi , Eldar Sabanovic , Luca Rizzetto , Viktor Skrickij , Roberto Oliverio , Nadia Kaviani , Yunguang Ye , Gintautas Bureika , Stefano Ricci , Markus Hecht

Preventing implicit information flows by dynamic program analysis requires coarse approximations that result in false positives, because a dynamic monitor sees only the executed trace of the program. One widely deployed method is the…

Cryptography and Security · Computer Science 2015-06-17 Abhishek Bichhawat , Vineet Rajani , Deepak Garg , Christian Hammer

Object tracking, especially animal tracking, is one of the key topics that attract a lot of attention due to its benefits of animal behavior understanding and monitoring. Recent state-of-the-art tracking methods are founded on deep learning…

Computer Vision and Pattern Recognition · Computer Science 2024-10-22 Thinh Phan , Isaac Phillips , Andrew Lockett , Michael T. Kidd , Ngan Le

The recent emergence of Distributed Acoustic Sensing (DAS) technology has facilitated the effective capture of traffic-induced seismic data. The traffic-induced seismic wave is a prominent contributor to urban vibrations and contain crucial…

Geophysics · Physics 2024-09-17 Xi Wang , Xin Liu , Songming Zhu , Zhanwen Li , Lina Gao

Usage of multiprocessor and multicore computers implies parallel programming. Tools for preparing parallel programs include parallel languages and libraries as well as parallelizing compilers and convertors that can perform automatic…

Mathematical Software · Computer Science 2022-12-12 Pavel Telegin , Anton Baranov , Boris Shabanov , Artem Tikhomirov

Software tracing techniques are well-established and used by instrumentation tools to extract run-time information for program analysis and debugging. Dynamic binary instrumentation as one tool instruments program binaries to extract…

Software Engineering · Computer Science 2017-03-09 Pansy Arafa , Hany Kashif , Sebastian Fischmeister

Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault localization aims to identify the faulty position in source code based on the execution trace of test cases. Failing test cases and their…

Software Engineering · Computer Science 2018-07-06 Jifeng Xuan , Martin Monperrus

Being intensively studied, visual object tracking has witnessed great advances in either speed (e.g., with correlation filters) or accuracy (e.g., with deep features). Real-time and high accuracy tracking algorithms, however, remain scarce.…

Computer Vision and Pattern Recognition · Computer Science 2019-09-04 Heng Fan , Haibin Ling

Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system…

Logic in Computer Science · Computer Science 2017-08-25 Ian Cassar , Adrian Francalanza , Luca Aceto , Anna Ingólfsdóttir

The tactile sensation of clothing is critical to wearer comfort. To reveal physical properties that make clothing comfortable, systematic collection of tactile data during sliding motion is required. We propose a robotic arm-based system…

Robotics · Computer Science 2025-11-18 Michikuni Eguchi , Takekazu Kitagishi , Yuichi Hiroi , Takefumi Hiraki

As machine learning for images becomes democratized in the Software 2.0 era, one of the serious bottlenecks is securing enough labeled data for training. This problem is especially critical in a manufacturing setting where smart factories…

Machine Learning · Computer Science 2022-12-02 Geon Heo , Yuji Roh , Seonghyeon Hwang , Dayun Lee , Steven Euijong Whang

Modern embedded Linux devices, such as routers, IP cameras, and IoT gateways, rely on complex software stacks where numerous daemons interact to provide services. Testing these devices is crucial from a security perspective since vendors…

Cryptography and Security · Computer Science 2025-09-23 Alessio Izzillo , Riccardo Lazzeretti , Emilio Coppa

Dynamic software updating (DSU) is an extremely useful feature to be used during the software evolution. It can be used to reduce downtime costs, for security enhancements, profiling and testing the new functionalities. There are many…

Software Engineering · Computer Science 2025-06-03 Danijel Mlinaric , Vedran Mornar

During the operation of a chemical plant, product quality must be consistently maintained, and the production of off-specification products should be minimized. Accordingly, process variables related to the product quality, such as the…

Artificial Intelligence · Computer Science 2022-08-10 Shumpei Kubosawa , Takashi Onishi , Yoshimasa Tsuruoka

Tactile sensing is crucial for robots aiming to achieve human-level dexterity. Among tactile-dependent skills, tactile-based object tracking serves as the cornerstone for many tasks, including manipulation, in-hand manipulation, and 3D…

Robotics · Computer Science 2025-03-19 Hung-Jui Huang , Michael Kaess , Wenzhen Yuan

Modern software systems have become increasingly complex, which makes them difficult to test and validate. Detecting software partial anomalies in complex systems at runtime can assist with handling unintended software behaviors, avoiding…

Software Engineering · Computer Science 2022-04-27 Shiyi Kong , Jun Ai , Minyan Lu , Shuguang Wang , W. Eric Wong