Results 11 to 20 of about 15,494 (304)
The Semantics of Abstract Program Slicing [PDF]
2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, 2008 The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values. This approach is based on abstract interpretation: properties are abstractions of data.
Damiano Zanardini, Zanardini, Damiano
openaire +4 more sources
Program specialization via program slicing [PDF]
, 1996 This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation.
Thomas W. Reps, Todd Turnidge
openaire +3 more sources
IET Communications, 2022 Network slicing is considered to be a key feature of the 5th generation mobile networks. It permits multiple tenants, i.e. mobile virtual network operators, to share virtual resources.
Tengteng Ma +3 more
doaj +1 more source
NSE-RRS: Network Slicing Embedding With Risk-Controlled Resource Sharing
IEEE Access, 2021 Network slicing (NS) is a promising technology of 5G that provides end-to-end customized network service to multi-tenant. The network slicing embedding (NSE) problem is one of the essential issues in NS technology.
Jieyu Li +3 more
doaj +1 more source
Model Checking with Program Slicing Based on Variable Dependence Graphs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects,
Masahiro Matsubara +5 more
doaj +1 more source
An interactive debugging framework with heuristic graph based on the feedback optimization
Nantong Daxue xuebao. Ziran kexue ban, 2022 The spectrum-based fault localization approaches guide programmers to identify defects with the defect localization report. Due to lacking sufficient context, the process of identifying defects based on the fault localization report is very time ...
JU Xiaolin QIAN Jie ZHAO Chunyu CHEN Zhihua
doaj +1 more source
IEEE Access, 2019 Program slicing, as a technique of program decomposition, is widely used in the field of program testing, model checking, software verification, symbolic execution, and other fields.
Shengbing Ren, Mengyu Jia
doaj +1 more source
Non-local slicing approaches for NNLO QCD in MCFM
Journal of High Energy Physics, 2022 We present the implementation of several processes at Next-to-Next-to Leading Order (NNLO) accuracy in QCD in the parton-level Monte Carlo program MCFM. The processes treated are pp → H, W ± , Z, W ± H, ZH, W ± γ, Zγ and γγ and, for the first time in the
John M. Campbell +2 more
doaj +1 more source
Field-Sensitive Program Slicing
Journal of Systems and Software, 2022 This work has been partially supported by grant PID2019-104735RB-C41 funded by MCIN/AEI/10.13039/501100011033 and by the Generalitat Valenciana under grant CIPROM/2022/6 (FassLow). Carlos Galindo was partially supported by the Spanish Ministerio de Universidades under grant FPU20/03861.
Carlos Galindo 0002 +3 more
openaire +3 more sources
Automatic WECT Analysis Method of Program Mode for Real-time Control System [PDF]
Jisuanji gongcheng, 2017 Obtaining program modes of real-time control system from source codes cannot only verify the consistence of the design and implementation,but also improve the accuracy of Worst-Case Execution Time(WCET) calculation.Based on this consideration,this paper ...
HOU Xiaojing,JI Mengluo,HUANG Chenlin,SHU Yunxing,YAN Ben
doaj +1 more source