5128 search results - page 130 / 1026 » When Abstraction Fails |
120
click to vote
JFP
2008
15 years 4 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
138
click to vote
JSAC
2006
15 years 4 months ago
2006
As networks grow in size and complexity, both the probability and the impact of failures increase. The pre-allocated backup bandwidth, which has been widely investigated in the lit...
151
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
151
click to vote
DGCI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We estimate the frequency of the patterns in the discretization of parabolas, when the resolution tends to zero. We deduce that local estimators of length almost never co...
154
click to vote
ICISP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. When the amount of color data is reduced in a lossy compression scheme, the question of the use of a color distance is crucial, since no total order exists in IRn