352 search results - page 24 / 71 » Evaluating the imprecision of static analysis |
153
click to vote
PRDC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...
135
click to vote
CODES
2010
IEEE
14 years 12 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
125
Voted
ASUNAM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Spam in social tagging systems introduced by some malicious participants has become a serious problem for its global popularizing. Some studies which can be deduced to static us...
123
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. We assume that the topology of camera views is unknown and quite a...
121
click to vote
ICAC
2007
IEEE
15 years 8 months ago
2007
IEEE
As the use of virtualization and partitioning grows, it becomes possible to deploy a multi-tier web-based application with a variable amount of computing power. This introduces th...