scholarly journals Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models

2018 ◽  
Author(s):  
Joel Greenyer ◽  
Daniel Gritzner ◽  
David Harel ◽  
Assaf Marron
Keyword(s):  
Execution Traces

scholarly journals Mining Message Flows from System-on-Chip Execution Traces

2021 ◽  
Author(s):  
Md Rubel Ahmed ◽  
Hao Zheng ◽  
Parijat Mukherjee ◽  
Mahesh C. Ketkar ◽  
Jin Yang
Keyword(s):  
System On Chip ◽  
Execution Traces ◽  
On Chip

scholarly journals From parametric trace slicing to rule systems

2021 ◽  
Author(s):  
Giles Reger ◽  
David Rydeheard
Keyword(s):  
Runtime Verification ◽  
Specification Languages ◽  
Execution Traces ◽  
Running System ◽  
Proof Of Correctness ◽  
Rule Systems ◽  
The Relationship ◽  
Specification Techniques ◽  
Previous Conference

AbstractParametric runtime verification is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper continues our work exploring the relationship between specification techniques for parametric runtime verification. Here we consider the correspondence between trace-slicing automata-based approaches and rule systems. The main contribution is a translation from quantified automata to rule systems, which has been implemented in Scala. This then allows us to highlight the key differences in how the two formalisms handle data, an important step in our wider effort to understand the correspondence between different specification languages for parametric runtime verification. This paper extends a previous conference version of this paper with further examples, a proof of correctness, and an optimisation based on a notion of redundancy observed during the development of the translation.

Mining Patterns from Concurrent Execution Traces

2021 ◽  
pp. 1-1
Author(s):  
Md Rubel Ahmed ◽  
Hao Zheng ◽  
Parijat Mukherjee ◽  
Mahesh C. Ketkar ◽  
Jin Yang
Keyword(s):  
Concurrent Execution ◽  
Execution Traces

scholarly journals Cube data model for multilevel statistics computation of live execution traces

2014 ◽  
Vol 27 (5) ◽  
pp. 1069-1091 ◽  
Author(s):  
Naser Ezzati-Jivan ◽  
Michel R. Dagenais
Keyword(s):  
Data Model ◽  
Execution Traces

Whole Execution Traces and Their Use in Debugging

2007 ◽  
pp. 4-1-4-17 ◽  
Author(s):  
Xiangyu Zhang ◽  
Neelam Gupta ◽  
Rajiv Gupta
Keyword(s):  
Execution Traces

scholarly journals Daisen: A Framework for Visualizing Detailed GPU Execution

2021 ◽  
Author(s):  
Yifan Sun ◽  
Yixuan Zhang ◽  
Ali Mosallaei ◽  
Michael D. Shah ◽  
Cody Dunne ◽  
...  
Keyword(s):  
Performance Analysis ◽  
Performance Improvement ◽  
Graphics Processing Units ◽  
Qualitative Evaluation ◽  
Evaluation Study ◽  
Survey Study ◽  
Performance Bottlenecks ◽  
Making Sense ◽  
Execution Traces ◽  
Physics Simulation

Graphics Processing Units~(GPUs) have been widely used to accelerate artificial intelligence, physics simulation, medical imaging, and information visualization applications. To improve GPU performance, GPU hardware designers need to identify performance issues by inspecting a huge amount of simulator-generated traces. Visualizing the execution traces can reduce the cognitive burden of users and facilitate making sense of behaviors of GPU hardware components. In this paper, we first formalize the process of GPU performance analysis and characterize the design requirements of visualizing execution traces based on a survey study and interviews with GPU hardware designers. We contribute data and task abstraction for GPU performance analysis. Based on our task analysis, we propose Daisen, a framework that supports data collection from GPU simulators and provides visualization of the simulator-generated GPU execution traces. Daisen features a data abstraction and trace format that can record simulator-generated GPU execution traces. Daisen also includes a web-based visualization tool that helps GPU hardware designers examine GPU execution traces, identify performance bottlenecks, and verify performance improvement. Our qualitative evaluation with GPU hardware designers demonstrates that the design of Daisen reflects the typical workflow of GPU hardware designers. Using Daisen, participants were able to effectively identify potential performance bottlenecks and opportunities for performance improvement. The open-sourced implementation of Daisen can be found at gitlab.com/akita/vis. Supplemental materials including a demo video, survey questions, evaluation study guide, and post-study evaluation survey are available at osf.io/j5ghq.

Sign in / Sign up

Export Citation Format

Share Document