606 search results - page 100 / 122 » A Comparative Study of Industrial Static Analysis Tools |
113
click to vote
DT
2006
14 years 10 months ago
2006
The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...
ENTCS
2007
14 years 10 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
105
Voted
IGARSS
2009
14 years 7 months ago
2009
In this study, the authors investigate the use of hyperspectral imaging for food crop monitoring and contamination detection and characterization. The authors investigate the use ...
TCAD
2008
14 years 10 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
BMCBI
2011
14 years 5 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...