{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T10:40:50Z","timestamp":1779360050952,"version":"3.51.4"},"reference-count":30,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p> Modern computing is a path of violations and transformations coming from an intrinsically concurrent application domain into a sequence of instructions and then back to concurrency with OpenMP, MPI and CUDA\/OpenCL. Why we create so many difficulties? Sleptsov Net Computing (SNC) maps a task into an appropriate computing structure implemented as a re-configurable multidimensional sparse matrix of computing memory. It has entirely graphical mass parallel language for concurrent programming and a framework of techniques for concurrent program verification to develop reliable software. Estimated efficiency of SNC is higher than 50% compared to actual less that 1% efficiency of the most powerful supercomputers. It yields hyper-performance capable of efficient control of hyper-sonic objects, colliders, thermonuclear reaction. This paper presents an open source prototype VM and IDE for SNC with a view on upcoming hardware implementation of the corresponding computer. <\/jats:p>","DOI":"10.1142\/s0129626423500068","type":"journal-article","created":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T18:43:13Z","timestamp":1686076993000},"source":"Crossref","is-referenced-by-count":8,"title":["Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing"],"prefix":"10.1142","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5698-7324","authenticated-orcid":false,"given":"Dmitry A.","family":"Zaitsev","sequence":"first","affiliation":[{"name":"I3S CNRS, Universit\u00e9 C\u00f4te d\u2019Azur, 28 Avenue de Valrose, Nice, 06103, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana R.","family":"Shmeleva","sequence":"additional","affiliation":[{"name":"I3S CNRS, Universit\u00e9 C\u00f4te d\u2019Azur, 28 Avenue de Valrose, Nice, 06103, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Zhang","sequence":"additional","affiliation":[{"name":"XIDIAN University, 266 Xinglong Section of Xifeng Road, Xi\u2019an, Shaanxi, 710126, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongfei","family":"Zhao","sequence":"additional","affiliation":[{"name":"XIDIAN University, 266 Xinglong Section of Xifeng Road, Xi\u2019an, Shaanxi, 710126, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2023,6,6]]},"reference":[{"key":"S0129626423500068BIB002","author":"Zaitsev D.","year":"2023","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"key":"S0129626423500068BIB003","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/j.ins.2022.11.098","volume":"621","author":"Zaitsev D. A.","year":"2023","journal-title":"Information Sciences"},{"issue":"5","key":"S0129626423500068BIB004","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1109\/TSMC.2015.2444414","volume":"46","author":"Zaitsev D. A.","year":"2016","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"issue":"5","key":"S0129626423500068BIB012","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1007\/BF02667189","volume":"33","author":"Zaitsev D. A.","year":"1997","journal-title":"Cybernetics and Systems Analysis"},{"key":"S0129626423500068BIB013","first-page":"124","volume-title":"Proc. of 3rd International Industrial Simulation Conference 2005 (ISC\u00a02005\u200a)","author":"Zaitsev D. A."},{"key":"S0129626423500068BIB014","first-page":"135","volume":"3","author":"Paun G.","year":"2007","journal-title":"Int. J. Unconv. Comput."},{"issue":"6034","key":"S0129626423500068BIB015","doi-asserted-by":"crossref","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"Qian L.","year":"2011","journal-title":"Science"},{"issue":"1","key":"S0129626423500068BIB016","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/TSMC.2012.2237549","volume":"44","author":"Zaitsev D. A.","year":"2014","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"issue":"4","key":"S0129626423500068BIB017","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1177\/1687814016640159","volume":"8","author":"Zaitsev D. A.","year":"2016","journal-title":"Advances in Mechanical Engineering"},{"issue":"12","key":"S0129626423500068BIB018","doi-asserted-by":"crossref","first-page":"2396","DOI":"10.1080\/00207160.2017.1283410","volume":"94","author":"Zaitsev D. A.","year":"2017","journal-title":"International Journal of Computer Mathematics"},{"key":"S0129626423500068BIB019","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"2005"},{"issue":"6","key":"S0129626423500068BIB025","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1080\/17445760.2021.1970158","volume":"36","author":"Zaitsev D. A.","year":"2021","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"issue":"8","key":"S0129626423500068BIB026","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1134\/S0005117914080025","volume":"75","author":"Zaitsev D. A.","year":"2014","journal-title":"Automation and Remote Control"},{"issue":"3","key":"S0129626423500068BIB027","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1109\/TSMC.2014.2347933","volume":"45","author":"Tiplea F. L.","year":"2015","journal-title":"IEEE Trans. Syst. Man Cyber Syst."},{"issue":"6","key":"S0129626423500068BIB028","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1080\/17445760.2021.1945054","volume":"36","author":"Kostikov A. A.","year":"2021","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"issue":"6","key":"S0129626423500068BIB029","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1080\/17445760.2021.1945055","volume":"36","author":"Shmeleva T. R.","year":"2021","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"key":"S0129626423500068BIB030","volume-title":"Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach","author":"Li Z. W.","year":"2009"},{"key":"S0129626423500068BIB031","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.ins.2013.07.021","volume":"256","author":"Chen Y.","year":"2014","journal-title":"Information Sciences"},{"key":"S0129626423500068BIB032","first-page":"188","volume-title":"2012 IEEE International Conference on Automation Science and Engineering (CASE\u200a)","author":"Hou Y."},{"key":"S0129626423500068BIB033","volume-title":"International Conference on Problems of Infocommunications. Science and Technology (PICST2022)","author":"Zhang Q."},{"key":"S0129626423500068BIB034","volume-title":"International Conference on Problems of Infocommunications, Science and Technology (PICST2022)","author":"Zhao H."},{"key":"S0129626423500068BIB035","volume-title":"Programming Massively Parallel Processors: A Hands-on Approach","author":"Kirk D. B.","year":"2016","edition":"3"},{"issue":"2","key":"S0129626423500068BIB036","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1080\/17445760.2021.1991340","volume":"37","author":"Zaitsev D. A.","year":"2022","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"issue":"2","key":"S0129626423500068BIB037","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10009-019-00519-1","volume":"22","author":"Berthomieu B.","year":"2020","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"S0129626423500068BIB038","volume-title":"Clans of Petri Nets: Verification of Protocols and Performance Evaluation of Networks","author":"Zaitsev D. A.","year":"2013"},{"issue":"5","key":"S0129626423500068BIB039","doi-asserted-by":"crossref","first-page":"1158","DOI":"10.1109\/TPDS.2018.2873354","volume":"30","author":"Zaitsev D.","year":"2019","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"S0129626423500068BIB040","volume-title":"Using OpenMP Portable Shared Memory Parallel Programming","author":"Chapman B.","year":"2007"},{"key":"S0129626423500068BIB041","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02943551","volume":"7","author":"Vel\u2019bitsky I. V.","year":"1992","journal-title":"J. of Comput. Sci. & Technol."},{"key":"S0129626423500068BIB042","volume-title":"Introduction to Compilers and Language Design","author":"Thain D.","year":"2020","edition":"2"},{"issue":"4","key":"S0129626423500068BIB045","doi-asserted-by":"crossref","first-page":"964","DOI":"10.1109\/TPDS.2021.3084071","volume":"33","author":"Abdulah S.","year":"2022","journal-title":"IEEE Transactions on Parallel and Distributed Systems"}],"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129626423500068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T06:27:03Z","timestamp":1695796023000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0129626423500068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,6]]},"references-count":30,"journal-issue":{"issue":"03","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["10.1142\/S0129626423500068"],"URL":"https:\/\/doi.org\/10.1142\/s0129626423500068","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,6]]},"article-number":"2350006"}}