Results 1 to 10 of about 71,810 (321)
Slicing Concurrent Constraint Programs [PDF]
, 2017 Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)
Moreno Falaschi +3 more
openalex +5 more sources
Parametric program slicing [PDF]
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995 Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing slices directly from semantic specifications. These algorithms are based on combining the notion of dynamic dependence tracking in term rewriting systems with a program ...
John K. Field, G. Ramalingam, Frank Tip
openalex +2 more sources
Towards Probabilistic Program Slicing
, 2006 This paper outlines the concept of extit{probabilistic} program slicing. It walks through a simple example before describing some algorithmic concerns. Then three motivating applications are described. Finally it highlights existing work that may be built upon, and future work that needs immediate attention if this idea is to succeed.
Jeremy Singer
openalex +4 more sources
The improved dynamic slicing for spectrum-based fault localization [PDF]
PeerJ Computer Science, 2022 Background Spectrum-based Fault localization have proven to be useful in the process of software testing and debugging. However, how to improve the effectiveness of software fault localization has always been a research hot spot in the field of software ...
Heling Cao +3 more
doaj +2 more sources
IEEE Open Journal of Vehicular Technology, 2021 In this paper, a two-timescale radio access network (RAN) slicing and computing task offloading problem is investigated for a cloud-enabled autonomous vehicular network (C-AVN).
Qiang Ye +5 more
doaj +1 more source
A Method for Enterprise Architecture Model Slicing
Applied Sciences, 2022 Enterprise Architecture (EA) has been applied widely in industry as it brings substantial benefits to ease communication and improve business-IT alignment. However, due to its high complexity and cost, EA still plays a limited role in many organizations.
Hong Guo +3 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 +3 more
openaire +3 more sources
Semantics and Algorithms for Parametric Monitoring [PDF]
Logical Methods in Computer Science, 2012 Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining.
Grigore Rosu, Feng Chen
doaj +1 more source
Tool Path Generation for CNC Milling Based on STL File [PDF]
Engineering and Technology Journal, 2015 This paper proposes and develops algorithms to read (STL) files and extract engineering entities required in CNC milling processes. The proposed algorithms are dependent on some mathematical modeling and manipulations of the engineering models by slicing
Nadia Sami Hasan +1 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