This paper presents efficient automatic code synthesis techniques from dataflow graphs for multimedia applications. Since multimedia applications require large size buffers contai...
CT The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a...
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...
In this paper we investigate a mesh-modeling approach for multi-modality image reconstruction. In the proposed approach a mesh model uses information obtained from an anatomical M...
Jovan G. Brankov, Yongyi Yang, Richard M. Leahy, M...
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...