828 search results - page 79 / 166 » Modularity for Timed and Hybrid Systems |
138
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
131
Voted
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
160
Voted
CN
2007
15 years 3 months ago
2007
Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with pac...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
116
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...