42507 search results - page 212 / 8502 » On the analysis of |
191
click to vote
SC
2004
ACM
16 years 4 days ago
2004
ACM
Texture analysis is one possible method to detect features in biomedical images. During texture analysis, texture related information is found by examining local variations in ima...
157
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
155
click to vote
IWMM
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
165
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
178
click to vote
ISPD
2003
ACM
15 years 12 months ago
2003
ACM
We propose a method to capture crosstalk-induced noisy waveform for crosstalk-aware static timing analysis. The effects of capacitive coupling noise on timing are conventionally m...