Sciweavers

5009 search results - page 43 / 1002
» Value chain modelling using system dynamics
Sort
View
ATVA
2006
Springer
100views Hardware» more  ATVA 2006»
14 years 1 months ago
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Y...
AICOM
2007
119views more  AICOM 2007»
13 years 10 months ago
Using exogenous quantities in qualitative models about environmental sustainability
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
Bert Bredeweg, Paulo Salles, Tim Nuttle
HPDC
2010
IEEE
13 years 11 months ago
A hybrid Markov chain model for workload on parallel computers
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
Anne Krampe, Joachim Lepping, Wiebke Sieben
IPMI
2011
Springer
13 years 1 months ago
Actin Filament Segmentation Using Dynamic Programming
Abstract. We introduce a novel algorithm for actin filament segmentation in 2D TIRFM image sequences. This problem is difficult because actin filaments dynamically change shapes ...
Hongsheng Li, Tian Shen, Xiaolei Huang
ICSE
2011
IEEE-ACM
13 years 1 months ago
The quamoco tool chain for quality modeling and assessment
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
Florian Deissenboeck, Lars Heinemann, Markus Herrm...