Sciweavers

7918 search results - page 323 / 1584
» Model Composition Directives
Sort
View
EMSOFT
2009
Springer
15 years 11 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
WSC
2000
15 years 6 months ago
Low cost response surface methods for and from simulation optimization
We propose "low cost response surface methods" (LCRSM) that typically require half the experimental runs of standard response surface methods based on central composite ...
Theodore Allen, Liyang Yu
ICPR
2008
IEEE
15 years 11 months ago
3D object localization based on occluding contour using STL CAD model
This paper describes a method to localize 3D objects, which is the extension of the segment-based object recognition method to use on a STL CAD model. Models for localization are ...
Kenichi Maruyama, Yoshihiro Kawai, Takashi Yoshimi...
IJFCS
2010
92views more  IJFCS 2010»
15 years 2 months ago
Collapsing the Hierarchy of Parallel Computational Models
We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...
Stefan D. Bruda, Yuanqiao Zhang
BMCBI
2006
92views more  BMCBI 2006»
15 years 4 months ago
Systematic assignment of thermodynamic constraints in metabolic network models
Background: The availability of genome sequences for many organisms enabled the reconstruction of several genome-scale metabolic network models. Currently, significant efforts are...
Anne Kümmel, Sven Panke, Matthias Heinemann