Sciweavers

1368 search results - page 123 / 274
» The Implicit Pipeline Method
Sort
View
CCGRID
2008
IEEE
14 years 4 months ago
A Stable Broadcast Algorithm
—Distributing large data to many nodes, known as a broadcast or a multicast, is an important operation in parallel and distributed computing. Most previous broadcast algorithms e...
Kei Takahashi, Hideo Saito, Takeshi Shibata, Kenji...
DATE
2006
IEEE
113views Hardware» more  DATE 2006»
14 years 4 months ago
Automatic ADL-based operand isolation for embedded processors
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
Anupam Chattopadhyay, B. Geukes, David Kammler, Er...
DAC
1997
ACM
14 years 2 months ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
Aarti Gupta, Sharad Malik, Pranav Ashar
TCBB
2011
13 years 5 months ago
Semantics and Ambiguity of Stochastic RNA Family Models
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
Robert Giegerich, Christian Höner zu Siederdi...
ICIP
2005
IEEE
14 years 11 months ago
Interleaved S+P pyramidal decomposition with refined prediction model
Scalability and others functionalities such as the Region of Interest encoding become essential properties of an efficient image coding scheme. Within the framework of lossless co...
Joseph Ronsin, Marie Babel, Olivier Déforge...