Sciweavers

126 search results - page 5 / 26
» Space Based Architecture for Numerical Solving
Sort
View
AIA
2006
13 years 8 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
GLVLSI
2005
IEEE
118views VLSI» more  GLVLSI 2005»
14 years 9 days ago
A continuous time markov decision process based on-chip buffer allocation methodology
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
Sankalp Kallakuri, Nattawut Thepayasuwan, Alex Dob...
ICC
2008
IEEE
151views Communications» more  ICC 2008»
14 years 1 months ago
Hop-by-Hop Local Flow Control over InterPlaNetary Networks Based on DTN Architecture
—Deep space communications are an important research line in scientific community. The possibility of performing the communication between earth and other planets is an excitant ...
Floriano De Rango, Mauro Tropea, Giovanni Battista...
CORR
2007
Springer
113views Education» more  CORR 2007»
13 years 6 months ago
Solution of moving-boundary problems by the spectral element method
This paper describes a novel numerical model aiming at solving moving-boundary problems such as free-surface flows or fluid– structure interaction. This model uses a moving-gr...
Nicolas Bodard, Roland Bouffanais, Michel O. Devil...
JCB
1998
129views more  JCB 1998»
13 years 6 months ago
A Sticker-Based Model for DNA Computation
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...
Sam T. Roweis, Erik Winfree, Richard Burgoyne, Nic...