252 search results - page 26 / 51 » A Methodology for Automatic Diagnosability Analysis |
149
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Concurrent detection of failures in analog circuits is becoming increasingly more important as safety-critical systems become more widespread. A methodology for the automatic desi...
180
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
158
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Social media such as Web forum often have dense interactions between user and content where network models are often appropriate for analysis. Joint non-negative matrix factorizat...
179
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
167
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...