Results 11 to 20 of about 223,441 (320)
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 +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 ...
Barros, José Bernardo +3 more
openaire +5 more sources
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
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011 This material is based upon work supported by the National Science Foundation under award CCF-1116943, and by a Google Faculty Research Award.
Francisco Servant, James A Jones
openaire +2 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
DE LUCIA, Andrea +3 more
openaire +3 more sources
Microorganisms, 2021 Sliced ready-to-eat meat products packaged under modified atmospheres are often marketed since they cover consumer demands. The slicing process could be a potential risk for consumers since contamination with Listeria monocytogenes could occur during ...
Elena Gonzalez-Fandos +3 more
doaj +1 more source
Hands-on brain slicing activity based on Gagné’s instructional model: A novel pedagogy for mastering neuroanatomical cross sections [PDF]
Journal of Advances in Medical Education and Professionalism, 2022 Comprehending the cross sectional anatomy of brain is one of the ultimate objective of neuroanatomy teaching. We cannot deny the fact that any physician or radiologist or surgeon who is inclined towards neuroscience should be a master in interpreting the
RAJASEKHAR S.S.S.N, DINESH KUMAR. V
doaj +1 more source
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing [PDF]
, 2016 In the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value.
Mastroeni, Isabella, Zanardini, Damiano
core +2 more sources
Energy slices: benchmarking with time slicing [PDF]
Energy Efficiency, 2017 Benchmarking makes it possible to identify low-performing buildings, establishes a baseline for measuring performance improvements, enables setting of energy conservation targets, and encourages energy savings by creating a competitive environment. Statistical approaches evaluate building energy efficiency by comparing measured energy consumption to ...
Katarina Grolinger +4 more
openaire +3 more sources
Uji Kinerja Mesin Pengiris Singkong Tipe Vertikal
Jurnal Teknik Pertanian Lampung, 2021 Several efforts to improve the efficiency and effectiveness of slicing cassava machine had been conducted. One of them including the development of a prototype cassava slicing machine.
Annisa Nur Ichniarsyah +2 more
doaj +1 more source