773 search results - page 29 / 155 » Program Slicing by Calculation |
111
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
100
Voted
SIGGRAPH
1990
ACM
15 years 4 months ago
1990
ACM
We presenta real-time robot motion plannerthatis fastandcomplete to a resolution. The technique is guaranteed to find a path if one exists at the resolution, and all paths returne...
112
click to vote
ICPP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a two-part study on managing distributed NUCA (Non-Uniform Cache Architecture) L2 caches in a future manycore processor to obtain high singlethread program per...
79
Voted
JOT
2006
15 years 16 days ago
2006
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...
IWPC
2003
IEEE
15 years 5 months ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...