Results 221 to 230 of about 381,714 (267)
Some of the next articles are maybe not open access.
Conditional slicing: Reducing dynamic slices
2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2015This paper presents improvements on dynamic program slicing, a technique that is used in many fault localization approaches. In particular, we show how the number of source code statements in dynamic and relevant slices can be reduced further by focusing on the evaluation of conditional statements.
Birgit Hofer +2 more
openaire +1 more source
The Annals of Mathematics, 1957
Throughout this paper, G is assumed to be a compact Lie group which acts as a topological transformation group on a space M. The symbol G, denotes the closed subgroup of G consisting of all elements of G which leave fixed the point p of M. It has been shown by Gleason that under certain conditions [1] there exists a local cross-section of the orbits at
Montgomery, D., Yang, C. T.
openaire +2 more sources
Throughout this paper, G is assumed to be a compact Lie group which acts as a topological transformation group on a space M. The symbol G, denotes the closed subgroup of G consisting of all elements of G which leave fixed the point p of M. It has been shown by Gleason that under certain conditions [1] there exists a local cross-section of the orbits at
Montgomery, D., Yang, C. T.
openaire +2 more sources
IEEE Transactions on Software Engineering, 1984
Program slicing is a method for automatically decomposing programs by analyzing their data flow and control flow. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a ''slice'', is an independent program guaranteed to represent faithfully the ...
openaire +3 more sources
Program slicing is a method for automatically decomposing programs by analyzing their data flow and control flow. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a ''slice'', is an independent program guaranteed to represent faithfully the ...
openaire +3 more sources
Proceedings of the eighteenth international symposium on Software testing and analysis, 2009
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such as space requirement is decided by execution length; dependence graphs are highly redundant so that inspecting them is labor intensive.
Bin Xin 0001, Xiangyu Zhang 0001
openaire +1 more source
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such as space requirement is decided by execution length; dependence graphs are highly redundant so that inspecting them is labor intensive.
Bin Xin 0001, Xiangyu Zhang 0001
openaire +1 more source
Pediatrics, 2015
We rarely read or hear of good news from the Mideast and Israel: the second Lebanese war, Hezbollah, rockets raining down on Sderot, Operation Cast Lead, and Iran. Even an optimist like me could see little hope for this region in turmoil. In 2009 I visited a number of pediatric emergency departments in Tel Aviv and Jerusalem to see whether there were ...
openaire +2 more sources
We rarely read or hear of good news from the Mideast and Israel: the second Lebanese war, Hezbollah, rockets raining down on Sderot, Operation Cast Lead, and Iran. Even an optimist like me could see little hope for this region in turmoil. In 2009 I visited a number of pediatric emergency departments in Tel Aviv and Jerusalem to see whether there were ...
openaire +2 more sources
Canadian Journal of Mathematics, 1962
A band is a closed connected set in the 2-sphere, bounded by one or more disjoint simple closed curves.Consider a band B with bounding curves J1, J2, … , Jk. On each curve Ji let there be chosen mi ≥ 0 points to be called vertices, with the restriction that the sum of the k integers mi is to be even.
openaire +1 more source
A band is a closed connected set in the 2-sphere, bounded by one or more disjoint simple closed curves.Consider a band B with bounding curves J1, J2, … , Jk. On each curve Ji let there be chosen mi ≥ 0 points to be called vertices, with the restriction that the sum of the k integers mi is to be even.
openaire +1 more source
Journal of Neuroscience Methods, 2007
The reciprocal connections between primary motor cortex (M1) and primary somatosensory cortex (S1) are hypothesized to play a role in an animal's ability to update its motor plan in response to changes in the sensory periphery. These interactions provide the sensory cortex with anticipatory knowledge of motor plans.
Mary M, Rocco, Joshua C, Brumberg
openaire +2 more sources
The reciprocal connections between primary motor cortex (M1) and primary somatosensory cortex (S1) are hypothesized to play a role in an animal's ability to update its motor plan in response to changes in the sensory periphery. These interactions provide the sensory cortex with anticipatory knowledge of motor plans.
Mary M, Rocco, Joshua C, Brumberg
openaire +2 more sources
Analysis, 1993
Could there be a physical object think of something brick-shaped, say two inches high with infinitely many parts think of the bottom half, the half-inch-thick layer above it, the quarter-inch layer above it, the eighthinch layer above it, and so on ad literally infinitum with these infinitely many parts all being non-abstract, physical objects ...
openaire +1 more source
Could there be a physical object think of something brick-shaped, say two inches high with infinitely many parts think of the bottom half, the half-inch-thick layer above it, the quarter-inch layer above it, the eighthinch layer above it, and so on ad literally infinitum with these infinitely many parts all being non-abstract, physical objects ...
openaire +1 more source
Proceedings of the 9th International Conference on Digital and Interactive Arts, 2019
Despite the proliferation of the many new digital technologies capable of representing space and form, disciplinary modes of delineating architectural objects nevertheless remain dependent upon the line. The continuing avoidance of new digital methods to envisage and create architectural form, coupled with a disciplinary commitment to descriptive and ...
Gavin Perin, Linda Matthews
openaire +1 more source
Despite the proliferation of the many new digital technologies capable of representing space and form, disciplinary modes of delineating architectural objects nevertheless remain dependent upon the line. The continuing avoidance of new digital methods to envisage and create architectural form, coupled with a disciplinary commitment to descriptive and ...
Gavin Perin, Linda Matthews
openaire +1 more source
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
The popularity of mobile devices like smartphones and tablets has increased significantly in the last few years with many millions of sold devices. This growth also has its drawbacks: attackers have realized that smartphones are an attractive target and in the last months many different kinds of malicious software (short: malware) for such devices have
Johannes Hoffmann +3 more
openaire +1 more source
The popularity of mobile devices like smartphones and tablets has increased significantly in the last few years with many millions of sold devices. This growth also has its drawbacks: attackers have realized that smartphones are an attractive target and in the last months many different kinds of malicious software (short: malware) for such devices have
Johannes Hoffmann +3 more
openaire +1 more source