中文
相关论文

相关论文: Efficient Instrumentation for Performance Profilin…

200 篇论文

Execution logs are a crucial medium as they record runtime information of software systems. Although extensive logs are helpful to provide valuable details to identify the root cause in postmortem analysis in case of a failure, this may…

分布式、并行与集群计算 · 计算机科学 2021-08-20 Sina Gholamian , Paul A. S. Ward

The performance of software systems remains a persistent concern in the field of software engineering. While traditional metrics like binary size and execution time have long been focal points for developers, the power consumption concern…

软件工程 · 计算机科学 2024-09-26 Edouard Guégain , Alexandre Bonvoisin , Clément Quinton , Mathieu Acher , Romain Rouvoy

A key trait of stochastic optimizers is that multiple runs of the same optimizer in attempting to solve the same problem can produce different results. As a result, their performance is evaluated over several repeats, or runs, on the…

机器学习 · 计算机科学 2026-05-18 Moslem Noori , Elisabetta Valiante , Thomas Van Vaerenbergh , Masoud Mohseni , Ignacio Rozada

DevOps is a trend towards a tighter integration between development (Dev) and operations (Ops) teams. The need for such an integration is driven by the requirement to continuously adapt enterprise applications (EAs) to changes in the…

Performance optimization is an increasingly challenging but often repetitive task. While each platform has its quirks, the underlying code transformations rely on data movement and computational characteristics that recur across…

软件工程 · 计算机科学 2023-03-16 Lukas Trümper , Tal Ben-Nun , Philipp Schaad , Alexandru Calotoiu , Torsten Hoefler

Fully understanding performance is a growing challenge when building next-generation cloud systems. Often these systems build on next-generation hardware, and evaluation in realistic physical testbeds is out of reach. Even when physical…

性能 · 计算机科学 2024-08-13 Jakob Görgen , Vaastav Anand , Hejing Li , Jialin Li , Antoine Kaufmann

Recent years have seen growing interest in the retrofitting of type systems onto dynamically-typed programming languages, in order to improve type safety, programmer productivity, or performance. In such cases, type system developers must…

编程语言 · 计算机科学 2016-05-05 Esben Andreasen , Colin S. Gordon , Satish Chandra , Manu Sridharan , Frank Tip , Koushik Sen

An issue tracker is a software tool used by organisations to interact with users and manage various aspects of the software development lifecycle. With the rise of agile methodologies, issue trackers have become popular in open and…

软件工程 · 计算机科学 2024-07-12 Lloyd Montgomery , Clara Lüders , Walid Maalej

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

Performance analysis in process mining aims to provide insights on the performance of a business process by using a process model as a formal representation of the process. Such insights are reliably interpreted by process analysts in the…

人工智能 · 计算机科学 2022-11-01 Gyunam Park , Jan Niklas Adams , Wil. M. P. van der Aalst

Runtime verification consists in observing and collecting the execution traces of a system and checking them against a specification, with the objective of raising an error when a trace does not satisfy the specification. We consider…

计算机科学中的逻辑 · 计算机科学 2025-11-04 Chana Weil-Kennedy , Darine Rammal , Christophe Gaston , Arnault Lapitre

One of the prerequisites of any organization is an unvarying sustainability in the dynamic and competitive industrial environment. Development of high quality software is therefore an inevitable constraint of any software industry. Defect…

软件工程 · 计算机科学 2012-04-03 T. R. Gopalakrishnan Nair , V. Suma , Pranesh Kumar Tiwari

As computing system become more complex, it is becoming harder for programmers to keep their codes optimized as the hardware gets updated. Autotuners try to alleviate this by hiding as many architecture-based optimization details as…

分布式、并行与集群计算 · 计算机科学 2023-03-17 Jacob O. Tørring , Ben van Werkhoven , Filip Petrovic , Floris-Jan Willemsen , Jirí Filipovic , Anne C. Elster

Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as…

计算机科学中的逻辑 · 计算机科学 2011-11-09 Reinhold Heckmann , Christian Ferdinand

Microservices are quite widely impacting on the software industry in recent years. Rapid evolution and continuous deployment represent specific benefits of microservice-based systems, but they may have a significant impact on non-functional…

软件工程 · 计算机科学 2024-01-31 Vittorio Cortellessa , Daniele Di Pompeo , Romina Eramo , Michele Tucci

The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint. This constraint is incorporated into the…

系统与控制 · 电气工程与系统科学 2021-10-12 Patrick Schmidt , Thomas Göhrt , Stefan Streif

Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either not tailored for online monitoring, are no longer maintained,…

软件工程 · 计算机科学 2024-02-29 Chukri Soueidi , Ylies Falcone

A guided tour helps to visualise high-dimensional data by showing low-dimensional projections along a projection pursuit optimisation path. Projection pursuit is a generalisation of principal component analysis, in the sense that different…

统计计算 · 统计学 2024-01-11 H. Sherry Zhang , Dianne Cook , Ursula Laa , Nicolas Langrené , Patricia Menéndez

I would like to share recommendations on how to do performance benchmarks for the purpose of computer science research evaluation. Research in my field (programming language research) often involves performance considerations, but it is…

编程语言 · 计算机科学 2026-05-05 Gabriel Scherer

A general condition determining the optimal performance of a complex system has not yet been found and the possibility of its existence is unknown. To contribute in this direction, an optimization algorithm as a complex system is presented.…

计算复杂性 · 计算机科学 2007-05-23 Victor Korotkikh , Galina Korotkikh , Darryl Bond
‹ 上一页 1 8 9 10 下一页 ›