中文
相关论文

相关论文: Generic and Efficient Program Monitoring by trace …

200 篇论文

Profiling tools (also known as profilers) play an important role in understanding program performance at runtime, such as hotspots, bottlenecks, and inefficiencies. While profilers have been proven to be useful, they give extra burden to…

软件工程 · 计算机科学 2025-08-06 Zhuoran Liu

In the recent years it can be observed increasing popularity of parallel processing using multi-core processors, local clusters, GPU and others. Moreover, currently one of the main requirements the IT users is the reduction of maintaining…

分布式、并行与集群计算 · 计算机科学 2016-04-05 Łukasz P. Olech , Jan Kwiatkowski

Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising…

软件工程 · 计算机科学 2012-09-13 Christian Colombo , Adrian Francalanza , Ian Grima

Given a program and a time deadline, does the program finish before the deadline when executed on a given platform? With the requirement to produce a test case when such a violation can occur, we refer to this problem as the worst-case…

编程语言 · 计算机科学 2015-06-22 Daniel Bundala , Sanjit A. Seshia

In this paper, we propose to use production executions to improve the quality of testing for certain methods of interest for developers. These methods can be methods that are not covered by the existing test suite, or methods that are…

软件工程 · 计算机科学 2021-09-10 Deepika Tiwari , Long Zhang , Martin Monperrus , Benoit Baudry

In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. We consider monitoring in a distributed setting, for…

软件工程 · 计算机科学 2024-10-02 Léo Henry , Thierry Jéron , Nicolas Markey , Victor Roussanaly

Extract, Transform, Load (ETL) is an integral part of Data Warehousing (DW) implementation. The commercial tools that are used for this purpose captures lot of execution trace in form of various log files with plethora of information.…

数据库 · 计算机科学 2012-03-09 Saptarsi Goswami , Samiran Ghosh , Amlan Chakrabarti

We aim to identify the differences in Input/Output(I/O) behavior between multiple user programs through the inspection of system calls (i.e., requests made to the operating system). A typical program issues a large number of I/O requests to…

性能 · 计算机科学 2025-01-22 Aravind Sankaran , Ilya Zhukov , Wolfgang Frings , Paolo Bientinesi

Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs).…

人工智能 · 计算机科学 2018-07-03 Ario Santoso

A core task in process mining is process discovery which aims to learn an accurate process model from event log data. In this paper, we propose to use (block-) structured programs directly as target process models so as to establish…

人工智能 · 计算机科学 2020-08-14 Dell Zhang , Alexander Kuhnle , Julian Richardson , Murat Sensoy

Scientific workflows consist of thousands of highly parallelized tasks executed in a distributed environment involving many components. Automatic tracing and investigation of the components' and tasks' performance metrics, traces, and…

分布式、并行与集群计算 · 计算机科学 2023-07-19 Jonathan Bader , Joel Witzke , Soeren Becker , Ansgar Lößer , Fabian Lehmann , Leon Doehler , Anh Duc Vu , Odej Kao

Testing of modern software systems that integrate many components developed by different teams is a difficult task. Third Eye is a framework for tracing and validating software systems using application domain events. We use formal…

软件工程 · 计算机科学 2007-05-23 Raimondas Lencevicius , Alexander Ran , Rahav Yairi

Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as…

In this work, system monitoring and analysis are discussed in terms of their significance and benefits for operations and research in the field of high-performance computing (HPC). HPC systems deliver unique insights to computational…

分布式、并行与集群计算 · 计算机科学 2018-07-10 Florina M. Ciorba

Monitoring the chain-of-thought (CoT) of reasoning models is a promising approach for detecting covert misbehavior (i.e., hidden objectives) in code generation tasks. While large models (GPT-5, Gemini-3-Flash) can serve as effective CoT…

密码学与安全 · 计算机科学 2026-05-14 Nirav Diwan , Han Wang , Berkcan Kapusuzoglu , Ramin Moradi , Supriyo Chakraborty , Giri Iyengar , Sambit Sahu , Huan Zhang , Gang Wang

Typical schedulers in multi-tenancy environments make use of reactive, feedback-oriented mechanisms based on performance counters to avoid resource contention but suffer from detection lag and loss of performance. In this paper, we address…

分布式、并行与集群计算 · 计算机科学 2021-11-02 Girish Mururu , Sharjeel Khan , Bodhisatwa Chatterjee , Chao Chen , Chris Porter , Ada Gavrilovska , Santosh Pande

Reducing application runtime, scaling parallel applications to higher numbers of processes/threads, and porting applications to new hardware architectures are tasks necessary in the software development process. Therefore, developers have…

The utilization of performance monitoring probes is a valuable tool for programmers to gather performance data. However, the manual insertion of these probes can result in an increase in code size, code obfuscation, and an added burden of…

性能 · 计算机科学 2023-11-08 David Weisskopf Holmqvist , Suejb Memeti

One of the factors that limits the scale, performance, and sophistication of distributed applications is the difficulty of concurrently executing them on multiple distributed computing resources. In part, this is due to a poor understanding…

分布式、并行与集群计算 · 计算机科学 2016-02-22 Matteo Turilli , Feng Liu , Zhao Zhang , Andre Merzky , Michael Wilde , Jon Weissman , Daniel S. Katz , Shantenu Jha

Very little attention has been paid to the comparison of efficiency between high accuracy statistical parsers. This paper proposes one machine-independent metric that is general enough to allow comparisons across very different parsing…

计算与语言 · 计算机科学 2007-05-23 Brian Roark , Eugene Charniak