Results 281 to 290 of about 53,899 (312)
Some of the next articles are maybe not open access.
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
Slice-based column generation for network slicing
IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2018We propose an algorithmic framework for network slicing based on column generation. It aims at efficiently maximizing the number of accepted slices while minimizing the cost of embedding virtual networks. It can address key QoS and high reliability constraints for 5G networks and it extensively uses parallelization to quickly solve a relaxed version of
Apostolos Destounis +7 more
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
Survey on Network Slicing for Internet of Things Realization in 5G Networks
IEEE Communications Surveys and Tutorials, 2021Shalitha Wijethilaka +1 more
exaly
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