Sciweavers

19130 search results - page 329 / 3826
» Modelling multi-path problems
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
16 years 1 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
ESEC
1999
Springer
15 years 11 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
ISBI
2008
IEEE
16 years 7 months ago
A spline-based forward model for Optical Diffuse Tomography
Reconstruction algorithms for Optical Diffuse Tomography (ODT) rely heavily on fast and accurate forward models. Arbitrary geometries and boundary conditions need to be handled ri...
Jean-Charles Baritaux, S. Chandra Sekhar, Michael ...
CEC
2009
IEEE
15 years 11 months ago
A novel EDAs based method for HP model protein folding
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
Benhui Chen, Long Li, Jinglu Hu
EJIS
2007
94views more  EJIS 2007»
15 years 6 months ago
Applying ontology-based rules to conceptual modeling: a reflection on modeling decision making
Conceptual modeling represents a domain independently of implementation considerations for purposes of understanding the problem at hand and communicating about it. However, diffe...
Pnina Soffer, Irit Hadar