Principles of inverse computation and the universal resolving algorithm S Abramov, R Glück The essence of computation: complexity, analysis, transformation, 269-295, 2002 | 69 | 2002 |
The universal resolving algorithm and its correctness: inverse computation in a functional language S Abramov, R Glück Science of Computer Programming 43 (2-3), 193-229, 2002 | 53 | 2002 |
The universal resolving algorithm: inverse computation in a functional language S Abramov, R Glück International Conference on Mathematics of Program Construction, 187-212, 2000 | 47 | 2000 |
Кроссплатформенная версия T-системы с открытой архитектурой СМ Абрамов, АА Кузнецов, ВА Роганов Вычислительные методы и программирование 8, 18-23, 2007 | 33 | 2007 |
OpenTS: an outline of dynamic parallelization approach S Abramov, A Adamovich, A Inyukhin, A Moskovsky, V Roganov, ... Parallel Computing Technologies: 8th International Conference, PaCT 2005 …, 2005 | 30 | 2005 |
Parallelism granules aggregation with the T-system A Moskovsky, V Roganov, S Abramov Parallel Computing Technologies: 9th International Conference, PaCT 2007 …, 2007 | 24 | 2007 |
Combining semantics with non-standard interpreter hierarchies S Abramov, R Glück FST TCS 2000: Foundations of Software Technology and Theoretical Computer …, 2000 | 24 | 2000 |
Metacomputation and logic programming SM Abramov Programming and Computer Software 17 (3), 1992 | 20 | 1992 |
From standard to non-standard semantics by semantics modifiers S Abramov, R Glück International Journal of Foundations of Computer Science 12 (02), 171-211, 2001 | 18 | 2001 |
New opportunities model for monitoring, analyzing and forecasting the official statistics on coronavirus disease pandemic S Abramov, S Travin, G Duka, RE Precup Romanian Journal of Information Science and Technology, 49-64, 2023 | 13 | 2023 |
Autotransformation of evaluation network as a basis for automatic dynamic parallelizing SM Abramov, AI Adamowitch, IA Nesterov, SP Pimenov, YV Shevchuck Proceedings of the sixth conference of the North American Transputer Users …, 1993 | 13 | 1993 |
An universal resolving algorithm for inverse computation of lazy languages S Abramov, R Glück, Y Klimov International Andrei Ershov Memorial Conference on Perspectives of System …, 2006 | 12 | 2006 |
SKIF supercomputer configurations SV Ablameyko, SM Abramov, UV Anishchanka, SV Medvedev, ... Minsk, United Institute of Informatics Problems, 2005 | 12 | 2005 |
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. SM Abramov, R Glück Fuji International Symposium on Functional and Logic Programming, 247-270, 1998 | 10 | 1998 |
T-system: programming environment providing automatic dynamic parallelizing on IP-network of Unix-computers S Abramov, A Adamovitch, M Kovalenko Report on, 15-25, 1997 | 10 | 1997 |
The effectiveness of parallelizing an algorithm of the PFC equation solution using PetIGA library IO Starodumov, EV Pavlyuk, SM Abramov, LV Klyuev, PK Galenko, ... Вестник Удмуртского университета. Математика. Механика. Компьютерные науки …, 2016 | 9 | 2016 |
T-system-An environment supporting automatic dynamic parallelization of programs: An example of the implementation of an image rendering algorithm based on the ray tracing method SM Abramov, AI Adamovich, MR Kovalenko Programming and Computer Software 25 (2), 100-107, 1999 | 9 | 1999 |
Variable Reassignment in the T++ Parallel Programming Language A Moskovsky, V Roganov, S Abramov, A Kuznetsov Parallel Computing Technologies: 9th International Conference, PaCT 2007 …, 2007 | 8 | 2007 |
Cross-platform version of the T-system with an open architecture SM Abramov, AA Kuznetsov, VA Roganov Numerical methods and programming 8 (1), 18-23, 2007 | 8 | 2007 |
Analysis of the Development of the Supercomputer Industry in Russia and Worldwide SM Abramov Program Systems: Theory and Applications 10 (3), 3-40, 2019 | 7 | 2019 |