Definition Of A Transparent Constraint-Based Modeling And Simulation Layer For The Management Of Complex Systems
暂无分享,去创建一个
Kevin Henares | José Luis Risco-Martín | Marina Zapater | J. L. Risco-Martín | Kevin Henares | M. Zapater | J. Risco-Martín
[1] Kurt Jensen,et al. Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .
[2] J. Koomey. Worldwide electricity used in data centers , 2008 .
[3] Bernard P. Zeigler,et al. Theory of modeling and simulation , 1976 .
[4] José Luis Risco-Martín,et al. SFIDE: a simulation infrastructure for data centers , 2017, SummerSim.
[5] Román Hermida,et al. Reconsidering the performance of DEVS modeling and simulation environments using the DEVStone benchmark , 2017, Simul..
[6] José Manuel Moya,et al. Dynamic workload and cooling management in high-efficiency data centers , 2015, 2015 Sixth International Green and Sustainable Computing Conference (IGSC).
[7] Saurabh Mittal,et al. Model engineering for cyber complex adaptive systems , 2014 .
[8] Hessam S. Sarjoughian,et al. Modeling and verification of network-on-chip using constrained-DEVS , 2017, SpringSim.
[9] Saurabh Mittal,et al. Simulation-Based Complex Adaptive Systems , 2017 .
[10] Francisca Santana Robles,et al. Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .
[11] Bernard P. Zeigler,et al. Reachability Graph of Finite and Deterministic DEVS Networks , 2009, IEEE Transactions on Automation Science and Engineering.
[12] Damien Foures,et al. FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION , 2012 .
[13] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[14] Giancarlo Mauri,et al. Constraint-Based Modeling and Simulation of Cell Populations , 2016, WIVACE.
[15] Gabriel A. Wainer,et al. Principles of Discrete Event System Specification model verification , 2013, Simul..