Zobrazeno 1 - 10
of 21
pro vyhledávání: '"counters modeling"'
Publikováno v:
Zhihui kongzhi yu fangzhen, Vol 46, Iss 4, Pp 142-149 (2024)
Aiming at the importance of the infocommunication wargame as a research platform to improve commanders’ command and planning of infocommunication support, the infocommunication wargame counters are chosen for modelling studies as an important compo
Externí odkaz:
https://doaj.org/article/f565bed5d01d40eabb37ab46275452bd
Publikováno v:
Command Control & Simulation / Zhihui Kongzhi yu Fangzhen. Aug2024, Vol. 46 Issue 4, p142-149. 8p.
Autor:
Lestingi, Livia1 (AUTHOR) livia.lestingi@polimi.it, Manglaviti, Andrea1 (AUTHOR), Marinaro, Davide1 (AUTHOR), Marinello, Luca1 (AUTHOR), Askarpour, Mehrnoosh2 (AUTHOR), Bersani, Marcello M.1 (AUTHOR), Rossi, Matteo3 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Apr2024, Vol. 23 Issue 2, p473-502. 30p.
Autor:
BRIDGES, ROBERT A.1 (AUTHOR) bridgesra@ornl.gov, IMAM, NEENA1 (AUTHOR) imamn@ornl.gov, MINTZ, TIFFANY M.1 (AUTHOR) mintztm@ornl.gov
Publikováno v:
ACM Computing Surveys. Dec2016, Vol. 49 Issue 3, p1-27. 27p. 1 Diagram, 5 Charts.
Autor:
L. V. Dvoryansky
Publikováno v:
Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)
This paper provides the analysis of the express power of Petri nets to model counters with infinite state space. The implementation relation for the counters modeling is suggested. A lack of Petri nets expression power for such modeling is shown. The
Externí odkaz:
https://doaj.org/article/9f72eb541a184739a304b9d20cc13838
Autor:
Ganty, Pierre1 pierre.ganty@imdea.org, Majumdar, Rupak2 rupak@mpi-sws.org
Publikováno v:
ACM Transactions on Programming Languages & Systems. Apr2012, Vol. 34 Issue 1, p1-48. 48p.
Publikováno v:
2013 5th International Conference on Modeling, Simulation & Applied Optimization (ICMSAO); 2013, p1-4, 4p
Autor:
Marin, Gabriel, Mellor-Crummey, John
Publikováno v:
Proceedings of the Joint International Conference: Measurement & Modeling of Computer Systems; 6/10/2004, p2-13, 12p
Publikováno v:
Radiocarbon; 2012, Vol. 54 Issue 3/4, p305-318, 14p
Autor:
Cardona, Mónica, Colomer, M. Angels, Margalida, Antoni, Palau, Antoni, Pérez-Hurtado, Ignacio, Pérez-Jiménez, Mario J., Sanuy, Delfí
Publikováno v:
Natural Computing; Mar2011, Vol. 10 Issue 1, p39-53, 15p