Sciweavers

3192 search results - page 562 / 639
» Translating Model Simulators to Analysis Models
Sort
View
TCAD
2002
146views more  TCAD 2002»
13 years 8 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
INFOCOM
2010
IEEE
13 years 7 months ago
How do Superpeer Networks Emerge?
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...
Bivas Mitra, Abhishek Kumar Dubey, Sujoy Ghose, Ni...
ISOLA
2010
Springer
13 years 7 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
IJSIR
2010
161views more  IJSIR 2010»
13 years 6 months ago
Bacterial Foraging Optimization
Bacterial foraging optimization algorithm (BFOA) has been widely accepted as a global optimization algorithm of current interest for distributed optimization and control. BFOA is i...
Kevin M. Passino
ICASSP
2011
IEEE
13 years 18 days ago
On the relation between ICA and MMSE based source separation
This paper aims at deriving a relationship between minimum mean square error (MMSE) based source separation and independent component analysis (ICA) based on the Kullback-Leibler ...
Benedikt Loesch, Bin Yang