378 search results - page 39 / 76 » Information Flow Analysis for VHDL |
TMI
2008
13 years 8 months ago
2008
We apply an information-theoretic cost metric, the symmetrized Kullback-Leibler (sKL) divergence, or -divergence, to fluid registration of diffusion tensor images. The difference b...
TIP
2002
13 years 8 months ago
2002
In recent years, curve evolution, applied to a single contour or to the level sets of an image via partial differential equations, has emerged as an important tool in image process...
SLOGICA
2008
13 years 8 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
DAWAK
2008
Springer
13 years 10 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...