Results 221 to 230 of about 9,844 (253)
Some of the next articles are maybe not open access.
Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only)
Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2016Improved quality of results from high level synthesis (HLS) tools has led to their increased adoption. Despite the automated translation from high level descriptions to register-transfer level (RTL) implementations, functional verification remains a major challenge.
Liwei Yang +4 more
openaire +1 more source
SAE Technical Paper Series, 2011
<div class="section abstract"><div class="htmlview paragraph">The development of embedded systems in automotive environment has brought a strong expansion in the number of applications dependent of programmable devices. A failure in any of these systems may cause different types of damages.
Genildo de Moura Vasconcelos +2 more
openaire +1 more source
<div class="section abstract"><div class="htmlview paragraph">The development of embedded systems in automotive environment has brought a strong expansion in the number of applications dependent of programmable devices. A failure in any of these systems may cause different types of damages.
Genildo de Moura Vasconcelos +2 more
openaire +1 more source
2008 16th IEEE International Conference on Program Comprehension, 2008
Extending or modifying features of complex software systems is often a highly time-consuming and cost-intensive task as, beforehand, the features have to be located within the code and to be understood in detail. To support developers in performing this task, we propose a technique that takes execution traces and implementation unit structuring as ...
Johannes Bohnet +2 more
openaire +1 more source
Extending or modifying features of complex software systems is often a highly time-consuming and cost-intensive task as, beforehand, the features have to be located within the code and to be understood in detail. To support developers in performing this task, we propose a technique that takes execution traces and implementation unit structuring as ...
Johannes Bohnet +2 more
openaire +1 more source
Non-Intrusive Adaptation of System Execution Traces for Performance Analysis of Software Systems
2014This chapter discusses how to adapt system execution traces to support analysis of software system performance properties, such as end-to-end response time, throughput, and service time. This is important because system execution traces contain complete snapshots of a systems execution—making them useful artifacts for analyzing software system ...
Manjula Peiris, James H. Hill
openaire +1 more source
Service Candidate Identification from Monolithic Systems Based on Execution Traces
IEEE Transactions on Software Engineering, 2021Ran Mo, Yuanfang Cai, Ting Liu
exaly
Third Eye - specification-based analysis of software execution traces
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, 2002R. Lencevicius, A. Ran, R. Yairi
openaire +1 more source
Learning Approximate Execution Semantics From Traces for Binary Function Similarity
IEEE Transactions on Software Engineering, 2023Baishakhi Ray, Kexin Pei
exaly
Fuzzy Logic Based Software Product Quality Model for Execution Tracing
2014This report presents the research carried out in the area of software product quality modelling. Its main endeavour is to consider software product quality with regard to maintainability. Supporting this aim, execution tracing quality, which is a neglected property of the software product quality at present in the quality frameworks under investigation,
openaire +1 more source