1953 search results - page 175 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
151
Voted
HPCA
2011
IEEE
14 years 7 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
138
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
113
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Models of biochemical reaction networks can be decomposed into a stoichiometric part and a kinetic part. The stoichiometric part describes the structural mass flows while the ...
122
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
122
Voted
WSC
1997
15 years 5 months ago
1997
Outcomes of this modeling research are the ability to facilitate comparisons of investment alternatives or strategies; regarding primary targets, possible annual revenues, promoti...