773 search results - page 41 / 155 » Program Slicing by Calculation |
98
Voted
FPGA
2010
ACM
15 years 9 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
99
Voted
CMPB
2004
15 years 14 days ago
2004
: Visualization software for three dimensional digital brain atlases present many challenges in design and implementation. These challenges include the design of an effective human...
96
Voted
ICSE
1992
IEEE-ACM
15 years 4 months ago
1992
IEEE-ACM
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
81
Voted
ICSE
2003
IEEE-ACM
16 years 21 days ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
129
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...