606 search results - page 61 / 122 » A Comparative Study of Industrial Static Analysis Tools |
168
click to vote
CC
2006
Springer
15 years 9 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...
196
click to vote
RTSS
2006
IEEE
16 years 18 hour 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...
160
click to vote
LCN
2003
IEEE
15 years 11 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 ...
173
click to vote
AVSS
2008
IEEE
16 years 15 days 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...
171
Voted
CIARP
2006
Springer
15 years 8 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...