6960 search results - page 906 / 1392 » Continuity Analysis of Programs |
209
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
194
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
200
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
168
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
175
click to vote
IADIS
2008
15 years 7 months ago
2008
Nowadays, data mining is based on low-level speci cations of the employed techniques typically bounded to a speci c analysis platform. Therefore, data mining lacks a modelling arc...