Results 1 to 10 of about 53,899 (312)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014 This paper defines a new variant of program slicing, called specialization slicing , and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization slicing is polyvariant : for a given procedure р, the algorithm may ...
Min Aung +3 more
openaire +3 more sources
Unions of slices are not slices [PDF]
Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings., 2003 Many approaches to slicing rely upon the 'fact' that the union of two static slices is a valid slice. It is known that static slices constructed using program dependence graph algorithms are valid slices (Reps and Yang, 1988). However, this is not true for other forms of slicing. For example, it has been established that the union of two dynamic slices
Andrea De Lucia +3 more
openaire +4 more sources
Intelligent and Converged Networks, 2020 Network slicing is a key technology to support the concurrent provisioning of heterogeneous Quality of Service (QoS) in the 5th Generation (5G)-beyond and the 6th Generation (6G) networks.
Jie Mei, Xianbin Wang, Kan Zheng
exaly +3 more sources
Assessment of ova collection with or without centrifugation after ovarian slicing for In vitro fertilization of slaughterhouse specimens of Iraqi Awassi ewes [PDF]
Iraqi Journal of Veterinary Sciences, 2022 This study aims to determine the most appropriate method for oocyte collection based on their quality and quantity by slicing with or without centrifugation and testify its ability for in vitro embryo production (IVP).
Faten F. Mustafa, Uday T. Naoman
doaj +1 more source
IEEE Access, 2022 The publication of a patient’s dataset is essential for various medical investigations and decision-making. Currently, significant focus has been established to protect privacy during data publishing.
J. Jayapradha +4 more
doaj +1 more source
Modeling and Analyzing Preemption-Based Service Prioritization in 5G Networks Slicing Framework
Future Internet, 2022 The Network Slicing (NS) technology, recognized as one of the key enabling features of Fifth Generation (5G) wireless systems, provides very flexible ways to efficiently accommodate common physical infrastructures, e.g., Base Station (BS), multiple ...
Yves Adou +2 more
doaj +1 more source
A fast phenotype approach of 3D point clouds of Pinus massoniana seedlings
Frontiers in Plant Science, 2023 The phenotyping of Pinus massoniana seedlings is essential for breeding, vegetation protection, resource investigation, and so on. Few reports regarding estimating phenotypic parameters accurately in the seeding stage of Pinus massoniana plants using 3D ...
Honghao Zhou +7 more
doaj +1 more source
Buildings, 2022 Recently, as “Freeform buildings” have increased in number, studies on ways to increase productivity in the construction of freeform buildings are increasing. In the case of 3D printing in construction, many studies are being conducted using the material
Dongyoun Lee, Junho Hong
doaj +1 more source
Assertion-based slicing and slice graphs [PDF]
Formal Aspects of Computing, 2010 AbstractThis paper revisits the idea of slicing programs based on their axiomatic semantics, rather than using criteria based on control/data dependencies. We show how the forward propagation of preconditions and the backward propagation of postconditions can be combined in a new slicing algorithm that is more precise than the existing specification ...
José Bernardo Barros +3 more
openaire +5 more sources
Active Slices for Sliced Stein Discrepancy
CoRR, 2021 22 pages, 7 figures, International Conference on Machine Learning (ICML ...
Gong, Wenbo +3 more
openaire +3 more sources