Sciweavers

79 search results - page 6 / 16
» Modeling and Validating Globally Asynchronous Design in Sync...
Sort
View
FORTE
2011
12 years 11 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
ACSD
2005
IEEE
144views Hardware» more  ACSD 2005»
14 years 1 months ago
An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library
Register Transfer Level (RTL) synthesis model which simplified the design of clocked circuits allowed design automation boost and VLSI progress for more than a decade. Shrinking t...
Alexander B. Smirnov, Alexander Taubin, Ming Su, M...
CAV
2009
Springer
156views Hardware» more  CAV 2009»
14 years 2 months ago
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
Nicolas Coste, Holger Hermanns, Etienne Lantreibec...
GPCE
2007
Springer
14 years 1 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
ISBI
2002
IEEE
14 years 8 months ago
Robust estimation of the hemodynamic response function in asynchronous multitasks multisessions event-related fMRI paradigms
Hemodynamic Response Function (HRF) estimation in noisy functional Magnetic Resonance Imaging (fMRI) is essential for a better understanding of cerebral activations. Previous work...
Guillaume Marrelec, Habib Benali, Jérô...