2673 search results - page 167 / 535 » Guided Static Analysis |
228
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
140
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
151
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
138
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...
235
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
We address the problem of preserving privacy in streams, which has received surprisingly limited attention. For static data, a well-studied and widely used approach is based on ra...