606 search results - page 61 / 122 » A Comparative Study of Industrial Static Analysis Tools |
112
click to vote
CC
2006
Springer
15 years 4 months ago
2006
Springer
We present the results of an empirical study evaluating the precision of subset-based points-to analysis with several variations of context sensitivity on Java benchmarks of signif...
135
Voted
RTSS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
112
click to vote
LCN
2003
IEEE
15 years 5 months ago
2003
IEEE
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...
113
Voted
AVSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Although automatic identity inference based on faces has shown success when using high quality images, for CCTV based images it is hard to attain similar levels of performance. Fu...
103
click to vote
CIARP
2006
Springer
15 years 2 months ago
2006
Springer
The Neural Gas (NG) is a Vector Quantization technique where a set of prototypes self organize to represent the topology structure of the data. The learning algorithm of the Neural...