Results 11 to 20 of about 71,487 (291)
Weight prioritized slicing based on constraint logic programming for fault localization.
PLoS ONE, 2020 Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs.
Shengbing Ren +3 more
doaj +1 more source
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
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
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
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
ConSIT: A conditioned program slicer [PDF]
, 2000 Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including reuse, reengineering and program comprehension.
Danicic, S +3 more
core +3 more sources
On the computational complexity of dynamic slicing problems for program schemas [PDF]
, 2011 This is the preprint version of the Article - Copyright @ 2011 Cambridge University PressGiven a program, a quotient can be obtained from it by deleting zero or more statements.
Canfora +11 more
core +2 more sources