4716 search results - page 675 / 944 » Iterative-free program analysis |
151
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
145
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
172
Voted
IWPC
2000
IEEE
15 years 10 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
143
click to vote
ISLPED
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we propose a technique that uses an additional mini cache, the L0-Cache, located between the instruction cache I-Cache and the CPU core. This mechanism can provid...
160
Voted
ICTAI
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently, there has been much interest in enhancing purely combinatorial formalisms with numerical information. For example, planning formalisms can be enriched by taking resource...