Proceedings of the Institute for System Programming of the RAS: Latest issue http://www.mathnet.ru/eng/tisp 2026, Volume 38, Issue Issue 3(4) en-gb Copyright 2026, Tue, 30 Jun 2026 00:00:00 +0300 math-net2026_09@mi-ras.ru tche@mi-ras.ru Proceedings of the Institute for System Programming of the RAS http://www.mathnet.ru/JrnLogos/tisp/cover_big.jpg http://www.mathnet.ru/eng/tisp An implementation of capability-based security for the general-purpose microkernel E. S. Baskov, A. V. Khoroshilov, A. K. Petrenko Proceedings of ISP RAS, 2026, 38:3(4), 7--36 http://mi.mathnet.ru/eng/tisp1195 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1195 A survey of Language Virtual Machines and approaches to their testing A. S. Protsenko Proceedings of ISP RAS, 2026, 38:3(4), 37--58 http://mi.mathnet.ru/eng/tisp1196 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1196 Dynamic model of an information system with a threshold adaptive protection operator M. D. Polin, A. A. Efremov Proceedings of ISP RAS, 2026, 38:3(4), 59--70 http://mi.mathnet.ru/eng/tisp1197 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1197 Robust convergence of loss landscapes through distributional averaging N. Kiselev, V. S. Meshkov, A. V. Grabovoy Proceedings of ISP RAS, 2026, 38:3(4), 71--82 http://mi.mathnet.ru/eng/tisp1198 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1198 Automation of porting Android applications to the HarmonyOS NEXT ecosystem using formal specifications I. A. Milenin, V. M. Itsykson Proceedings of ISP RAS, 2026, 38:3(4), 83--100 http://mi.mathnet.ru/eng/tisp1199 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1199 Research on the impact of network degradation on automatic speech recognition models A. V. Polevoi, N. V. Lukashevich Proceedings of ISP RAS, 2026, 38:3(4), 101--118 http://mi.mathnet.ru/eng/tisp1200 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1200 The origin of stress in the verbal paradigm of contemporary Northwestern Mari Yu. V. Normanskaja Proceedings of ISP RAS, 2026, 38:3(4), 119--130 http://mi.mathnet.ru/eng/tisp1201 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1201 RFCB: Russian function calling benchmark T. R. Ionov, V. A. Malykh Proceedings of ISP RAS, 2026, 38:3(4), 131--144 http://mi.mathnet.ru/eng/tisp1202 Tue, 30 Jun 2026 00:00:00 +0300 Tue, 30 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1202 A comparative analysis of verb ellipsis generation by large language models (LLMs) and humans K. A. Naidenova, E. S. Bulykina, V. A. Parkhomenko, T. A. Martirova Proceedings of ISP RAS, 2026, 38:3(4), 145--156 http://mi.mathnet.ru/eng/tisp1203 Tue, 30 Jun 2026 00:00:00 +0300 Mon, 29 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1203 Emotion recognition capabilities of large language models: a comparative analysis E. S. Diatlinko, M. D. Pavlov, Sh. T. Tigranyan, A. A. Avetisyan Proceedings of ISP RAS, 2026, 38:3(4), 157--174 http://mi.mathnet.ru/eng/tisp1204 Tue, 30 Jun 2026 00:00:00 +0300 Tue, 30 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1204 A research on embedding clustering for paraphrase retrieval in texts instructions for medical use of drugs N. V. Kilmishkin, D. D. Kubrakov, Yu. P. Titov, V. I. Panteleev, T. A. Kuropatkina, N. A. Kochina, P. M. Ivanova Proceedings of ISP RAS, 2026, 38:3(4), 175--190 http://mi.mathnet.ru/eng/tisp1205 Tue, 30 Jun 2026 00:00:00 +0300 Tue, 30 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1205 Comparison and validation of CFD models for conjugate heat transfer in aluminum cooling profiles A. D. Surnin, A. A. Chernova Proceedings of ISP RAS, 2026, 38:3(4), 191--206 http://mi.mathnet.ru/eng/tisp1206 Tue, 30 Jun 2026 00:00:00 +0300 Tue, 30 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1206 Software implementation of the cascade calculation method for propeller thrust A. D. Sukhov, A. G. Petrov Proceedings of ISP RAS, 2026, 38:3(4), 207--216 http://mi.mathnet.ru/eng/tisp1207 Tue, 30 Jun 2026 00:00:00 +0300 Tue, 30 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1207 Numerical Search of Eigenvalues for Analysis of Perturbations of Field in One Problem of Magnetohydrodynamics M. V. Frolova, E. A. Mikhaylov Proceedings of ISP RAS, 2026, 38:3(4), 217--228 http://mi.mathnet.ru/eng/tisp1208 Tue, 30 Jun 2026 00:00:00 +0300 Tue, 30 Jun 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/tisp1208