606 search results - page 88 / 122 » A Comparative Study of Industrial Static Analysis Tools |
ADAEUROPE
2004
Springer
15 years 3 months ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...
97
Voted
FORMATS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
TSMC
2010
14 years 4 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
72
Voted
CAIP
2005
Springer
15 years 3 months ago
2005
Springer
Image segmentation is discussed for years in numerous papers, but assessing its quality is mainly dealt with in recent works. Quality assessment is a primary concern for anyone wor...
89
Voted
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...