Sciweavers

272 search results - page 29 / 55
» Program slicing
Sort
View
SPE
2008
83views more  SPE 2008»
13 years 9 months ago
Conditioned semantic slicing for abstraction; industrial experiment
raction; Industrial Experiment Martin Ward, , Hussein Zedan
Martin P. Ward, Hussein Zedan, Matthias Ladkau, St...
SCP
2010
123views more  SCP 2010»
13 years 4 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
SCAM
2008
IEEE
14 years 4 months ago
Precise Analysis of Java Programs Using JOANA
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
Dennis Giffhorn, Christian Hammer
PLDI
2005
ACM
14 years 3 months ago
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
Carlos García Quiñones, Carlos Madri...
ISSTA
2010
ACM
14 years 1 months ago
Analyzing concurrency bugs using dual slicing
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
Dasarath Weeratunge, Xiangyu Zhang, William N. Sum...