606 search results - page 88 / 122 » A Comparative Study of Industrial Static Analysis Tools |
147
click to vote
ADAEUROPE
2004
Springer
15 years 11 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...
185
click to vote
FORMATS
2007
Springer
15 years 9 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...
159
click to vote
TSMC
2010
15 years 16 days 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...
138
click to vote
CAIP
2005
Springer
15 years 11 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...
151
click to vote
IPPS
1999
IEEE
15 years 10 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...