1406 search results - page 66 / 282 » Software trace cache |
CGO
2006
IEEE
14 years 1 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
CSMR
2005
IEEE
14 years 1 months ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
TAPSOFT
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...