Follow
Sergei Abramov
Sergei Abramov
Program Systems Institute
Verified email at botik.ru
Title
Cited by
Cited by
Year
Principles of inverse computation and the universal resolving algorithm
S Abramov, R Glück
The essence of computation: complexity, analysis, transformation, 269-295, 2002
692002
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
532002
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
472000
Кроссплатформенная версия T-системы с открытой архитектурой
СМ Абрамов, АА Кузнецов, ВА Роганов
Вычислительные методы и программирование 8, 18-23, 2007
332007
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
302005
Parallelism granules aggregation with the T-system
A Moskovsky, V Roganov, S Abramov
Parallel Computing Technologies: 9th International Conference, PaCT 2007 …, 2007
242007
Combining semantics with non-standard interpreter hierarchies
S Abramov, R Glück
FST TCS 2000: Foundations of Software Technology and Theoretical Computer …, 2000
242000
Metacomputation and logic programming
SM Abramov
Programming and Computer Software 17 (3), 1992
201992
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
182001
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
132023
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
131993
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
122006
SKIF supercomputer configurations
SV Ablameyko, SM Abramov, UV Anishchanka, SV Medvedev, ...
Minsk, United Institute of Informatics Problems, 2005
122005
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
101998
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
101997
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
92016
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
91999
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
82007
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
82007
Analysis of the Development of the Supercomputer Industry in Russia and Worldwide
SM Abramov
Program Systems: Theory and Applications 10 (3), 3-40, 2019
72019
The system can't perform the operation now. Try again later.
Articles 1–20