Sciweavers

323 search results - page 50 / 65
» Automatic generation of simulation models for semiconductor ...
Sort
View
CODES
1999
IEEE
13 years 11 months ago
Co-design tool construction using APICES
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
Ansgar Bredenfeld
ICASSP
2010
IEEE
13 years 7 months ago
Symmetrical EEG/FMRI fusion with spatially adaptive priors using variational distribution approximation
In this paper, we propose a symmetrical EEG/fMRI fusion algorithm which combines EEG and fMRI by means of a common generative model. The use of a total variation (TV) prior as wel...
Martin Luessi, S. Derin Babacan, Rafael Molina, Ja...
TCAD
2008
103views more  TCAD 2008»
13 years 7 months ago
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
Xiaoxi Xu, Cheng-Chew Lim
DSRT
2008
IEEE
13 years 9 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
3DPVT
2006
IEEE
224views Visualization» more  3DPVT 2006»
14 years 1 months ago
A Bayesian Approach to Building Footprint Extraction from Aerial LIDAR Data
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
Oliver Wang, Suresh K. Lodha, David P. Helmbold