Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
We present a semi-parametric method for testing mixing distributions in the mixed Poisson model. The proposed method, which is based on the generalized method of moments, does not...
A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approa...
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
Often several cooperating parties would like to have a global view of their joint data for various data mining objectives, but cannot reveal the contents of individual records due...