4211 search results - page 627 / 843 » Types as Abstract Interpretations |
145
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
166
Voted
ARTQOS
2003
Springer
15 years 8 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
140
click to vote
GREC
2009
Springer
15 years 8 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
170
click to vote
CC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
107
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...