58 search results - page 7 / 12 » Approximate Performability Analysis using Generalized Stocha... |
82
Voted
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
SIMUTOOLS
2008
14 years 11 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
PE
2007
Springer
14 years 9 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...