Sciweavers

234 search results - page 34 / 47
» Multiple Faults: Modeling, Simulation and Test
Sort
View
HCW
1998
IEEE
14 years 1 days ago
Implementing Distributed Synthetic Forces Simulations in Metacomputing Environments
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
Sharon Brunett, Dan Davis, Thomas Gottschalk, Paul...
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
14 years 2 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
13 years 11 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
ICANN
2005
Springer
14 years 1 months ago
Modelling Path Integrator Recalibration Using Hippocampal Place Cells
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...
Thomas Strösslin, Ricardo Chavarriaga, Denis ...
ISBI
2008
IEEE
14 years 8 months ago
Statistical colocalization in biological imaging with false discovery control
In this paper, we present a novel object-based statistical colocalization method. Our colocalization relies on multiple hypothesis tests on the distances between all pairs of the ...
Bo Zhang, Nicolas Chenouard, Jean-Christophe Olivo...