4469 search results - page 11 / 894 » Dynamic Program Slicing |
ISCA
2000
IEEE
13 years 12 months ago
2000
IEEE
For many applications, branch mispredictions and cache misses limit a processor’s performance to a level well below its peak instruction throughput. A small fraction of static i...
COMPSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
Program slicing, a technique to compute the subset of program statements that can affect the value of a program variable at a specific program point, is widely used in tools to su...
SCAM
2003
IEEE
14 years 24 days ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...