352 search results - page 33 / 71 » Evaluating the imprecision of static analysis |
115
click to vote
ICNP
2002
IEEE
15 years 6 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
114
click to vote
COLCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
— Sharing personal information and documents is pervasive in Web 2.0 environments, which creates the need for properly controlling shared data. Most existing authorization and po...
101
click to vote
FGR
2004
IEEE
15 years 5 months ago
2004
IEEE
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...
147
click to vote
CASES
2008
ACM
15 years 4 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
108
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...