Results 231 to 240 of about 381,714 (267)
Some of the next articles are maybe not open access.
Minimal Slicing and the Relationships Between Forms of Slicing
Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05), 2006The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different slicing techniques. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour.
David W. Binkley +5 more
openaire +1 more source
Forward slices are smaller than backward slices
Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05), 2006This paper presents evidence from two empirical studies which show that forward slices will tend to be smaller than backward slices and discusses the importance of this result for work on source code analysis and manipulation. The difference in forward and backward slice size distributions stems from the way in which control dependence and data ...
David W. Binkley, Mark Harman
openaire +1 more source
2006
Slicing is one of a number of techniques for reducing the state space of specifications during verification. Unlike techniques as e.g. data abstraction slicing is precise: the slice exactly reflects the property to be verified. This necessitates keeping large parts of the specification.
openaire +1 more source
Slicing is one of a number of techniques for reducing the state space of specifications during verification. Unlike techniques as e.g. data abstraction slicing is precise: the slice exactly reflects the property to be verified. This necessitates keeping large parts of the specification.
openaire +1 more source
2008 Frontiers of Software Maintenance, 1996
David W. Binkley, Keith Brian Gallagher
openaire +1 more source
David W. Binkley, Keith Brian Gallagher
openaire +1 more source
2009
Slice blotting is a technique for recording the spatial distribution of extracellular signaling molecules released from thin slices of living tissue. Slices are positioned on the surface of a membrane that can trap secreted substances diffusing from the tissue. The pattern of membrane-bound antigens is subsequently visualized by immunoblotting.
openaire +3 more sources
Slice blotting is a technique for recording the spatial distribution of extracellular signaling molecules released from thin slices of living tissue. Slices are positioned on the surface of a membrane that can trap secreted substances diffusing from the tissue. The pattern of membrane-bound antigens is subsequently visualized by immunoblotting.
openaire +3 more sources
Operators on Orlicz-slice spaces and Orlicz-slice Hardy spaces
Journal of Mathematical Analysis and Applications, 2021Kwok-Pun Ho
exaly
Improved Statically Solvable Slice Method for Slope Stability Analysis
Journal of Earth Science (Wuhan, China), 2022Aijun Su, Zou Zongxing, Wang Jinge
exaly